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.
6985 Publications
2007 |Published| Conference Paper | IST-REx-ID: 4511
Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
2007 |Published| Journal Article | IST-REx-ID: 4531
Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
View
| DOI
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
2007 |Published| Journal Article | IST-REx-ID: 4529
Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
View
| DOI
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
2007 |Published| Conference (Editor) | IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 |Published| Conference Paper | IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 |Published| Journal Article | IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
2007 |Published| Thesis | IST-REx-ID: 4559
Stochastic ω-Regular Games
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
View
| Download (ext.)
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
2007 |Published| Thesis | IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
2007 |Published| Journal Article | IST-REx-ID: 4567
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
2007 |Published| Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 |Published| Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 |Published| Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 |Published| Conference Paper | IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
2007 |Published| Conference Paper | IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
2007 |Published| Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 |Published| Conference Paper | IST-REx-ID: 582
Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.
View
| DOI
O. Hosten, P. Kwiat, in:, OSA, 2007.
2007 |Published| Journal Article | IST-REx-ID: 6150
Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
View
| DOI
| PubMed | Europe PMC
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
2007 |Published| Book Chapter | IST-REx-ID: 6323 | 
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, ArXiv (n.d.).
2007 |Published| Journal Article | IST-REx-ID: 860
Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
View
| DOI
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.