Please note that IST 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.

6205 Publications


2005 | Journal Article | IST-REx-ID: 4155
Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. 2005. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 118(18), 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. 2005. Shield formation at the onset of zebrafish gastrulation. Development. 132(6), 1187–1198.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2005. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 122(Supplement 1), S112–S113.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. 2005. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 59(6), 1194–1210.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. 2005. Evolution of recombination due to random drift. Genetics. 169(4), 2353–2370.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson T, Barton NH. 2005. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 360(1459), 1411–1425.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. 2005. Trading end-to-end latency for composability. RTSS: Real-Time Systems Symposium, 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time systems. VEE: Virtual Execution Environments, 35–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger TA, Majumdar R, Raskin J. 2005. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 6(1), 1–32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. 2005. Quantifying similarities between timed systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering, 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
View | Download (ext.)
 

Search

Filter Publications