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.
147 Publications
2005 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 6153
Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.27.070203.144259.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 6154
Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.04.017.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 8028 | 
Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.” Journal of Neuroscience. Society for Neuroscience, 2005. https://doi.org/10.1523/jneurosci.3508-05.2005.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 8029
Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.” Annual Review of Neuroscience. Annual Reviews, 2005. https://doi.org/10.1146/annurev.neuro.28.061604.135637.
View
| DOI
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9491 |
Tran, Robert K., Jorja G. Henikoff, Daniel Zilberman, Renata F. Ditt, Steven E. Jacobsen, and Steven Henikoff. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.” Current Biology. Elsevier, 2005. https://doi.org/10.1016/j.cub.2005.01.008.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Journal Article | IST-REx-ID: 9514 |
Tran, Robert K., Daniel Zilberman, Cecilia de Bustos, Renata F. Ditt, Jorja G. Henikoff, Anders M. Lindroth, Jeffrey Delrow, et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.” Genome Biology. Springer Nature, 2005. https://doi.org/10.1186/gb-2005-6-11-r90.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | 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