Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
LibreCat: https://research-explorer.ista.ac.at/record/4456
DOI: 10.1145/1081706.1081713

Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
LibreCat: https://research-explorer.ista.ac.at/record/4457
DOI: 10.1145/1065910.1065914

Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi: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. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
LibreCat: https://research-explorer.ista.ac.at/record/4541
DOI: 10.1007/11590156_1

Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
LibreCat: https://research-explorer.ista.ac.at/record/4553
DOI: 10.1007/11523468_71

Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
LibreCat: https://research-explorer.ista.ac.at/record/4554
DOI: 10.1109/LICS.2005.26

Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
LibreCat: https://research-explorer.ista.ac.at/record/4560
DOI: 10.1007/11560548_7

Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
LibreCat: https://research-explorer.ista.ac.at/record/4557

Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi: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, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
LibreCat: https://research-explorer.ista.ac.at/record/4576
DOI: 10.1145/1060745.1060770

De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.”10.1016/j.tcs.2005.07.033__Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi: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. Vol. 195, Springer, 2005, pp. 83–104, doi: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, et al. Counterfactual Quantum Computation. Vol. 1, IEEE, 2005, pp. 365–67, doi: 10.1109/QELS.2005.1548783.
LibreCat: https://research-explorer.ista.ac.at/record/575
DOI:  10.1109/QELS.2005.1548783

de Bono, Mario, and Andres Villu Maricq. “Neuronal Substrates of Complex Behaviors in C. Elegans.”10.1146/annurev.neuro.27.070203.144259__Annual Review of Neuroscience, vol. 28, Annual Reviews, 2005, pp. 451–501, doi: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., et al. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.”10.1016/j.cub.2005.04.017__Current Biology, vol. 15, no. 10, Elsevier, 2005, pp. 905–17, doi: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.”10.1523/jneurosci.3508-05.2005__Journal of Neuroscience, vol. 25, no. 46, Society for Neuroscience, 2005, pp. 10786–95, doi: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., et al. “Neural Network Dynamics.”10.1146/annurev.neuro.28.061604.135637__Annual Review of Neuroscience, vol. 28, no. 1, Annual Reviews, 2005, pp. 357–76, doi: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., et al. “DNA Methylation Profiling Identifies CG Methylation Clusters in Arabidopsis Genes.”10.1016/j.cub.2005.01.008__Current Biology, vol. 15, no. 2, Elsevier, 2005, pp. 154–59, doi: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., et al. “Chromatin and SiRNA Pathways Cooperate to Maintain DNA Methylation of Small Transposable Elements in Arabidopsis.”10.1186/gb-2005-6-11-r90__Genome Biology, vol. 6, no. 11, , Springer Nature, 2005, doi: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, et al. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.”10.1093/hmg/ddi350__Human Molecular Genetics, vol. 14, no. 21, Oxford University Press, 2005, pp. 3191–201, doi:10.1093/hmg/ddi350.
LibreCat: https://research-explorer.ista.ac.at/record/843
DOI: 10.1093/hmg/ddi350

Schanda, Paul, et al. “SOFAST-HMQC Experiments for Recording Two-Dimensional Deteronuclear Correlation Spectra of Proteins within a Few Seconds.”10.1007/s10858-005-4425-x__Journal of Biomolecular NMR, vol. 33, no. 4, Springer Nature, 2005, pp. 199–211, doi:10.1007/s10858-005-4425-x.
LibreCat: https://research-explorer.ista.ac.at/record/8491
DOI: 10.1007/s10858-005-4425-x

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.”10.1021/ja051306e__Journal of the American Chemical Society, vol. 127, no. 22, American Chemical Society, 2005, pp. 8014–15, doi:10.1021/ja051306e.
LibreCat: https://research-explorer.ista.ac.at/record/8492
DOI: 10.1021/ja051306e

Bourgain, Jean, and Vadim Kaloshin. “On Diffusion in High-Dimensional Hamiltonian Systems.”10.1016/j.jfa.2004.09.006__Journal of Functional Analysis, vol. 229, no. 1, Elsevier, 2005, pp. 1–61, doi:10.1016/j.jfa.2004.09.006.
LibreCat: https://research-explorer.ista.ac.at/record/8516
DOI: 10.1016/j.jfa.2004.09.006

Kondrashov, Fyodor. “The Analysis of Monomer Sequences in Protein and TRNA and the Manifestation of the Compensation of Pathogenic Deviations in Their Evolution.” Biofizika, vol. 50, no. 3, Pleiades Publishing, 2005, pp. 389–95.
LibreCat: https://research-explorer.ista.ac.at/record/877
PMID: 15977826

Kondrashov, Fyodor. “In Search of the Limits of Evolution.”10.1038/ng0105-9__Nature Genetics, vol. 37, no. 1, Nature Publishing Group, 2005, pp. 9–10, doi:10.1038/ng0105-9.
LibreCat: https://research-explorer.ista.ac.at/record/878
DOI: 10.1038/ng0105-9

Kondrashov, Fyodor. “Prediction of Pathogenic Mutations in Mitochondrially Encoded Human TRNAs.”10.1093/hmg/ddi243__Human Molecular Genetics, vol. 14, no. 16, Oxford University Press, 2005, pp. 2415–19, doi:10.1093/hmg/ddi243.
LibreCat: https://research-explorer.ista.ac.at/record/882
DOI: 10.1093/hmg/ddi243

Kondrashov, Fyodor. “The Convergent Evolution of the Secondary Structure of Mitochondrial Cysteine TRNA in the Nine-Banded Armadillo Dasypus Novemcinctus.” Biofizika, vol. 50, no. 3, Pleiades Publishing, 2005, pp. 396–403.
LibreCat: https://research-explorer.ista.ac.at/record/880
PMID: 15977827

Jordan, Ingo, et al. “A Universal Trend of Amino Acid Gain and Loss in Protein Evolution.”10.1038/nature03306__Nature, vol. 433, no. 7026, Nature Publishing Group, 2005, pp. 633–38, doi:10.1038/nature03306.
LibreCat: https://research-explorer.ista.ac.at/record/893
DOI: 10.1038/nature03306

Zilberman, Daniel, and Steven Henikoff. “Epigenetic Inheritance in Arabidopsis: Selective Silence.”10.1016/j.gde.2005.07.002__Current Opinion in Genetics and Development, vol. 15, no. 5, Elsevier, 2005, pp. 557–62, doi:10.1016/j.gde.2005.07.002.
LibreCat: https://research-explorer.ista.ac.at/record/9529
DOI: 10.1016/j.gde.2005.07.002
PMID: 16085410

Smoukov, S. K., et al. “Cutting into Solids with Micropatterned Gels.”10.1002/adma.200402086__Advanced Materials, vol. 17, no. 11, Wiley, 2005, pp. 1361–65, doi:10.1002/adma.200402086.
LibreCat: https://research-explorer.ista.ac.at/record/13431
DOI: 10.1002/adma.200402086
PMID: 34412440

Witt, Dariusz, et al. “Applications, Properties and Synthesis of w-Functionalized n-Alkanethiols and Disulfides - the Building Blocks of Self-Assembled Monolayers.”10.2174/1385272043369421__Current Organic Chemistry, vol. 8, no. 18, Bentham Science, 2005, pp. 1763–97, doi:10.2174/1385272043369421.
LibreCat: https://research-explorer.ista.ac.at/record/13433
DOI: 10.2174/1385272043369421

Campbell, Christopher J., et al. “One-Step Multilevel Microfabrication by Reactiondiffusion.”10.1021/la0487747__Langmuir, vol. 21, no. 1, American Chemical Society, 2005, pp. 418–23, doi:10.1021/la0487747.
LibreCat: https://research-explorer.ista.ac.at/record/13432
DOI: 10.1021/la0487747
PMID: 15620333