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.
8924 Publications
2006 |
Published |
Conference Paper |
IST-REx-ID: 4432
Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,” 4202:1–17. Springer, 2006. https://doi.org/10.1007/11867340_1.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4436
Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4437
Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4451
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2005.11.015.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4523
Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,” 117–27. ACM, 2006. https://doi.org/10.1145/1181775.1181790.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4550
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2006.07.032.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4552
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4574
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,” 4144:532–46. Springer, 2006. https://doi.org/10.1007/11817963_48.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 12657 |
Pellicciotti, Francesca, Ben Brock, Ulrich Strasser, Paolo Burlando, Martin Funk, and Javier Corripio. “An Enhanced Temperature-Index Glacier Melt Model Including the Shortwave Radiation Balance: Development and Testing for Haut Glacier d’Arolla, Switzerland.” Journal of Glaciology. Cambridge University Press, 2005. https://doi.org/10.3189/172756505781829124.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 |
Published |
Journal Article |
IST-REx-ID: 1298
Reiff, Dierk, Alexandra Ihring, Giovanna Guerrero, Ehud Isacoff, Maximilian A Jösch, Junichi Nakai, and Alexander Borst. “In Vivo Performance of Genetically Encoded Indicators of Neural Activity in Flies.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/JNEUROSCI.4900-04.2005.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 843
Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics. Oxford University Press, 2005. https://doi.org/10.1093/hmg/ddi350.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 8491
Schanda, Paul, Ēriks Kupče, and Bernhard Brutscher. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.” Journal of Biomolecular NMR. Springer Nature, 2005. https://doi.org/10.1007/s10858-005-4425-x.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 8492
Schanda, Paul, and Bernhard Brutscher. “Very Fast Two-Dimensional NMR Spectroscopy for Real-Time Investigation of Dynamic Events in Proteins on the Time Scale of Seconds.” Journal of the American Chemical Society. American Chemical Society, 2005. https://doi.org/10.1021/ja051306e.
View
| DOI
2005 |
Published |
Journal Article |
IST-REx-ID: 8516
Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.” Journal of Functional Analysis. Elsevier, 2005. https://doi.org/10.1016/j.jfa.2004.09.006.
View
| DOI