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.-P. J. (2005). Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. Company of Biologists. https://doi.org/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.-P. J. (2005). Shield formation at the onset of zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.01667
View
| DOI
2005 | Journal Article | IST-REx-ID: 4249
Polechova, J., & Barton, N. H. (2005). Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x
View
| DOI
2005 | Journal Article | IST-REx-ID: 4251
Barton, N. H., & Otto, S. (2005). Evolution of recombination due to random drift. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.104.032821
View
| DOI
2005 | Journal Article | IST-REx-ID: 4252 | 
Johnson, T., & Barton, N. H. (2005). Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2005.1667
View
| DOI
| Download (ext.)
2005 | Conference Paper | IST-REx-ID: 4404
Alur, R., Cerny, P., Madhusudan, P., & Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1542
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4412
Matic, S., & Henzinger, T. A. (2005). Trading end-to-end latency for composability (pp. 99–110). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/RTSS.2005.43
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments, ACM. https://doi.org/10.1145/1064979.1064986
View
| DOI
2005 | Journal Article | IST-REx-ID: 4454
Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1042038.1042039
View
| DOI
2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11603009_18
View
| DOI