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.
169 Publications
2005 |
Published |
Conference Paper |
IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View
| Download (ext.)
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View
| DOI
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
2005 |
Published |
Conference Paper |
IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
2005 |
Published |
Journal Article |
IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
2005 |
Published |
Conference Paper |
IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
2005 |
Published |
Journal Article |
IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View
| DOI
| PubMed | Europe PMC
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
2005 |
Published |
Journal Article |
IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
2005 |
Patent |
IST-REx-ID: 3509 |
Methods, apparatus and computer program products for modeling three-dimensional colored objects
S. Williams, H. Edelsbrunner, P. Fu, (2005).
[Published Version]
View
| Download Published Version (ext.)
S. Williams, H. Edelsbrunner, P. Fu, (2005).
2005 |
Published |
Conference Paper |
IST-REx-ID: 3557
Surface tiling with differential topology
H. Edelsbrunner, in:, ACM, 2005, pp. 9–11.
View
| DOI
| Download (ext.)
H. Edelsbrunner, in:, ACM, 2005, pp. 9–11.
2005 |
Published |
Conference Paper |
IST-REx-ID: 3558
Extraction and simplification of iso-surfaces in tandem
D. Attali, D. Cohen Steiner, H. Edelsbrunner, in:, ACM, 2005, pp. 139–148.
View
| Download (ext.)
D. Attali, D. Cohen Steiner, H. Edelsbrunner, in:, ACM, 2005, pp. 139–148.
2005 |
Published |
Book Chapter |
IST-REx-ID: 3576
The geometry of biomolecular solvation
H. Edelsbrunner, P. Koehl, in:, Combinatorial and Computational Geometry, Cambridge University Press, 2005, pp. 243–275.
View
| Download (ext.)
H. Edelsbrunner, P. Koehl, in:, Combinatorial and Computational Geometry, Cambridge University Press, 2005, pp. 243–275.
2005 |
Published |
Book Chapter |
IST-REx-ID: 3588
Cell migration during zebrafish gastrulation
I. Castanon Ortega, C.-P.J. Heisenberg, in:, D. Wedlich (Ed.), Cell Migration in Development and Disease, Wiley-VCH, 2005, pp. 71–105.
View
| DOI
I. Castanon Ortega, C.-P.J. Heisenberg, in:, D. Wedlich (Ed.), Cell Migration in Development and Disease, Wiley-VCH, 2005, pp. 71–105.
2005 |
Published |
Book Chapter |
IST-REx-ID: 3589
Cleavage and gastrulation in zebrafish embryos
M. Köppen, C.-P.J. Heisenberg, in:, Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
View
| DOI
M. Köppen, C.-P.J. Heisenberg, in:, Encyclopedia of Life Sciences, Wiley-Blackwell, 2005.
2005 |
Published |
Book Review |
IST-REx-ID: 3590
A stern view of gastrulation
I. Castanon Ortega, C.-P.J. Heisenberg, Nature Cell Biology 7 (2005) 19–19.
View
| DOI
I. Castanon Ortega, C.-P.J. Heisenberg, Nature Cell Biology 7 (2005) 19–19.
2005 |
Published |
Journal Article |
IST-REx-ID: 3611
Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
View
| DOI
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
2005 |
Published |
Journal Article |
IST-REx-ID: 3612
Speciation and gene flow between snails of opposing chirality
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
View
| DOI
A. Davison, S. Chiba, N.H. Barton, B. Clarke, PLoS Biology 3 (2005).
2005 |
Published |
Journal Article |
IST-REx-ID: 3613
Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
View
| DOI
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.