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