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.




2505 Publications

2011 | Journal Article | IST-REx-ID: 3391   OA
The contribution of statistical physics to evolutionary biology
H. de Vladar, N.H. Barton, Trends in Ecology and Evolution 26 (2011) 424–432.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3396   OA
Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.
View | Files available | DOI
 
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
 
2011 | Journal Article | IST-REx-ID: 3372   OA
Inclusive fitness theory and eusociality
P. Abbot, J. Abe, J. Alcock, S. Alizon, J. Alpedrinha, M. Andersson, J. Andre, M. Van Baalen, F. Balloux, S. Balshine, N.H. Barton, L. Beukeboom, J. Biernaskie, T. Bilde, G. Borgia, M. Breed, S. Brown, R. Bshary, A. Buckling, N. Burley, M. Burton Chellew, M. Cant, M. Chapuisat, E. Charnov, T. Clutton Brock, A. Cockburn, B. Cole, N. Colegrave, L. Cosmides, I. Couzin, J. Coyne, S. Creel, B. Crespi, R. Curry, S. Dall, T. Day, J. Dickinson, L. Dugatkin, C. El Mouden, S. Emlen, J. Evans, R. Ferriere, J. Field, S. Foitzik, K. Foster, W. Foster, C. Fox, J. Gadau, S. Gandon, A. Gardner, M. Gardner, T. Getty, M. Goodisman, A. Grafen, R. Grosberg, C. Grozinger, P. Gouyon, D. Gwynne, P. Harvey, B. Hatchwell, J. Heinze, H. Helantera, K. Helms, K. Hill, N. Jiricny, R. Johnstone, A. Kacelnik, E.T. Kiers, H. Kokko, J. Komdeur, J. Korb, D. Kronauer, R. Kümmerli, L. Lehmann, T. Linksvayer, S. Lion, B. Lyon, J. Marshall, R. Mcelreath, Y. Michalakis, R. Michod, D. Mock, T. Monnin, R. Montgomerie, A. Moore, U. Mueller, R. Noë, S. Okasha, P. Pamilo, G. Parker, J. Pedersen, I. Pen, D. Pfennig, D. Queller, D. Rankin, S. Reece, H. Reeve, M. Reuter, G. Roberts, S. Robson, D. Roze, F. Rousset, O. Rueppell, J. Sachs, L. Santorelli, P. Schmid Hempel, M. Schwarz, T. Scott Phillips, J. Shellmann Sherman, P. Sherman, D. Shuker, J. Smith, J. Spagna, B. Strassmann, A. Suarez, L. Sundström, M. Taborsky, P. Taylor, G. Thompson, J. Tooby, N. Tsutsui, K. Tsuji, S. Turillazzi, F. Úbeda, E. Vargo, B. Voelkl, T. Wenseleers, S. West, M. West Eberhard, D. Westneat, D. Wiernasz, G. Wild, R. Wrangham, A. Young, D. Zeh, J. Zeh, A. Zink, Nature 471 (2011) E1–E4.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Conference Paper | IST-REx-ID: 3365   OA
QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3377   OA
Quantifying transversality by measuring the robustness of intersections
H. Edelsbrunner, D. Morozov, A. Patel, Foundations of Computational Mathematics 11 (2011) 345–361.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3771
Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.
A. Pavan, F. Martins, F. Santos, A. Ditchfield, R.A. Fernandes Redondo, Biological Journal of the Linnean Society 102 (2011) 527–539.
View | DOI
 
2011 | 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).
View | Files available | DOI
 
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
 
2011 | Technical Report | IST-REx-ID: 5385   OA
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
 
2011 | Technical Report | IST-REx-ID: 5380   OA
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 6496   OA
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
 
2011 | Book Chapter | IST-REx-ID: 3311
Alpha shapes - a survey
H. Edelsbrunner, in:, Tessellations in the Sciences, Springer, 2011.
View
 
2011 | Conference Paper | IST-REx-ID: 3330   OA
Root refinement for real polynomials
M. Kerber, M. Sagraloff, in:, Springer, 2011, pp. 209–216.
View | DOI | Download (ext.) | arXiv
 
2011 | Book Chapter | IST-REx-ID: 3335   OA
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
 
2011 | Conference Paper | IST-REx-ID: 3347   OA
Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.
View | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3328
A generic algebraic kernel for non linear geometric applications
E. Berberich, M. Hemmer, M. Kerber, in:, ACM, 2011, pp. 179–186.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342   OA
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.
View | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3316
Specification-centered robustness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, 6th IEEE International Symposium on Industrial and Embedded Systems, IEEE, 2011, pp. 176–185.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3385
Interstitial locomotion of leukocytes
M.K. Sixt, Immunology Letters 138 (2011) 32–34.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed