Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,”https://doi.org/10.1145/1081706.1081713__31–40. ACM, 2005.https://doi.org/10.1145/1081706.1081713 .
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,”https://doi.org/10.1145/1065910.1065914__21–30. ACM, 2005.https://doi.org/10.1145/1065910.1065914 .
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,”https://doi.org/DOI: 10.1007/11603009_13__3829:144–61. Springer, 2005.https://doi.org/DOI: 10.1007/11603009_13 .
LibreCat: https://research-explorer.ista.ac.at/record/4536
DOI: DOI: 10.1007/11603009_13

Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,”https://doi.org/10.1007/11590156_1__3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005.https://doi.org/10.1007/11590156_1 .
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,”https://doi.org/10.1007/11523468_71__3580:878–90. Springer, 2005.https://doi.org/10.1007/11523468_71 .
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Mean-Payoff Parity Games,”https://doi.org/10.1109/LICS.2005.26__178–87. IEEE, 2005.https://doi.org/10.1109/LICS.2005.26 .
LibreCat: https://research-explorer.ista.ac.at/record/4554
DOI: 10.1109/LICS.2005.26

Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,”https://doi.org/10.1007/11560548_7__3725:50–64. Springer, 2005.https://doi.org/10.1007/11560548_7 .
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,”https://doi.org/10.1007/978-3-540-31984-9_2__3442:2–18. Springer, 2005.https://doi.org/10.1007/978-3-540-31984-9_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4579
DOI: 10.1007/978-3-540-31984-9_2

Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,”https://doi.org/10.1145/1060745.1060770__148–59. ACM, 2005.https://doi.org/10.1145/1060745.1060770 .
LibreCat: https://research-explorer.ista.ac.at/record/4576
DOI: 10.1145/1060745.1060770

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.”https://doi.org/10.1016/j.tcs.2005.07.033__Theoretical Computer Science. Elsevier, 2005.https://doi.org/10.1016/j.tcs.2005.07.033 .
LibreCat: https://research-explorer.ista.ac.at/record/4625
DOI: 10.1016/j.tcs.2005.07.033

De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,”https://doi.org/10.1007/1-4020-3532-2_3__195:83–104. Springer, 2005.https://doi.org/10.1007/1-4020-3532-2_3 .
LibreCat: https://research-explorer.ista.ac.at/record/4624
DOI: 10.1007/1-4020-3532-2_3

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation,”https://doi.org/ 10.1109/QELS.2005.1548783__1:365–67. IEEE, 2005.https://doi.org/ 10.1109/QELS.2005.1548783 .
LibreCat: https://research-explorer.ista.ac.at/record/575
DOI:  10.1109/QELS.2005.1548783

Bono, Mario de, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.”https://doi.org/10.1146/annurev.neuro.27.070203.144259__Annual Review of Neuroscience. Annual Reviews, 2005.https://doi.org/10.1146/annurev.neuro.27.070203.144259 .
LibreCat: https://research-explorer.ista.ac.at/record/6153
DOI: 10.1146/annurev.neuro.27.070203.144259
PMID: 16022603

Cheung, Benny H.H., Merav Cohen, Candida Rogers, Onder Albayram, and Mario de Bono. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.”https://doi.org/10.1016/j.cub.2005.04.017__Current Biology. Elsevier, 2005.https://doi.org/10.1016/j.cub.2005.04.017 .
LibreCat: https://research-explorer.ista.ac.at/record/6154
DOI: 10.1016/j.cub.2005.04.017
PMID: 15916947

Vogels, Tim P, and L. F. Abbott. “Signal Propagation and Logic Gating in Networks of Integrate-and-Fire Neurons.”https://doi.org/10.1523/jneurosci.3508-05.2005__Journal of Neuroscience. Society for Neuroscience, 2005.https://doi.org/10.1523/jneurosci.3508-05.2005 .
LibreCat: https://research-explorer.ista.ac.at/record/8028
DOI: 10.1523/jneurosci.3508-05.2005
PMID: 16291952

Vogels, Tim P, Kanaka Rajan, and L.F. Abbott. “Neural Network Dynamics.”https://doi.org/10.1146/annurev.neuro.28.061604.135637__Annual Review of Neuroscience. Annual Reviews, 2005.https://doi.org/10.1146/annurev.neuro.28.061604.135637 .
LibreCat: https://research-explorer.ista.ac.at/record/8029
DOI: 10.1146/annurev.neuro.28.061604.135637
PMID: 16022600

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.”https://doi.org/10.1016/j.cub.2005.01.008__Current Biology. Elsevier, 2005.https://doi.org/10.1016/j.cub.2005.01.008 .
LibreCat: https://research-explorer.ista.ac.at/record/9491
DOI: 10.1016/j.cub.2005.01.008
PMID: 15668172 

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.”https://doi.org/10.1186/gb-2005-6-11-r90__Genome Biology. Springer Nature, 2005.https://doi.org/10.1186/gb-2005-6-11-r90 .
LibreCat: https://research-explorer.ista.ac.at/record/9514
DOI: 10.1186/gb-2005-6-11-r90
PMID: 16277745

Yampolsky, Lev, Fyodor Kondrashov, and Alexey Kondrashov. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.”https://doi.org/10.1093/hmg/ddi350__Human Molecular Genetics. Oxford University Press, 2005.https://doi.org/10.1093/hmg/ddi350 .
LibreCat: https://research-explorer.ista.ac.at/record/843
DOI: 10.1093/hmg/ddi350