en
Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2681 Publications
2011 | Journal Article | IST-REx-ID: 6496 
Noise underlies switching behavior of the bacterial flagellum
H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011) 2336–2340.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
H. Park, P. Oikonomou, C.C. Guet, P. Cluzel, Biophysical Journal 101 (2011) 2336–2340.
2011 | Conference Paper | IST-REx-ID: 3346
Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
View
| DOI
| Download (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
2011 | Journal Article | IST-REx-ID: 3353
A theory of synchronous relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2011).
2011 | 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 | Conference Paper | IST-REx-ID: 3360
Determinizing discounted-sum automata
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Springer, 2011, pp. 82–96.
2011 | Technical Report | IST-REx-ID: 5385
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
2011 | Journal Article | IST-REx-ID: 531
Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
2011 | Conference Paper | IST-REx-ID: 3358
Scheduling large jobs by abstraction refinement
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2011, pp. 329–342.
2011 | Journal Article | IST-REx-ID: 3269
Perceptual global illumination cancellation in complex projection environments
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
View
| DOI
| Download (ext.)
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
2011 | 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.
View
| DOI
| Download (ext.)
M.K. Sixt, T. Lämmermann, Cell Migration 769 (2011) 149–165.
2011 | Book Chapter | IST-REx-ID: 3311
Alpha shapes - a survey
H. Edelsbrunner, in:, Tessellations in the Sciences, Springer, 2011.
View
H. Edelsbrunner, in:, Tessellations in the Sciences, Springer, 2011.
2011 | Conference Paper | IST-REx-ID: 3330
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
View
| DOI
| Download (ext.)
| arXiv
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
2011 | Book Chapter | IST-REx-ID: 3335
Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.
View
| DOI
| Download (ext.)
| arXiv
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.
2011 | Book Chapter | IST-REx-ID: 3791
Cell sorting in development
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Current Topics in Developmental Biology, Elsevier, 2011, pp. 189–213.
View
| DOI
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Current Topics in Developmental Biology, Elsevier, 2011, pp. 189–213.
2011 | 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.
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 | Journal Article | IST-REx-ID: 3385
Interstitial locomotion of leukocytes
M.K. Sixt, Immunology Letters 138 (2011) 32–34.
View
| DOI
M.K. Sixt, Immunology Letters 138 (2011) 32–34.
2011 | Journal Article | IST-REx-ID: 3392
In vivo analysis of uropod function during physiological T cell trafficking
S. Soriano, M. Hons, K. Schumann, V. Kumar, T. Dennier, R. Lyck, M.K. Sixt, J. Stein, Journal of Immunology 187 (2011) 2356–2364.
View
| DOI
S. Soriano, M. Hons, K. Schumann, V. Kumar, T. Dennier, R. Lyck, M.K. Sixt, J. Stein, Journal of Immunology 187 (2011) 2356–2364.
2011 | Journal Article | IST-REx-ID: 3397
The role of adhesion energy in controlling cell-cell contacts
J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011) 508–514.
View
| DOI
| Download (ext.)
J.-L. Maître, C.-P.J. Heisenberg, Current Opinion in Cell Biology 23 (2011) 508–514.
2011 | Journal Article | IST-REx-ID: 3405
Modern ionotropic glutamate receptor with a K+ selectivity signature sequence
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
View
| Files available
| DOI
H.L. Janovjak, G. Sandoz, E. Isacoff, Nature Communications 2 (2011) 1–6.
2011 | Journal Article | IST-REx-ID: 3429
Oct4 kinetics predict cell lineage patterning in the early mammalian embryo
N. Plachta, M.T. Bollenbach, S. Pease, S. Fraser, P. Pantazis, Nature Cell Biology 13 (2011) 117–123.
View
| DOI
N. Plachta, M.T. Bollenbach, S. Pease, S. Fraser, P. Pantazis, Nature Cell Biology 13 (2011) 117–123.