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

11357 Publications


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

2005 | Published | Journal Article | IST-REx-ID: 3916
A. Schrempf, J. Heinze, and S. Cremer, “Sexual cooperation: mating increases longevity in ant queens,” Current Biology, vol. 15, no. 3. Cell Press, pp. 267–270, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 3933
M. K. Sixt et al., “The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node,” Immunity, vol. 22, no. 1. Cell Press, pp. 19–29, 2005.
View | DOI
 

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

2005 | Published | Journal Article | IST-REx-ID: 3983
J. Sohn et al., “Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate,” Biochemistry, vol. 44, no. 50. ACS, pp. 16563–16573, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4138
N. H. Barton and J. Polechova, “The limitations of adaptive dynamics as a model of evolution,” Journal of Evolutionary Biology, vol. 18, no. 5. Wiley-Blackwell, pp. 1186–1190, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4144
F. Ulrich et al., “Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin,” Developmental Cell, vol. 9, no. 4. Cell Press, pp. 555–564, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4155
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, and C.-P. J. Heisenberg, “Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy,” Journal of Cell Science, vol. 118, no. 18. Company of Biologists, pp. 4199–4206, 2005.
View | DOI
 

2005 | Published | 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 | Published | Journal Article | IST-REx-ID: 4171
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, and C.-P. J. Heisenberg, “Shield formation at the onset of zebrafish gastrulation,” Development, vol. 132, no. 6. Company of Biologists, pp. 1187–1198, 2005.
View | DOI
 

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

2005 | Published | Journal Article | IST-REx-ID: 4249
J. Polechova and N. H. Barton, “Speciation through competition: A critical review,” Evolution; International Journal of Organic Evolution, vol. 59, no. 6. Wiley-Blackwell, pp. 1194–1210, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4251
N. H. Barton and S. Otto, “Evolution of recombination due to random drift,” Genetics, vol. 169, no. 4. Genetics Society of America, pp. 2353–2370, 2005.
View | DOI
 

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

2005 | Published | Conference Paper | IST-REx-ID: 4367
A. Podelski and T. Wies, “Boolean Heaps,” in 12th International Symposium on Static Analysis, London, United Kingdom, 2005, vol. 3672, pp. 268–283.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4404
R. Alur, P. Cerny, P. Madhusudan, and W. Nam, “Synthesis of interface specifications for Java classes,” in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Long Beach, CA, United States, 2005, pp. 98–109.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4412
S. Matic and T. A. Henzinger, “Trading end-to-end latency for composability,” presented at the RTSS: Real-Time Systems Symposium, 2005, pp. 99–110.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4418
C. Kirsch, M. Sanvido, and T. A. Henzinger, “A programmable microkernel for real-time systems,” presented at the VEE: Virtual Execution Environments, 2005, pp. 35–45.
View | DOI
 

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

2005 | Published | Conference Paper | IST-REx-ID: 4455
T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between timed systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 226–241.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed