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.
1953 Publications
2007 |Published| Conference Paper | IST-REx-ID: 3681
Ulges, Adrian, Christoph Lampert, Daniel Keysers, and Thomas Breuel. “Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space,” 4713:204–13. Springer, 2007. https://doi.org/10.1007/978-3-540-74936-3_21.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3723
Janovjak, Harald L, Helene Knaus, and Daniel Mueller. “Transmembrane Helices Have Rough Energy Surfaces.” Journal of the American Chemical Society. ACS, 2007. https://doi.org/10.1021/ja065684a.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Generalized Parity Games,” 4423:153–67. Springer, 2007. https://doi.org/10.1007/978-3-540-71389-0_12.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic,” 4703:59–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007. https://doi.org/10.1007/978-3-540-74407-8_5.
View
| Files available
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3887
Chatterjee, Krishnendu. “Markov Decision Processes with Multiple Long-Run Average Objectives,” 4855:473–84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007. https://doi.org/10.1007/978-3-540-77050-3_39.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3886
Chatterjee, Krishnendu. “Stochastic Müller Games Are PSPACE-Complete,” 4855:436–48. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007. https://doi.org/10.1007/978-3-540-77050-3_36.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 3885
Chatterjee, Krishnendu. “Optimal Strategy Synthesis in Stochastic Müller Games,” 4423:138–52. Springer, 2007. https://doi.org/10.1007/978-3-540-71389-0_11.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 3973
Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.” Foundations of Computational Mathematics. Springer, 2007. https://doi.org/10.1007/s10208-005-0200-3.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4247
Gardner, Andy, Stuart West, and Nicholas H Barton. “The Relation between Multilocus Population Genetics and Social Evolution Theory.” American Naturalist. University of Chicago Press, 2007. https://doi.org/10.1086/510602.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, Thomas A Henzinger, and Vasu Singh. “Algorithms for Interface Synthesis,” 4590:4–19. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_4.
View
| DOI
2007 |Published| Book Chapter | IST-REx-ID: 4417
Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.” In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007. https://doi.org/10.1007/978-3-540-71322-7_13.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,” 4362:103–10. Springer, 2007. https://doi.org/10.1007/978-3-540-69507-3_7.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. “Quantitative Generalizations of Languages,” 4588:20–22. Springer, 2007. https://doi.org/10.1007/978-3-540-73208-2_2.
View
| DOI
2007 |Published| Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007. https://doi.org/10.1007/978-3-540-74915-8.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,” 4424:261–75. Springer, 2007. https://doi.org/10.1007/978-3-540-71209-1_21.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science. International Federation of Computational Logic, 2007. https://doi.org/10.2168/LMCS-3(3:4)2007.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4570
Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,” 4596:825–37. Springer, 2007. https://doi.org/10.1007/978-3-540-73420-8_71.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,” 4590:504–18. Springer, 2007. https://doi.org/10.1007/978-3-540-73368-3_51.
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,” 4349:378–94. Springer, 2007. https://doi.org/10.1007/978-3-540-69738-1_27.
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.” Theoretical Computer Science. Elsevier, 2007. https://doi.org/10.1016/j.tcs.2007.07.008.
View
| DOI