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.




2731 Publications

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
 
2011 | Journal Article | IST-REx-ID: 3505 | OA
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 Published Version (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: 3778 | OA
Estimating linkage disequilibria
N.H. Barton, Heredity 106 (2011) 205–206.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | 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
 
2011 | Journal Article | IST-REx-ID: 3784 | OA
Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description
F. Palero, G. Guerao, P. Clark, P. Abello, Journal of the Marine Biological Association of the United Kingdom 91 (2011) 485–492.
View | DOI | Download Published Version (ext.)
 
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
 
2011 | Book Chapter | IST-REx-ID: 3796 | OA
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
 
2011 | 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
 
2011 | Conference Paper | IST-REx-ID: 3366 | OA
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.
View | Files available | DOI
 
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 Preprint (ext.) | arXiv
 
2010 | Journal Article | IST-REx-ID: 2409 | OA
Accuracy of phylogeny reconstruction methods combining overlapping gene data sets
A. Kupczok, H. Schmidt, A. Von Haeseler, Algorithms for Molecular Biology 5 (2010).
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 4157 | OA
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 4243 | OA
A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
View | Files available | DOI
 
2010 | Book Chapter | IST-REx-ID: 4339 | OA
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
View | Files available | DOI
 
2010 | Book | IST-REx-ID: 4346 | OA
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.
View | Download Published Version (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4361 | OA
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
Runtime verification for software transactional memories
V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4369 | OA
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4378 | OA
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

type<>research_data

Search

Filter Publications