Hughes, David, and Sylvia Cremer. “Plasticity in Anti-Parasite Behaviours and Its Suggested Role in Invasion Biology.”10.1016/j.anbehav.2006.12.025__Animal Behaviour, vol. 74, no. 5, Elsevier, 2007, pp. 1593–99, doi:10.1016/j.anbehav.2006.12.025.
LibreCat: https://research-explorer.ista.ac.at/record/3910
DOI: 10.1016/j.anbehav.2006.12.025

Headd, Jeffrey, et al. “Protein-Protein Interfaces: Properties, Preferences, and Projections.”10.1021/pr070018+__Journal of Proteome Research, vol. 6, no. 7, American Chemical Society, 2007, pp. 2576–86, doi:10.1021/pr070018+.
LibreCat: https://research-explorer.ista.ac.at/record/3976
DOI: 10.1021/pr070018+

Attali, Dominique, et al. Alpha-Beta Witness Complexes. Vol. 4619, Springer, 2007, pp. 386–97, doi:10.1007/978-3-540-73951-7_34.
LibreCat: https://research-explorer.ista.ac.at/record/3981
DOI: 10.1007/978-3-540-73951-7_34

Bendich, Paul, et al. Inferring Local Homology from Sampled Stratified Spaces. IEEE, 2007, pp. 536–46, doi:10.1109/FOCS.2007.33.
LibreCat: https://research-explorer.ista.ac.at/record/3975
DOI: 10.1109/FOCS.2007.33

Attali, Dominique, and Herbert Edelsbrunner. “Inclusion-Exclusion Formulas from Independent Complexes.”10.1007/s00454-006-1274-7__Discrete &; Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 59–77, doi:10.1007/s00454-006-1274-7.
LibreCat: https://research-explorer.ista.ac.at/record/3977
DOI: 10.1007/s00454-006-1274-7

Rohde, Laurel, and Carl-Philipp J. Heisenberg. “Zebrafish Gastrulation: Cell Movements, Signals, and Mechanisms.”10.1016/S0074-7696(07)61004-3__International Review of Cytology - A Survey of Cell Biology, vol. 261, Academic Press, 2007, pp. 159–92, doi:10.1016/S0074-7696(07)61004-3.
LibreCat: https://research-explorer.ista.ac.at/record/4152
DOI: 10.1016/S0074-7696(07)61004-3

Krieg, Michael, et al. “The Role of Cell Adhesion and Contractility for Germ Layer Morphogenesis during Zebrafish Gastrulation.”10.1016/j.ejcb.2007.02.002__European Journal of Cell Biology, vol. 86, no. Supplement 1, Elsevier, 2007, pp. 39–39, doi:10.1016/j.ejcb.2007.02.002.
LibreCat: https://research-explorer.ista.ac.at/record/4182
DOI: 10.1016/j.ejcb.2007.02.002

Bollenbach, Mark Tobias, et al. “Evolution and Multilevel Optimization of the Genetic Code.”10.1101/gr.6144007__Genome Research, vol. 17, no. 4, Cold Spring Harbor Laboratory Press, 2007, pp. 401–04, doi:10.1101/gr.6144007.
LibreCat: https://research-explorer.ista.ac.at/record/4225
DOI: 10.1101/gr.6144007

Kicheva, Anna, et al. “Kinetics of Morphogen Gradient Formation.”10.1126/science.1135774__Science, vol. 315, no. 5811, American Association for the Advancement of Science, 2007, pp. 521–25, doi:10.1126/science.1135774.
LibreCat: https://research-explorer.ista.ac.at/record/4226
DOI: 10.1126/science.1135774

Danowski, Patrick. Library 2.0 and User-Generated Content - What Can the Users Do for Us? IFLA, 2007, doi:601.
LibreCat: https://research-explorer.ista.ac.at/record/4342
DOI: 601

Danowski, Patrick, and Barbara Pfeifer. “Wikipedia Und Normdateien: Wege Der Vernetzung Am Beispiel Der Kooperation Mit Der Personennamendatei.”485__Bibliothek - Forschung Und Praxis, vol. 31, no. 2, De Gruyter, 2007, pp. 149–55, doi:485.
LibreCat: https://research-explorer.ista.ac.at/record/4343
DOI: 485

Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0f? Wird Alles Anders?”45__Bibliothek - Forschung Und Praxis, vol. 31, no. 2007, De Gruyter, 2007, pp. 130–36, doi:45.
LibreCat: https://research-explorer.ista.ac.at/record/4344
DOI: 45

Binladen, Jonas, et al. “The Use of Coded PCR Primers Enables High-Throughput Sequencing of Multiple Homolog Amplification Products by 454 Parallel Sequencing.”10.1371/journal.pone.0000197__PLoS One, vol. 2, no. 2, Public Library of Science, 2007, doi:10.1371/journal.pone.0000197.
LibreCat: https://research-explorer.ista.ac.at/record/4353
DOI: 10.1371/journal.pone.0000197

Petersen, Lise, et al. “Genes under Positive Selection in Escherichia Coli.”10.1101/gr.6254707__Genome Research, vol. 17, no. 9, Cold Spring Harbor Laboratory Press, 2007, pp. 1336–43, doi:10.1101/gr.6254707.
LibreCat: https://research-explorer.ista.ac.at/record/4356
DOI: 10.1101/gr.6254707

Bollback, Jonathan P., and John Huelsenbeck. “Clonal Interference Is Alleviated by High Mutation Rates in Large Populations.”10.1093/molbev/msm056__Molecular Biology and Evolution, vol. 24, no. 6, Oxford University Press, 2007, pp. 1397–406, doi:10.1093/molbev/msm056.
LibreCat: https://research-explorer.ista.ac.at/record/4355
DOI: 10.1093/molbev/msm056

Freyhult, Eva, et al. “Exploring Genomic Dark Matter: A Critical Assessment of the Performance of Homology Search Methods on Noncoding RNA.”10.1101/gr.5890907__Genome Research, vol. 17, no. 1, Cold Spring Harbor Laboratory Press, 2007, pp. 117–25, doi:10.1101/gr.5890907.
LibreCat: https://research-explorer.ista.ac.at/record/4354
DOI: 10.1101/gr.5890907

Maler, Oded, et al. On Synthesizing Controllers from Bounded-Response Properties. Springer, 2007, pp. 95–107, doi:1568.
LibreCat: https://research-explorer.ista.ac.at/record/4370
DOI: 1568

Nickovic, Dejan, and Oded Maler. AMT: A Property-Based Monitoring Tool for Analog Systems. Springer, 2007, pp. 304–19, doi:1567.
LibreCat: https://research-explorer.ista.ac.at/record/4368
DOI: 1567

Dhonukshe, Pankaj, et al. “Clathrin-Mediated Constitutive Endocytosis of PIN Auxin Efflux Carriers in Arabidopsis.”10.1016/j.cub.2007.01.052__Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 520–27, doi:10.1016/j.cub.2007.01.052.
LibreCat: https://research-explorer.ista.ac.at/record/3022
DOI: 10.1016/j.cub.2007.01.052

Malenica, Nenad, et al. “MODULATOR of PIN Genes Control Steady State Levels of Arabidopsis PIN Proteins.”10.1111/j.1365-313X.2007.03158.x__Plant Journal, vol. 51, no. 4, Wiley-Blackwell, 2007, pp. 537–50, doi:10.1111/j.1365-313X.2007.03158.x.
LibreCat: https://research-explorer.ista.ac.at/record/3027
DOI: 10.1111/j.1365-313X.2007.03158.x

Hippenmeyer, Simon, et al. “ETS Transcription Factor Erm Controls Subsynaptic Gene Expression in Skeletal Muscles.”10.1016/j.neuron.2007.07.028__Neuron, vol. 55, no. 5, Elsevier, 2007, pp. 726–40, doi:10.1016/j.neuron.2007.07.028.
LibreCat: https://research-explorer.ista.ac.at/record/3144
DOI: 10.1016/j.neuron.2007.07.028

Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Improving the Security of MACs via Randomized Message Preprocessing. Vol. 4593, Springer, 2007, pp. 414–33, doi:10.1007/978-3-540-74619-5_26.
LibreCat: https://research-explorer.ista.ac.at/record/3223
DOI: 10.1007/978-3-540-74619-5_26

Pietrzak, Krzysztof Z., and Douglas Wikström. Parallel Repetition of Computationally Sound Protocols Revisited. Vol. 4392, Springer, 2007, pp. 86–102, doi:10.1007/978-3-540-70936-7_5.
LibreCat: https://research-explorer.ista.ac.at/record/3222
DOI: 10.1007/978-3-540-70936-7_5

Dziembowski, Stefan, and Krzysztof Z. Pietrzak. Intrusion Resilient Secret Sharing. IEEE, 2007, pp. 227–37, doi:10.1109/FOCS.2007.63.
LibreCat: https://research-explorer.ista.ac.at/record/3220
DOI: 10.1109/FOCS.2007.63

Maurer, Ueli, et al. Indistinguishability Amplification. Vol. 4622, Springer, 2007, pp. 130–49, doi:10.1007/978-3-540-74143-5_8.
LibreCat: https://research-explorer.ista.ac.at/record/3219
DOI: 10.1007/978-3-540-74143-5_8

Pietrzak, Krzysztof Z., and Johan Sjödin. Range Extension for Weak PRFs the Good the Bad and the Ugly. Vol. 4515, Springer, 2007, pp. 517–33, doi:10.1007/978-3-540-72540-4_30.
LibreCat: https://research-explorer.ista.ac.at/record/3221
DOI: 10.1007/978-3-540-72540-4_30

Reynolds, Sheila, et al. “Behavioral Paternity Predicts Genetic Paternity in Satin Bowerbirds, a Species with a Non-Resource-Based Mating System.”10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2__The Auk, vol. 124, no. 3, University of California Press, 2007, pp. 857–67, doi:10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2.
LibreCat: https://research-explorer.ista.ac.at/record/3436
DOI: 10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2

Bollback, Jonathan P., et al. “Estimating the History of Mutations on a Phylogeny.”10.1093/acprof:oso/9780199299188.003.0006__Ancestral Sequence Reconstruction, edited by David Liberles, Oxford University Press, 2007, pp. 69–79, doi:10.1093/acprof:oso/9780199299188.003.0006.
LibreCat: https://research-explorer.ista.ac.at/record/3432
DOI: 10.1093/acprof:oso/9780199299188.003.0006

Jonas, Peter M., and György Buzsáki. “Neural Inhibition.”10.4249/scholarpedia.3286__Scholarpedia, vol. 2, Scholarpedia, 2007, doi:10.4249/scholarpedia.3286.
LibreCat: https://research-explorer.ista.ac.at/record/3450
DOI: 10.4249/scholarpedia.3286

Attali, Dominique, et al. Weak Witnesses for Delaunay Triangulations of Submanifolds. ACM, 2007, pp. 143–50, doi:10.1145/1236246.1236267.
LibreCat: https://research-explorer.ista.ac.at/record/3561
DOI: 10.1145/1236246.1236267

Ulges, Adrian, et al. Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space. Vol. 4713, Springer, 2007, pp. 204–13, doi:10.1007/978-3-540-74936-3_21.
LibreCat: https://research-explorer.ista.ac.at/record/3681
DOI: 10.1007/978-3-540-74936-3_21

Barton, Nicholas H., et al. Evolution. Cold Spring Harbor Laboratory Press, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3674

Bippes, Christian, et al. “Digital Force-Feedback for Protein Unfolding Experiments Using Atomic Force Microscopy.”10.1088/0957-4484/18/4/044022__Nanotechnology, vol. 18, no. 4, IOP Publishing Ltd., 2007, doi:10.1088/0957-4484/18/4/044022.
LibreCat: https://research-explorer.ista.ac.at/record/3727
DOI: 10.1088/0957-4484/18/4/044022

Janovjak, Harald L., et al. “Transmembrane Helices Have Rough Energy Surfaces.”10.1021/ja065684a__Journal of the American Chemical Society, vol. 129, no. 2, ACS, 2007, pp. 246–47, doi:10.1021/ja065684a.
LibreCat: https://research-explorer.ista.ac.at/record/3723
DOI: 10.1021/ja065684a

Broderick, Tamara, et al. “Faster Solutions of the Inverse Pairwise Ising Problem.” ArXiv, vol. q-QM, ArXiv, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3742

Schmidt Hieber, Christoph, et al. “Subthreshold Dendritic Signal Processing and Coincidence Detection in Dentate Gyrus Granule Cells.”10.1523/JNEUROSCI.1787-07.2007__Journal of Neuroscience, vol. 27, no. 31, Society for Neuroscience, 2007, pp. 8430–41, doi:10.1523/JNEUROSCI.1787-07.2007.
LibreCat: https://research-explorer.ista.ac.at/record/3821
DOI: 10.1523/JNEUROSCI.1787-07.2007

Rollenhagen, Astrid, et al. “Structural Determinants of Transmission at Large Hippocampal Mossy Fiber Synapses.”10.1523/JNEUROSCI.1946-07.2007__Journal of Neuroscience, vol. 27, no. 39, Society for Neuroscience, 2007, pp. 10434–44, doi:10.1523/JNEUROSCI.1946-07.2007.
LibreCat: https://research-explorer.ista.ac.at/record/3820
DOI: 10.1523/JNEUROSCI.1946-07.2007

Li, Liyi, et al. “Differential Gating and Recruitment of P/Q-, N-, and R-Type Ca(2+) Channels in Hippocampal Mossy Fiber Boutons.”10.1523/JNEUROSCI.1709-07.2007__Journal of Neuroscience, vol. 27, no. 49, Society for Neuroscience, 2007, pp. 13420–29, doi:10.1523/JNEUROSCI.1709-07.2007.
LibreCat: https://research-explorer.ista.ac.at/record/3819
DOI: 10.1523/JNEUROSCI.1709-07.2007

Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
LibreCat: https://research-explorer.ista.ac.at/record/3883
DOI: 10.1007/978-3-540-71389-0_12

Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives.”10.1016/j.tcs.2007.07.047__Theoretical Computer Science, vol. 388, no. 1–3, Elsevier, 2007, pp. 181–98, doi:10.1016/j.tcs.2007.07.047.
LibreCat: https://research-explorer.ista.ac.at/record/3882
DOI: 10.1016/j.tcs.2007.07.047

Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
LibreCat: https://research-explorer.ista.ac.at/record/3884
DOI: 10.1007/978-3-540-74407-8_5

De Alfaro, Luca, et al. Qualitative Logics and Equivalences for Probabilistic Systems. IEEE, 2007, pp. 237–48, doi:10.1109/QEST.2007.15.
LibreCat: https://research-explorer.ista.ac.at/record/3881
DOI: 10.1109/QEST.2007.15

Chatterjee, Krishnendu. Markov Decision Processes with Multiple Long-Run Average Objectives. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–84, doi:10.1007/978-3-540-77050-3_39.
LibreCat: https://research-explorer.ista.ac.at/record/3887
DOI: 10.1007/978-3-540-77050-3_39

Chatterjee, Krishnendu. Stochastic Müller Games Are PSPACE-Complete. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–48, doi:10.1007/978-3-540-77050-3_36.
LibreCat: https://research-explorer.ista.ac.at/record/3886
DOI: 10.1007/978-3-540-77050-3_36

Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.
LibreCat: https://research-explorer.ista.ac.at/record/3885
DOI: 10.1007/978-3-540-71389-0_11

Dorn, Tatjana, et al. “RhoH Is Important for Positive Thymocyte Selection and T-Cell Receptor Signaling.”10.1182/blood-2006-04-019034__Blood, vol. 109, no. 6, American Society of Hematology, 2007, pp. 2346–55, doi:10.1182/blood-2006-04-019034.
LibreCat: https://research-explorer.ista.ac.at/record/3938
DOI: 10.1182/blood-2006-04-019034

Woolf, Eilon, et al. “Lymph Node Chemokines Promote Sustained T Lymphocyte Motility without Triggering Stable Integrin Adhesiveness in the Absence of Shear Forces.”10.1038/ni1499__Nature Immunology, vol. 8, no. 10, Nature Publishing Group, 2007, pp. 1076–85, doi:10.1038/ni1499.
LibreCat: https://research-explorer.ista.ac.at/record/3937
DOI: 10.1038/ni1499

Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.”10.1007/s10208-005-0200-3__Foundations of Computational Mathematics, vol. 7, no. 4, Springer, 2007, pp. 391–404, doi:10.1007/s10208-005-0200-3.
LibreCat: https://research-explorer.ista.ac.at/record/3973
DOI: 10.1007/s10208-005-0200-3

Cohen Steiner, David, et al. “Stability of Persistence Diagrams.”10.1007/s00454-006-1276-5__Discrete &; Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 103–20, doi:10.1007/s00454-006-1276-5.
LibreCat: https://research-explorer.ista.ac.at/record/3972
DOI: 10.1007/s00454-006-1276-5

Von Der Hardt, Sophia, et al. “The Bmp Gradient of the Zebrafish Gastrula Guides Migrating Lateral Cells by Regulating Cell-Cell Adhesion.”10.1016/j.cub.2007.02.013__Current Biology, vol. 17, no. 6, Cell Press, 2007, pp. 475–87, doi:10.1016/j.cub.2007.02.013.
LibreCat: https://research-explorer.ista.ac.at/record/4205
DOI: 10.1016/j.cub.2007.02.013

de Vladar, Harold, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.”10.1016/j.physa.2006.06.025__Physica A, vol. 373, Elsevier, 2007, pp. 477–85, doi:10.1016/j.physa.2006.06.025.
LibreCat: https://research-explorer.ista.ac.at/record/4234
DOI: 10.1016/j.physa.2006.06.025
arXiv: abs/q-bio/0602018

de Vladar, Harold. Alternativas Prebióticas Para La Síntesis de Amino- Ácidos y Otras Moléculas Relacionadas. Edited by N. Falcón and Y. Loyo De Sardi, Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109, doi:3808.
LibreCat: https://research-explorer.ista.ac.at/record/4233
DOI: 3808

Gardner, Andy, et al. “The Relation between Multilocus Population Genetics and Social Evolution Theory.”10.1086/510602__American Naturalist, vol. 169, no. 2, University of Chicago Press, 2007, pp. 207–26, doi:10.1086/510602.
LibreCat: https://research-explorer.ista.ac.at/record/4247
DOI: 10.1086/510602

Free, Andrew, and Nicholas H. Barton. “Do Evolution and Ecology Need the Gaia Hypothesis?”10.1016/j.tree.2007.07.007__Trends in Ecology and Evolution, vol. 22, no. 11, Cell Press, 2007, pp. 611–19, doi:10.1016/j.tree.2007.07.007.
LibreCat: https://research-explorer.ista.ac.at/record/4246
DOI: 10.1016/j.tree.2007.07.007

Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.
LibreCat: https://research-explorer.ista.ac.at/record/4399
DOI: 10.1007/978-3-540-73368-3_4

Bouillaguet, Charles, et al. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Springer, 2007, pp. 74–88, doi:1552.
LibreCat: https://research-explorer.ista.ac.at/record/4394
DOI: 1552

Berdine, Josh, et al. Shape Analysis for Composite Data Structures. Springer, 2007, pp. 178–92, doi:1553.
LibreCat: https://research-explorer.ista.ac.at/record/4398
DOI: 1553

Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.”10.1186/1752-0509-1-4__BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.
LibreCat: https://research-explorer.ista.ac.at/record/4405
DOI: 10.1186/1752-0509-1-4

Alur, Rajeev, et al. Model Checking on Trees with Path Equivalences. Springer, 2007, pp. 664–78, doi:1544.
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.”10.1007/978-3-540-71322-7_13__Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–92, doi:10.1007/978-3-540-71322-7_13.
LibreCat: https://research-explorer.ista.ac.at/record/4417
DOI: 10.1007/978-3-540-71322-7_13

Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”10.1145/1286821.1286824__ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393, ACM, 2007, doi:10.1145/1286821.1286824.
LibreCat: https://research-explorer.ista.ac.at/record/4446
DOI: 10.1145/1286821.1286824

Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
LibreCat: https://research-explorer.ista.ac.at/record/4514
DOI: 10.1007/978-3-540-69507-3_7

Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
LibreCat: https://research-explorer.ista.ac.at/record/4511
DOI: 10.1007/978-3-540-73208-2_2

Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.”10.1371/journal.pcbi.0030092__PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi:10.1371/journal.pcbi.0030092.
LibreCat: https://research-explorer.ista.ac.at/record/4531
DOI: 10.1371/journal.pcbi.0030092

Fisher, Jasmin, and Thomas A. Henzinger. “Executable Cell Biology.”10.1038/nbt1356__Nature Biotechnology, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:10.1038/nbt1356.
LibreCat: https://research-explorer.ista.ac.at/record/4529
DOI: 10.1038/nbt1356

Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .”10.1007/978-3-540-74915-8__CSL: Computer Science Logic, vol. 4646, Springer, 2007, doi:10.1007/978-3-540-74915-8.
LibreCat: https://research-explorer.ista.ac.at/record/4530
DOI: 10.1007/978-3-540-74915-8

Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
LibreCat: https://research-explorer.ista.ac.at/record/4537
DOI: 10.1007/978-3-540-71209-1_21

Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.”10.2168/LMCS-3(3:4)2007__Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
LibreCat: https://research-explorer.ista.ac.at/record/4547
DOI: 10.2168/LMCS-3(3:4)2007

Chatterjee, Krishnendu. Stochastic <9-Regular Games. University of California, Berkeley, 2007, pp. 1–247.
LibreCat: https://research-explorer.ista.ac.at/record/4559

Chakrabarti, Arindam. A Framework for Compositional Design and Analysis of Systems. University of California, Berkeley, 2007, pp. 1–244.
LibreCat: https://research-explorer.ista.ac.at/record/4566

Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.”10.1007/s10009-007-0044-z__International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

Brihaye, Thomas, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 10.1007/978-3-540-73420-8_71

Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 10.1007/978-3-540-73368-3_51

Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 10.1007/978-3-540-69738-1_27

Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

De Alfaro, Luca, et al. “Concurrent Reachability Games.”10.1016/j.tcs.2007.07.008__Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:10.1016/j.tcs.2007.07.008.
LibreCat: https://research-explorer.ista.ac.at/record/4626
DOI: 10.1016/j.tcs.2007.07.008

Hosten, Onur, and Paul Kwiat. Observing the Spin Hall Effect of Light via Quantum Weak Measurements. OSA, 2007, doi:10.1364/FIO.2007.JTuA4.
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4

Gumienny, Tina L., et al. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.”10.1016/j.cub.2006.11.065__Current Biology, vol. 17, no. 2, Elsevier, 2007, pp. 159–64, doi:10.1016/j.cub.2006.11.065.
LibreCat: https://research-explorer.ista.ac.at/record/6150
DOI: 10.1016/j.cub.2006.11.065
PMID: 17240342

Browning, Timothy D. “An Overview of Manin’s Conjecture for Del Pezzo Surfaces.” A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

Browning, Timothy D. “The Manin Conjecture in Dimension 2.” ArXiv, 0704.1217.
LibreCat: https://research-explorer.ista.ac.at/record/6321
arXiv: 0704.1217

Schneider, I. A., et al. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.”10.1149/1.2435706__Journal of The Electrochemical Society, vol. 154, no. 4, 3, The Electrochemical Society, 2007, doi:10.1149/1.2435706.
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 10.1149/1.2435706

Büchi, F. N., et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.”10.1002/fuce.200600050__Fuel Cells, vol. 7, no. 4, Wiley, 2007, pp. 329–35, doi:10.1002/fuce.200600050.
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 10.1002/fuce.200600050

Büchi, F. N., et al. “On the Efficiency of an Advanced Automotive Fuel Cell System.”10.1002/fuce.200500257__Fuel Cells, vol. 7, no. 2, Wiley, 2007, pp. 159–64, doi:10.1002/fuce.200500257.
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 10.1002/fuce.200500257

Robinson, Matthew Richard, and Loeske E. .. Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.”10.1098/rsbl.2007.0278__Biology Letters, vol. 3, no. 6, The Royal Society, 2007, pp. 651–54, doi:10.1098/rsbl.2007.0278.
LibreCat: https://research-explorer.ista.ac.at/record/7753
DOI: 10.1098/rsbl.2007.0278
PMID: 17711817

Robinson, Matthew Richard, et al. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.”10.1111/j.0014-3820.2006.tb01854.x__Evolution, vol. 60, no. 10, Wiley, 2007, pp. 2168–81, doi:10.1111/j.0014-3820.2006.tb01854.x.
LibreCat: https://research-explorer.ista.ac.at/record/7781
DOI: 10.1111/j.0014-3820.2006.tb01854.x

Goodrich, Carl Peter, et al. “Single-Molecule Electrophoresis of ;2-Hairpin Peptides by Electrical Recordings and Langevin Dynamics Simulations.”10.1021/jp071364h__The Journal of Physical Chemistry B, vol. 111, no. 13, American Chemical Society, 2007, pp. 3332–35, doi:10.1021/jp071364h.
LibreCat: https://research-explorer.ista.ac.at/record/7780
DOI: 10.1021/jp071364h

Vogels, Tim P., and L. Abbott. “Gating Deficits in Model Networks: A Path to Schizophrenia?”10.1055/s-2007-992130__Pharmacopsychiatry, vol. 40, no. S 1, Thieme, 2007, pp. –77, doi:10.1055/s-2007-992130.
LibreCat: https://research-explorer.ista.ac.at/record/8027
DOI: 10.1055/s-2007-992130
PMID: 18080946

Schanda, Paul, et al. “Protein Folding and Unfolding Studied at Atomic Resolution by Fast Two-Dimensional NMR Spectroscopy.”10.1073/pnas.0702069104__Proceedings of the National Academy of Sciences, vol. 104, no. 27, National Academy of Sciences, 2007, pp. 11257–62, doi:10.1073/pnas.0702069104.
LibreCat: https://research-explorer.ista.ac.at/record/8483
DOI: 10.1073/pnas.0702069104

Gal, Maayan, et al. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.”10.1021/ja066915g__Journal of the American Chemical Society, vol. 129, no. 5, American Chemical Society, 2007, pp. 1372–77, doi:10.1021/ja066915g.
LibreCat: https://research-explorer.ista.ac.at/record/8487
DOI: 10.1021/ja066915g

Schanda, Paul, et al. “Sensitivity-Optimized Experiment for the Measurement of Residual Dipolar Couplings between Amide Protons.”10.1007/s10858-006-9138-2__Journal of Biomolecular NMR, vol. 38, Springer Nature, 2007, pp. 47–55, doi:10.1007/s10858-006-9138-2.
LibreCat: https://research-explorer.ista.ac.at/record/8485
DOI: 10.1007/s10858-006-9138-2

Lescop, Ewen, et al. “Automated Spectral Compression for Fast Multidimensional NMR and Increased Time Resolution in Real-Time NMR Spectroscopy.”10.1021/ja068949u__Journal of the American Chemical Society, vol. 129, no. 10, American Chemical Society, 2007, pp. 2756–57, doi:10.1021/ja068949u.
LibreCat: https://research-explorer.ista.ac.at/record/8486
DOI: 10.1021/ja068949u

Lescop, Ewen, et al. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.”10.1016/j.jmr.2007.04.002__Journal of Magnetic Resonance, vol. 187, no. 1, Elsevier, 2007, pp. 163–69, doi:10.1016/j.jmr.2007.04.002.
LibreCat: https://research-explorer.ista.ac.at/record/8484
DOI: 10.1016/j.jmr.2007.04.002

Plotnikova, Olga, et al. “Conversion and Compensatory Evolution of the ;3-Crystallin Genes and Identification of a Cataractogenic Mutation That Reverses the Sequence of the Human CRYGD Gene to an Ancestral State.”10.1086/518616__American Journal of Human Genetics, vol. 81, no. 1, Cell Press, 2007, pp. 32–43, doi:10.1086/518616.
LibreCat: https://research-explorer.ista.ac.at/record/860
DOI: 10.1086/518616

Kondrashov, Fyodor, et al. “Selection for Functional Uniformity of Tuf Duplicates in ;3-Proteobacteria.”10.1016/j.tig.2007.03.002__Trends in Genetics, vol. 23, no. 5, Elsevier, 2007, pp. 215–18, doi:10.1016/j.tig.2007.03.002.
LibreCat: https://research-explorer.ista.ac.at/record/879
DOI: 10.1016/j.tig.2007.03.002

Bazykin, Georgii, et al. “Extensive Parallelism in Protein Evolution.”10.1186/1745-6150-2-20__Biology Direct, vol. 2, BioMed Central, 2007, doi:10.1186/1745-6150-2-20.
LibreCat: https://research-explorer.ista.ac.at/record/904
DOI: 10.1186/1745-6150-2-20

Penterman, Jon, et al. “DNA Demethylation in the Arabidopsis Genome.”10.1073/pnas.0701861104__Proceedings of the National Academy of Sciences, vol. 104, no. 16, National Academy of Sciences, 2007, pp. 6752–57, doi:10.1073/pnas.0701861104.
LibreCat: https://research-explorer.ista.ac.at/record/9487
DOI: 10.1073/pnas.0701861104
PMID: 17409185

Gorodetski, A., and Vadim Kaloshin. “How Often Surface Diffeomorphisms Have Infinitely Many Sinks and Hyperbolicity of Periodic Points near a Homoclinic Tangency.”10.1016/j.aim.2006.03.012__Advances in Mathematics, vol. 208, no. 2, Elsevier, 2007, pp. 710–97, doi:10.1016/j.aim.2006.03.012.
LibreCat: https://research-explorer.ista.ac.at/record/8511
DOI: 10.1016/j.aim.2006.03.012

Kaloshin, Vadim, and Brian Hunt. “Stretched Exponential Estimates on Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.”10.4007/annals.2007.165.89__Annals of Mathematics, vol. 165, no. 1, Princeton University Press, 2007, pp. 89–170, doi:10.4007/annals.2007.165.89.
LibreCat: https://research-explorer.ista.ac.at/record/8512
DOI: 10.4007/annals.2007.165.89

Popadin, Konstantin, et al. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.”10.1186/1471-2105-8-441__BMC Bioinformatics, vol. 8, BioMed Central, 2007, doi:10.1186/1471-2105-8-441.
LibreCat: https://research-explorer.ista.ac.at/record/861
DOI: 10.1186/1471-2105-8-441