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

Dhonukshe, Pankaj, Fernando Aniento, Inhwan Hwang, David Robinson, Jozef Mravec, York Stierhof, and Jií Friml. “Clathrin-Mediated Constitutive Endocytosis of PIN Auxin Efflux Carriers in Arabidopsis.”https://doi.org/10.1016/j.cub.2007.01.052__Current Biology. Cell Press, 2007.https://doi.org/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, Lindy Abas, René Benjamins, Saeko Kitakura, Harald Sigmund, Kim Jun, Marie Hauser, Jií Friml, and Christian Luschnig. “MODULATOR of PIN Genes Control Steady State Levels of Arabidopsis PIN Proteins.”https://doi.org/10.1111/j.1365-313X.2007.03158.x__Plant Journal. Wiley-Blackwell, 2007.https://doi.org/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, Roland Huber, David Ladle, Kenneth Murphy, and Silvia Arber. “ETS Transcription Factor Erm Controls Subsynaptic Gene Expression in Skeletal Muscles.”https://doi.org/10.1016/j.neuron.2007.07.028__Neuron. Elsevier, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-74619-5_26__4593:414–33. Springer, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-70936-7_5__4392:86–102. Springer, 2007.https://doi.org/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,”https://doi.org/10.1109/FOCS.2007.63__227–37. IEEE, 2007.https://doi.org/10.1109/FOCS.2007.63 .
LibreCat: https://research-explorer.ista.ac.at/record/3220
DOI: 10.1109/FOCS.2007.63

Maurer, Ueli, Krzysztof Z Pietrzak, and Renato Renner. “Indistinguishability Amplification,”https://doi.org/10.1007/978-3-540-74143-5_8__4622:130–49. Springer, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-72540-4_30__4515:517–33. Springer, 2007.https://doi.org/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, Katie Dryer, Jonathan P Bollback, J Albert Uy, Gail Patricelli, Timothy Robson, Gerald Borgia, and Michael Braun. “Behavioral Paternity Predicts Genetic Paternity in Satin Bowerbirds, a Species with a Non-Resource-Based Mating System.”https://doi.org/10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2__The Auk. University of California Press, 2007.https://doi.org/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, Paul Gardner, and Rasmus Nielsen. “Estimating the History of Mutations on a Phylogeny.”https://doi.org/10.1093/acprof:oso/9780199299188.003.0006__In Ancestral Sequence Reconstruction, edited by David Liberles, 69–79. Oxford University Press, 2007.https://doi.org/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.”https://doi.org/10.4249/scholarpedia.3286__Scholarpedia. Scholarpedia, 2007.https://doi.org/10.4249/scholarpedia.3286 .
LibreCat: https://research-explorer.ista.ac.at/record/3450
DOI: 10.4249/scholarpedia.3286

Attali, Dominique, Herbert Edelsbrunner, and Yuriy Mileyko. “Weak Witnesses for Delaunay Triangulations of Submanifolds,”https://doi.org/10.1145/1236246.1236267__143–50. ACM, 2007.https://doi.org/10.1145/1236246.1236267 .
LibreCat: https://research-explorer.ista.ac.at/record/3561
DOI: 10.1145/1236246.1236267

Ulges, Adrian, Christoph Lampert, Daniel Keysers, and Thomas Breuel. “Optimal Dominant Motion Estimation Using Adaptive Search of Transformation Space,”https://doi.org/10.1007/978-3-540-74936-3_21__4713:204–13. Springer, 2007.https://doi.org/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, Derek Briggs, Jonathan Eisen, David Goldstein, and Nipam Patel. Evolution. Cold Spring Harbor Laboratory Press, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3674

Bippes, Christian, Harald L Janovjak, Alexej Kedrov, and Daniel Mueller. “Digital Force-Feedback for Protein Unfolding Experiments Using Atomic Force Microscopy.”https://doi.org/10.1088/0957-4484/18/4/044022__Nanotechnology. IOP Publishing Ltd., 2007.https://doi.org/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, Helene Knaus, and Daniel Mueller. “Transmembrane Helices Have Rough Energy Surfaces.”https://doi.org/10.1021/ja065684a__Journal of the American Chemical Society. ACS, 2007.https://doi.org/10.1021/ja065684a .
LibreCat: https://research-explorer.ista.ac.at/record/3723
DOI: 10.1021/ja065684a

Broderick, Tamara, Miroslav Dudik, Gasper Tkadik, Robert Schapire, and William Bialek. “Faster Solutions of the Inverse Pairwise Ising Problem.” ArXiv. ArXiv, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/3742

Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Subthreshold Dendritic Signal Processing and Coincidence Detection in Dentate Gyrus Granule Cells.”https://doi.org/10.1523/JNEUROSCI.1787-07.2007__Journal of Neuroscience. Society for Neuroscience, 2007.https://doi.org/10.1523/JNEUROSCI.1787-07.2007 .
LibreCat: https://research-explorer.ista.ac.at/record/3821
DOI: 10.1523/JNEUROSCI.1787-07.2007

Rollenhagen, Astrid, Kurt Satzler, E Patricia Rodriguez, Peter M Jonas, Michael Frotscher, and Joachim Lubke. “Structural Determinants of Transmission at Large Hippocampal Mossy Fiber Synapses.”https://doi.org/10.1523/JNEUROSCI.1946-07.2007__Journal of Neuroscience. Society for Neuroscience, 2007.https://doi.org/10.1523/JNEUROSCI.1946-07.2007 .
LibreCat: https://research-explorer.ista.ac.at/record/3820
DOI: 10.1523/JNEUROSCI.1946-07.2007

Li, Liyi, Josef Bischofberger, and Peter M Jonas. “Differential Gating and Recruitment of P/Q-, N-, and R-Type Ca(2+) Channels in Hippocampal Mossy Fiber Boutons.”https://doi.org/10.1523/JNEUROSCI.1709-07.2007__Journal of Neuroscience. Society for Neuroscience, 2007.https://doi.org/10.1523/JNEUROSCI.1709-07.2007 .
LibreCat: https://research-explorer.ista.ac.at/record/3819
DOI: 10.1523/JNEUROSCI.1709-07.2007

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Generalized Parity Games,”https://doi.org/10.1007/978-3-540-71389-0_12__4423:153–67. Springer, 2007.https://doi.org/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.”https://doi.org/10.1016/j.tcs.2007.07.047__Theoretical Computer Science. Elsevier, 2007.https://doi.org/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, Thomas A Henzinger, and Nir Piterman. “Strategy Logic,”https://doi.org/10.1007/978-3-540-74407-8_5__4703:59–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/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, Krishnendu Chatterjee, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems,”https://doi.org/10.1109/QEST.2007.15__237–48. IEEE, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-77050-3_39__4855:473–84. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-77050-3_36__4855:436–48. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-71389-0_11__4423:138–52. Springer, 2007.https://doi.org/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, Ursula Kuhn, Gerd Bungartz, Sebastian Stiller, Martina Bauer, Joachim Ellwart, Thorsten Peters, et al. “RhoH Is Important for Positive Thymocyte Selection and T-Cell Receptor Signaling.”https://doi.org/10.1182/blood-2006-04-019034__Blood. American Society of Hematology, 2007.https://doi.org/10.1182/blood-2006-04-019034 .
LibreCat: https://research-explorer.ista.ac.at/record/3938
DOI: 10.1182/blood-2006-04-019034

Woolf, Eilon, Irina Grigorova, Adi Sagiv, Valentin Grabovsky, Sara Feigelson, Ziv Shulman, Tanja Hartmann, Michael K Sixt, Jason Cyster, and Ronen Alon. “Lymph Node Chemokines Promote Sustained T Lymphocyte Motility without Triggering Stable Integrin Adhesiveness in the Absence of Shear Forces.”https://doi.org/10.1038/ni1499__Nature Immunology. Nature Publishing Group, 2007.https://doi.org/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.”https://doi.org/10.1007/s10208-005-0200-3__Foundations of Computational Mathematics. Springer, 2007.https://doi.org/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, Herbert Edelsbrunner, and John Harer. “Stability of Persistence Diagrams.”https://doi.org/10.1007/s00454-006-1276-5__Discrete &; Computational Geometry. Springer, 2007.https://doi.org/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, Jeroen Bakkers, Adi Inbal, Lara Carvalho, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Matthias Hammerschmidt. “The Bmp Gradient of the Zebrafish Gastrula Guides Migrating Lateral Cells by Regulating Cell-Cell Adhesion.”https://doi.org/10.1016/j.cub.2007.02.013__Current Biology. Cell Press, 2007.https://doi.org/10.1016/j.cub.2007.02.013 .
LibreCat: https://research-explorer.ista.ac.at/record/4205
DOI: 10.1016/j.cub.2007.02.013

Vladar, Harold de, and I. Pen. “Determinism, Noise, and Spurious Estimations in a Generalised Model of Population Growth.”https://doi.org/10.1016/j.physa.2006.06.025__Physica A. Elsevier, 2007.https://doi.org/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

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

Gardner, Andy, Stuart West, and Nicholas H Barton. “The Relation between Multilocus Population Genetics and Social Evolution Theory.”https://doi.org/10.1086/510602__American Naturalist. University of Chicago Press, 2007.https://doi.org/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?”https://doi.org/10.1016/j.tree.2007.07.007__Trends in Ecology and Evolution. Cell Press, 2007.https://doi.org/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, Thomas A Henzinger, and Vasu Singh. “Algorithms for Interface Synthesis,”https://doi.org/10.1007/978-3-540-73368-3_4__4590:4–19. Springer, 2007.https://doi.org/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, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,”https://doi.org/1552__74–88. Springer, 2007.https://doi.org/1552 .
LibreCat: https://research-explorer.ista.ac.at/record/4394
DOI: 1552

Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures,”https://doi.org/1553__178–92. Springer, 2007.https://doi.org/1553 .
LibreCat: https://research-explorer.ista.ac.at/record/4398
DOI: 1553

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

Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,”https://doi.org/1544__664–78. Springer, 2007.https://doi.org/1544 .
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.”https://doi.org/10.1007/978-3-540-71322-7_13__In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007.https://doi.org/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.”https://doi.org/10.1145/1286821.1286824__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-69507-3_7__4362:103–10. Springer, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-73208-2_2__4588:20–22. Springer, 2007.https://doi.org/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, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.”https://doi.org/10.1371/journal.pcbi.0030092__PLoS Computational Biology. Public Library of Science, 2007.https://doi.org/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.”https://doi.org/10.1038/nbt1356__Nature Biotechnology. Nature Publishing Group, 2007.https://doi.org/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 . CSL: Computer Science Logic. Vol. 4646. Springer, 2007.https://doi.org/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,”https://doi.org/10.1007/978-3-540-71209-1_21__4424:261–75. Springer, 2007.https://doi.org/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, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.”https://doi.org/10.2168/LMCS-3(3:4)2007__Logical Methods in Computer Science. International Federation of Computational Logic, 2007.https://doi.org/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.
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.
LibreCat: https://research-explorer.ista.ac.at/record/4566

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.”https://doi.org/10.1007/s10009-007-0044-z__International Journal on Software Tools for Technology Transfer. Springer, 2007.https://doi.org/10.1007/s10009-007-0044-z .
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,”https://doi.org/10.1007/978-3-540-73420-8_71__4596:825–37. Springer, 2007.https://doi.org/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, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,”https://doi.org/10.1007/978-3-540-73368-3_51__4590:504–18. Springer, 2007.https://doi.org/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, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,”https://doi.org/10.1007/978-3-540-69738-1_27__4349:378–94. Springer, 2007.https://doi.org/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, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,”https://doi.org/10.1145/1250734.1250769__300–309. ACM, 2007.https://doi.org/10.1145/1250734.1250769 .
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,”https://doi.org/10.1109/ICWS.2007.32 __831–38. IEEE, 2007.https://doi.org/10.1109/ICWS.2007.32  .
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.”https://doi.org/10.1016/j.tcs.2007.07.008__Theoretical Computer Science. Elsevier, 2007.https://doi.org/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.”https://doi.org/10.1364/FIO.2007.JTuA4__OSA, 2007.https://doi.org/10.1364/FIO.2007.JTuA4 .
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4

Gumienny, Tina L., Lesley T. MacNeil, Huang Wang, Mario de Bono, Jeffrey L. Wrana, and Richard W. Padgett. “Glypican LON-2 Is a Conserved Negative Regulator of BMP-like Signaling in Caenorhabditis Elegans.”https://doi.org/10.1016/j.cub.2006.11.065__Current Biology. Elsevier, 2007.https://doi.org/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.” In A Tribute to Gauss and Dirichlet, 7:39–56. Analytic Number Theory. American Mathematical Society, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

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

Schneider, I. A., Stefan Alexander Freunberger, D. Kramer, A. Wokaun, and G. G. Scherer. “Oscillations in Gas Channels: Part I. The Forgotten Player in Impedance Spectroscopy in PEFCs.”https://doi.org/10.1149/1.2435706__Journal of The Electrochemical Society. The Electrochemical Society, 2007.https://doi.org/10.1149/1.2435706 .
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 10.1149/1.2435706

Büchi, F. N., G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, et al. “Consumption and Efficiency of a Passenger Car with a Hydrogen/Oxygen PEFC Based Hybrid Electric Drivetrain.”https://doi.org/10.1002/fuce.200600050__Fuel Cells. Wiley, 2007.https://doi.org/10.1002/fuce.200600050 .
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 10.1002/fuce.200600050

Büchi, F. N., Stefan Alexander Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, and A. Delfino. “On the Efficiency of an Advanced Automotive Fuel Cell System.”https://doi.org/10.1002/fuce.200500257__Fuel Cells. Wiley, 2007.https://doi.org/10.1002/fuce.200500257 .
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 10.1002/fuce.200500257

Robinson, Matthew Richard, and Loeske E.B Kruuk. “Function of Weaponry in Females: The Use of Horns in Intrasexual Competition for Resources in Female Soay Sheep.”https://doi.org/10.1098/rsbl.2007.0278__Biology Letters. The Royal Society, 2007.https://doi.org/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, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske E.B. Kruuk. “Live Fast, Die Young: Trade-Offs between Fitness Components and Sexually Antagonistic Selection on Weaponry in Soay Sheep.”https://doi.org/10.1111/j.0014-3820.2006.tb01854.x__Evolution. Wiley, 2007.https://doi.org/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, Serdal Kirmizialtin, Beatrice M. Huyghues-Despointes, Aiping Zhu, J. Martin Scholtz, Dmitrii E. Makarov, and Liviu Movileanu. “Single-Molecule Electrophoresis of ;2-Hairpin Peptides by Electrical Recordings and Langevin Dynamics Simulations.”https://doi.org/10.1021/jp071364h__The Journal of Physical Chemistry B. American Chemical Society, 2007.https://doi.org/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?”https://doi.org/10.1055/s-2007-992130__Pharmacopsychiatry. Thieme, 2007.https://doi.org/10.1055/s-2007-992130 .
LibreCat: https://research-explorer.ista.ac.at/record/8027
DOI: 10.1055/s-2007-992130
PMID: 18080946

Schanda, Paul, V. Forge, and B. Brutscher. “Protein Folding and Unfolding Studied at Atomic Resolution by Fast Two-Dimensional NMR Spectroscopy.”https://doi.org/10.1073/pnas.0702069104__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007.https://doi.org/10.1073/pnas.0702069104 .
LibreCat: https://research-explorer.ista.ac.at/record/8483
DOI: 10.1073/pnas.0702069104

Gal, Maayan, Paul Schanda, Bernhard Brutscher, and Lucio Frydman. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.”https://doi.org/10.1021/ja066915g__Journal of the American Chemical Society. American Chemical Society, 2007.https://doi.org/10.1021/ja066915g .
LibreCat: https://research-explorer.ista.ac.at/record/8487
DOI: 10.1021/ja066915g

Schanda, Paul, Ewen Lescop, Mirjam Falge, Rémy Sounier, Jérôme Boisbouvier, and Bernhard Brutscher. “Sensitivity-Optimized Experiment for the Measurement of Residual Dipolar Couplings between Amide Protons.”https://doi.org/10.1007/s10858-006-9138-2__Journal of Biomolecular NMR. Springer Nature, 2007.https://doi.org/10.1007/s10858-006-9138-2 .
LibreCat: https://research-explorer.ista.ac.at/record/8485
DOI: 10.1007/s10858-006-9138-2

Lescop, Ewen, Paul Schanda, Rodolfo Rasia, and Bernhard Brutscher. “Automated Spectral Compression for Fast Multidimensional NMR and Increased Time Resolution in Real-Time NMR Spectroscopy.”https://doi.org/10.1021/ja068949u__Journal of the American Chemical Society. American Chemical Society, 2007.https://doi.org/10.1021/ja068949u .
LibreCat: https://research-explorer.ista.ac.at/record/8486
DOI: 10.1021/ja068949u

Lescop, Ewen, Paul Schanda, and Bernhard Brutscher. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.”https://doi.org/10.1016/j.jmr.2007.04.002__Journal of Magnetic Resonance. Elsevier, 2007.https://doi.org/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, Fyodor Kondrashov, Peter Vlasov, Anastasia Grigorenko, Evgeny Ginter, and Evgeny Rogaev. “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.”https://doi.org/10.1086/518616__American Journal of Human Genetics. Cell Press, 2007.https://doi.org/10.1086/518616 .
LibreCat: https://research-explorer.ista.ac.at/record/860
DOI: 10.1086/518616

Kondrashov, Fyodor, Tatiana Gurbich, and Peter Vlasov. “Selection for Functional Uniformity of Tuf Duplicates in ;3-Proteobacteria.”https://doi.org/10.1016/j.tig.2007.03.002__Trends in Genetics. Elsevier, 2007.https://doi.org/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, Fyodor Kondrashov, Michael Brudno, Alexander Poliakov, Inna Dubchak, and Alexey Kondrashov. “Extensive Parallelism in Protein Evolution.”https://doi.org/10.1186/1745-6150-2-20__Biology Direct. BioMed Central, 2007.https://doi.org/10.1186/1745-6150-2-20 .
LibreCat: https://research-explorer.ista.ac.at/record/904
DOI: 10.1186/1745-6150-2-20

Penterman, Jon, Daniel Zilberman, Jin Hoe Huh, Tracy Ballinger, Steven Henikoff, and Robert L. Fischer. “DNA Demethylation in the Arabidopsis Genome.”https://doi.org/10.1073/pnas.0701861104__Proceedings of the National Academy of Sciences. National Academy of Sciences, 2007.https://doi.org/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.”https://doi.org/10.1016/j.aim.2006.03.012__Advances in Mathematics. Elsevier, 2007.https://doi.org/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.”https://doi.org/10.4007/annals.2007.165.89__Annals of Mathematics. Princeton University Press, 2007.https://doi.org/10.4007/annals.2007.165.89 .
LibreCat: https://research-explorer.ista.ac.at/record/8512
DOI: 10.4007/annals.2007.165.89

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

Bühler, Oliver, and Caroline J Muller. “Instability and Focusing of Internal Tides in the Deep Ocean.”https://doi.org/10.1017/s0022112007007410__Journal of Fluid Mechanics. Cambridge University Press, 2007.https://doi.org/10.1017/s0022112007007410 .
LibreCat: https://research-explorer.ista.ac.at/record/9149
DOI: 10.1017/s0022112007007410

Zilberman, Daniel. The Human Promoter Methylome. Nature Genetics. Vol. 39. Nature Publishing Group, 2007.https://doi.org/10.1038/ng0407-442 .
LibreCat: https://research-explorer.ista.ac.at/record/9504
DOI: 10.1038/ng0407-442
PMID: 17392803

Zilberman, Daniel, and Steven Henikoff. “Genome-Wide Analysis of DNA Methylation Patterns.”https://doi.org/10.1242/dev.001131__Development. The Company of Biologists, 2007.https://doi.org/10.1242/dev.001131 .
LibreCat: https://research-explorer.ista.ac.at/record/9524
DOI: 10.1242/dev.001131
PMID: 17928417

Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.”https://doi.org/10.1016/j.tig.2007.08.005__Trends in Genetics. Elsevier BV, 2007.https://doi.org/10.1016/j.tig.2007.08.005 .
LibreCat: https://research-explorer.ista.ac.at/record/12201
DOI: 10.1016/j.tig.2007.08.005
PMID: 17825943

Klajn, Rafal, AnatoliyO. Pinchuk, GeorgeC. Schatz, and BartoszA. Grzybowski. “Synthesis of Heterodimeric Sphere–Prism Nanostructures via Metastable Gold Supraspheres.”https://doi.org/10.1002/anie.200702570__Angewandte Chemie International Edition. Wiley, 2007.https://doi.org/10.1002/anie.200702570 .
LibreCat: https://research-explorer.ista.ac.at/record/13424
DOI: 10.1002/anie.200702570
PMID: 17902083

Klajn, Rafal, Kyle J. M. Bishop, and Bartosz A. Grzybowski. “Light-Controlled Self-Assembly of Reversible and Irreversible Nanoparticle Suprastructures.”https://doi.org/10.1073/pnas.0611371104__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2007.https://doi.org/10.1073/pnas.0611371104 .
LibreCat: https://research-explorer.ista.ac.at/record/13425
DOI: 10.1073/pnas.0611371104
PMID: 17563381

Klajn, Rafal, Kyle J. M. Bishop, Marcin Fialkowski, Maciej Paszewski, Christopher J. Campbell, Timothy P. Gray, and Bartosz A. Grzybowski. “Plastic and Moldable Metals by Self-Assembly of Sticky Nanoparticle Aggregates.”https://doi.org/10.1126/science.1139131__Science. American Association for the Advancement of Science, 2007.https://doi.org/10.1126/science.1139131 .
LibreCat: https://research-explorer.ista.ac.at/record/13427
DOI: 10.1126/science.1139131
PMID: 17431176

Paszewski, Maciej, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Multilevel Surface Nano- and Microstructuring via Sequential Photoswelling of Dichromated Gelatin.”https://doi.org/10.1021/la062982c__Langmuir. American Chemical Society, 2007.https://doi.org/10.1021/la062982c .
LibreCat: https://research-explorer.ista.ac.at/record/13426
DOI: 10.1021/la062982c
PMID: 17425340

Sweeney, Lora B., Africa Couto, Ya-Hui Chou, Daniela Berdnik, Barry J. Dickson, Liqun Luo, and Takaki Komiyama. “Temporal Target Restriction of Olfactory Receptor Neurons by Semaphorin-1a/PlexinA-Mediated Axon-Axon Interactions.”https://doi.org/10.1016/j.neuron.2006.12.022__Neuron. Elsevier, 2007.https://doi.org/10.1016/j.neuron.2006.12.022 .
LibreCat: https://research-explorer.ista.ac.at/record/7705
DOI: 10.1016/j.neuron.2006.12.022

Komiyama, Takaki, Lora B. Sweeney, Oren Schuldiner, K. Christopher Garcia, and Liqun Luo. “Graded Expression of Semaphorin-1a Cell-Autonomously Directs Dendritic Targeting of Olfactory Projection Neurons.”https://doi.org/10.1016/j.cell.2006.12.028__Cell. Elsevier, 2007.https://doi.org/10.1016/j.cell.2006.12.028 .
LibreCat: https://research-explorer.ista.ac.at/record/7704
DOI: 10.1016/j.cell.2006.12.028

Kraemer, Tobias, Michael Mark, Philipp Waldburger, Johann G Danzl, Cheng Chin, Bastian Engeser, Adam Lange, et al. “Evidence for Efimov Quantum States in an Ultracold Gas of Caesium Atoms.”https://doi.org/10.1038/nature04626__Nature. Nature Publishing Group, 2006.https://doi.org/10.1038/nature04626 .
LibreCat: https://research-explorer.ista.ac.at/record/1033
DOI: 10.1038/nature04626

Nägerl, Hanns, Tobias Kraemer, Michael Mark, Philipp Waldburger, Johann G Danzl, Bastian Engeser, Adam Lange, et al. “Experimental Evidence for Efimov Quantum States,”https://doi.org/10.1063/1.2400657__869:269–77. AIP, 2006.https://doi.org/10.1063/1.2400657 .
LibreCat: https://research-explorer.ista.ac.at/record/1034
DOI: 10.1063/1.2400657

Harris, J. Robin, Geneviève Almouzni, Doris Kirschner, Daniela Dimitrova, Jeffrey A. Nickerson, Jean Underwood, Stefan Wagner, et al. “In Vitro Techniques.”https://doi.org/10.1002/0470033487.ch6__In Cell Biology Protocols, edited by Robin Harris, John Graham, and David Rickwood, 201–378. Chichester, UK: Wiley, 2006.https://doi.org/10.1002/0470033487.ch6 .
LibreCat: https://research-explorer.ista.ac.at/record/11119
DOI: 10.1002/0470033487.ch6

D’Angelo, M. A., and Martin Hetzer. “The Role of the Nuclear Envelope in Cellular Organization.”https://doi.org/10.1007/s00018-005-5361-3__Cellular and Molecular Life Sciences. Springer Nature, 2006.https://doi.org/10.1007/s00018-005-5361-3 .
LibreCat: https://research-explorer.ista.ac.at/record/11117
DOI: 10.1007/s00018-005-5361-3
PMID: 16389459

D’Angelo, Maximiliano A., Daniel J. Anderson, Erin Richard, and Martin Hetzer. “Nuclear Pores Form de Novo from Both Sides of the Nuclear Envelope.”https://doi.org/10.1126/science.1124196__Science. American Association for the Advancement of Science, 2006.https://doi.org/10.1126/science.1124196 .
LibreCat: https://research-explorer.ista.ac.at/record/11118
DOI: 10.1126/science.1124196
PMID: 16627745

Henzinger, Monika H. “Finding Near-Duplicate Web Pages: A Large-Scale Evaluation of Algorithms.”https://doi.org/10.1145/1148170.1148222__In 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, 284–91. Association for Computing Machinery, 2006.https://doi.org/10.1145/1148170.1148222 .
LibreCat: https://research-explorer.ista.ac.at/record/11929
DOI: 10.1145/1148170.1148222

Hausel, Tamás. “Betti Numbers of Holomorphic Symplectic Quotients via Arithmetic Fourier Transform.”https://doi.org/10.1073/pnas.0601337103__PNAS. National Academy of Sciences, 2006.https://doi.org/10.1073/pnas.0601337103 .
LibreCat: https://research-explorer.ista.ac.at/record/1462
DOI: 10.1073/pnas.0601337103