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.

6283 Publications


2005 | Journal Article | IST-REx-ID: 4171
Montero, Juan, Lara Carvalho, Michaela Wilsch Bräuninger, Beate Kilian, Chigdem Mustafa, and Carl-Philipp J Heisenberg. “Shield Formation at the Onset of Zebrafish Gastrulation.” Development. Company of Biologists, 2005. https://doi.org/10.1242/dev.01667.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Misshapen Mediates Actin-Based Cell Contraction during Zebrafish Epiboly and Drosophila Dorsal Closure.” Mechanisms of Development. Elsevier, 2005. https://doi.org/10.1016/j.mod.2005.06.010.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova, Jitka, and Nicholas H Barton. “Speciation through Competition: A Critical Review.” Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2005. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton, Nicholas H, and Sarah Otto. “Evolution of Recombination Due to Random Drift.” Genetics. Genetics Society of America, 2005. https://doi.org/10.1534/genetics.104.032821.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson, Toby, and Nicholas H Barton. “Theoretical Models of Selection and Mutationon Quantitative Traits.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2005. https://doi.org/10.1098/rstb.2005.1667.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski, Andreas, and Thomas Wies. “Boolean Heaps,” 267–82. Springer, 2005. https://doi.org/1550.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur, Rajeev, Pavol Cerny, P. Madhusudan, and Wonhong Nam. “Synthesis of Interface Specifications for Java Classes,” 98–109. ACM, 2005. https://doi.org/1542.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic, Slobodan, and Thomas A Henzinger. “Trading End-to-End Latency for Composability,” 99–110. IEEE, 2005. https://doi.org/10.1109/RTSS.2005.43.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable Microkernel for Real-Time Systems,” 35–45. ACM, 2005. https://doi.org/10.1145/1064979.1064986.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL). ACM, 2005. https://doi.org/10.1145/1042038.1042039.
View | DOI
 

Search

Filter Publications