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.

6107 Publications


2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner, H., & Koehl, P. (2005). The geometry of biomolecular solvation. In Combinatorial and Computational Geometry (Vol. 52, pp. 243–275). Cambridge University Press.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega, I., & Heisenberg, C.-P. J. (2005). Cell migration during zebrafish gastrulation. In D. Wedlich (Ed.), Cell Migration in Development and Disease (pp. 71–105). Wiley-VCH. https://doi.org/10.1002/3527604669
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen, M., & Heisenberg, C.-P. J. (2005). Cleavage and gastrulation in zebrafish embryos. In Encyclopedia of Life Sciences. Wiley-Blackwell. https://doi.org/10.1038/npg.els.0001072
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega, I., & Heisenberg, C.-P. J. (2005). A stern view of gastrulation. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb0105-19
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View | DOI
 

Search

Filter Publications