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.
1621 Publications
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
2007 |Published| Journal Article | IST-REx-ID: 9487 | 
Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007. https://doi.org/10.1073/pnas.0701861104.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 |Published| Conference Paper | IST-REx-ID: 1034 |
Nägerl, Hanns, Tobias Kraemer, Michael Mark, Philipp Waldburger, Johann G Danzl, Bastian Engeser, Adam Lange, et al. “Experimental Evidence for Efimov Quantum States,” 869:269–77. AIP, 2006. https://doi.org/10.1063/1.2400657.
View
| DOI
| Download None (ext.)
2006 |Published| Journal Article | IST-REx-ID: 11117
D’Angelo, M. A., and Martin Hetzer. “The Role of the Nuclear Envelope in Cellular Organization.” Cellular and Molecular Life Sciences. Springer Nature, 2006. https://doi.org/10.1007/s00018-005-5361-3.
View
| DOI
| PubMed | Europe PMC
2006 |Published| Conference Paper | IST-REx-ID: 11929
Henzinger, Monika H. “Finding Near-Duplicate Web Pages: A Large-Scale Evaluation of Algorithms.” In 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 284–91. Association for Computing Machinery, 2006. https://doi.org/10.1145/1148170.1148222.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 2134
Ehresmann, Arno, Lutz Werner, Stefan Klumpp, Ph Demekhin, Mikhail Lemeshko, V. Sukhorukov, Karl Schartner, and Hans Schmoranzer. “Predissociation of the N+2(C 2Σ+u) State Observed via C 2Σ+u → X 2Σ+g Fluorescence after Resonant 1s−1π* Excitation of N2 Molecule.” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd., 2006. https://doi.org/10.1088/0953-4075/39/6/L03.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 215
Browning, Timothy D, and Roger Heath Brown. “The Density of Rational Points on Non-Singular Hypersurfaces, I.” Bulletin of the London Mathematical Society. Wiley-Blackwell, 2006. https://doi.org/10.1112/S0024609305018412.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 218
De La Bretèche, Régis, and Timothy D Browning. “Sums of Arithmetic Functions over Values of Binary Forms.” Acta Arithmetica. Instytut Matematyczny, 2006. https://doi.org/10.4064/aa125-3-6.
View
| DOI