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.
1940 Publications
2008 | Published | Book Chapter | IST-REx-ID: 3726
Single-molecule microscopy and force spectroscopy of membrane proteins
A. Engel, H.L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, D. Mueller, in:, Single Molecules and Nanotechnology, Springer, 2008, pp. 279–311.
View
| DOI
A. Engel, H.L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, D. Mueller, in:, Single Molecules and Nanotechnology, Springer, 2008, pp. 279–311.
2008 | Published | Book Chapter | IST-REx-ID: 3872
Value iteration
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer, 2008, pp. 107–138.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer, 2008, pp. 107–138.
2008 | Published | Conference Paper | IST-REx-ID: 3873
Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
2008 | Published | Conference Paper | IST-REx-ID: 3874
Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
View
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
2008 | Published | Conference Paper | IST-REx-ID: 3875
Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
View
| DOI
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
2008 | Published | Conference Paper | IST-REx-ID: 3876
Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
2008 | Published | Conference Paper | IST-REx-ID: 3877
Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
View
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
2008 | Published | Conference Paper | IST-REx-ID: 3878 | 
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
2008 | Published | Conference Paper | IST-REx-ID: 3879
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
2008 | Published | Conference Paper | IST-REx-ID: 3880
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
2007 | Published | Journal Article | IST-REx-ID: 219
On Manin's conjecture for a certain singular cubic surface
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
View
| DOI
R. De La Bretèche, T.D. Browning, U. Derenthal, Annales Scientifiques de l’Ecole Normale Superieure 40 (2007) 1–50.
2007 | Published | Journal Article | IST-REx-ID: 2496
Expression of group II metabotropic glutamate receptors in rat gustatory papillae
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 328 (2007) 57–63.
View
| DOI
T. Toyono, S. Kataoka, Y. Seta, R. Shigemoto, K. Toyoshima, Cell and Tissue Research 328 (2007) 57–63.
2007 | Published | Journal Article | IST-REx-ID: 2750
Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.
2007 | Published | Journal Article | IST-REx-ID: 2751
Quantum diffusion for the Anderson model in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Annales Henri Poincare 8 (2007) 621–685.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Annales Henri Poincare 8 (2007) 621–685.
2007 | Published | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
2007 | Published | Journal Article | IST-REx-ID: 3977
Inclusion-exclusion formulas from independent complexes
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
View
| DOI
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
2007 | Published | Conference Paper | IST-REx-ID: 3981
Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
View
| DOI
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
2007 | Published | Journal Article | IST-REx-ID: 4152
Zebrafish gastrulation: Cell movements, signals, and mechanisms
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
View
| DOI
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
2007 | Published | Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View
| DOI
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
2007 | Published | Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View
| DOI
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.