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.

6292 Publications


2005 | Journal Article | IST-REx-ID: 3915
De Menten L, Cremer S, Heinze J, Aron S. 2005. Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. 69(5), 1031–1035.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf A, Heinze J, Cremer S. 2005. Sexual cooperation: mating increases longevity in ant queens. Current Biology. 15(3), 267–270.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, Samson T, Roos G, Reinhardt D, Pabst R, Lutz M, Sorokin L. 2005. The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. 22(1), 19–29.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang Y, Agarwal P, Brown P, Edelsbrunner H, Rudolph J. 2005. Coarse and reliable geometric alignment for protein docking. PSB: Pacific Symposium on Biocomputing, 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn J, Parks J, Buhrman G, Brown P, Kristjánsdóttir K, Safi A, Edelsbrunner H, Yang W, Rudolph J. 2005. Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 44(50), 16563–16573.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton NH, Polechova J. 2005. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 18(5), 1186–1190.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich F, Krieg M, Schötz E, Link V, Castanon I, Schnabel V, Taubenberger A, Müller D, Puech P, Heisenberg C-PJ. 2005. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 9(4), 555–564.
View | DOI
 

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
 

Search

Filter Publications