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.
9789 Publications
2005 | Published | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems,” 3829:226–41. Springer, 2005. https://doi.org/10.1007/11603009_18.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,” 31–40. ACM, 2005. https://doi.org/10.1145/1081706.1081713.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,” 21–30. ACM, 2005. https://doi.org/10.1145/1065910.1065914.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. https://doi.org/DOI: 10.1007/11603009_13.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,” 3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005. https://doi.org/10.1007/11590156_1.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,” 3580:878–90. Springer, 2005. https://doi.org/10.1007/11523468_71.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Mean-Payoff Parity Games,” 178–87. IEEE, 2005. https://doi.org/10.1109/LICS.2005.26.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
View
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,” 3725:50–64. Springer, 2005. https://doi.org/10.1007/11560548_7.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,” 148–59. ACM, 2005. https://doi.org/10.1145/1060745.1060770.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,” 3442:2–18. Springer, 2005. https://doi.org/10.1007/978-3-540-31984-9_2.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,” 195:83–104. Springer, 2005. https://doi.org/10.1007/1-4020-3532-2_3.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science. Elsevier, 2005. https://doi.org/10.1016/j.tcs.2005.07.033.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,” 1:365–67. IEEE, 2005. https://doi.org/ 10.1109/QELS.2005.1548783.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1740
Costantini, Giovanni, Armando Rastelli, Carlos Manzano, P Acosta Diaz, Georgios Katsaros, Rudeeson Songmuang, Oliver Schmidt, Hans Von Känel, and Klaus Kern. “Pyramids and Domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) Systems.” Journal of Crystal Growth. Elsevier, 2005. https://doi.org/10.1016/j.jcrysgro.2004.12.047.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1741
Denker, Ulrich, Armando Rastelli, Mathieu Stoffel, Jerry Tersoff, Georgios Katsaros, Giovanni Costantini, Klaus Kern, Neng Jin Phillipp, David Jesson, and Oliver Schmidt. “Lateral Motion of SiGe Islands Driven by Surface-Mediated Alloying.” Physical Review Letters. American Physical Society, 2005. https://doi.org/10.1103/PhysRevLett.94.216103.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1742
Katsaros, Georgios, Giovanni Costantini, Mathieu Stoffel, Rubén Esteban, Alexander Bittner, Armando Rastelli, Ulrich Denker, Oliver Schmidt, and Klaus Kern. “Kinetic Origin of Island Intermixing during the Growth of Ge on Si (001).” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2005. https://doi.org/10.1103/PhysRevB.72.195320.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1743
Zhong, Zheyang, Georgios Katsaros, Mathieu Stoffel, Giovanni Costantini, Klaus Kern, Oliver Schmidt, Neng Jin Phillipp, and Günther Bauer. “Periodic Pillar Structures by Si Etching of Multilayer GeSi/Si Islands.” Applied Physics Letters. American Institute of Physics, 2005. https://doi.org/10.1063/1.2150278.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 1744
Katsaros, Georgios, Izzat Darwazeh, and Phil Lane. “Non Linear Transmission Effects in Duobinary and Dicode Optical Systems.” IEE Proceedings - Optoelectronics. Institute of Electrical Engineers, 2005. https://doi.org/10.1049/ip-opt:20045067.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 17715 | 
Haiman, Zoltán, and Renyue Cen. “Constraining Reionization with the Evolution of the Luminosity Function of Lyα Emitting Galaxies.” The Astrophysical Journal. American Astronomical Society, 2005. https://doi.org/10.1086/428645.
[Published Version]
View
| DOI
| Download Published Version (ext.)