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.

147 Publications


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

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

2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x
View | DOI
 

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

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

2005 | Conference Paper | IST-REx-ID: 4404
Alur R, Cerny P, Madhusudan P, Nam W. Synthesis of interface specifications for Java classes. In: ACM; 2005:98-109. doi:1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications