Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5967 Publications
2011 | Published | Conference Paper | IST-REx-ID: 3365 | 
QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
2011 | Published | Journal Article | IST-REx-ID: 3383
Invited Lectures ‐ Symposia Area
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
View
| DOI
C.-P.J. Heisenberg, FEBS Journal 278 (2011) 24–24.
2011 | Published | Journal Article | IST-REx-ID: 3505 |
In vitro analysis of chemotactic leukocyte migration in 3D environments
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
2011 | Published | Journal Article | IST-REx-ID: 3781
The difference in length of curves in R^n
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
View
B.T. Fasy, Acta Sci. Math. (Szeged) 77 (2011) 359–367.
2011 | Published | Book Chapter | IST-REx-ID: 3796 |
Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.
2011 | Published | Journal Article | IST-REx-ID: 3965
Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
View
| DOI
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
2011 | Published | Thesis | IST-REx-ID: 3275 |
The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.
[Published Version]
View
| Files available
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.
2011 | Published | Thesis | IST-REx-ID: 3273
Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors
J.-L. Maître, Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors, Institute of Science and Technology Austria, 2011.
View
J.-L. Maître, Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors, Institute of Science and Technology Austria, 2011.
2011 | Published | Journal Article | IST-REx-ID: 9483 |
Regulation of imprinted gene expression in Arabidopsis endosperm
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.
2011 | Published | Other Publication | IST-REx-ID: 9522 |
Balancing parental contributions in plant embryonic gene activation
D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.
2011 | Published | Conference Paper | IST-REx-ID: 9648 |
Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
2011 | Published | Conference Paper | IST-REx-ID: 3326 |
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
2011 | Published | Journal Article | IST-REx-ID: 3315 |
Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
2011 | Published | Conference Paper | IST-REx-ID: 3362 |
Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
[Submitted Version]
View
| Files available
| DOI
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.
2011 | Published | Conference Paper | IST-REx-ID: 3359
From boolean to quantitative synthesis
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.
View
| DOI
P. Cerny, T.A. Henzinger, in:, ACM, 2011, pp. 149–154.
2011 | Published | Conference Paper | IST-REx-ID: 3360 |
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
2011 | Published | Conference Paper | IST-REx-ID: 3264
Solving recursion-free Horn clauses over LI+UIF
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.
View
| DOI
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.
2011 | Published | Conference Paper | IST-REx-ID: 3366 |
Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.
2011 | Published | Conference Paper | IST-REx-ID: 3347 |
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
2011 | Published | Conference Paper | IST-REx-ID: 3345 |
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.