Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.”https://doi.org/10.1007/978-3-540-78127-1_26__In Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, 475–505. Springer, 2008.https://doi.org/10.1007/978-3-540-78127-1_26 .
LibreCat: https://research-explorer.ista.ac.at/record/4371
DOI: 10.1007/978-3-540-78127-1_26

Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,”https://doi.org/10.1007/978-3-540-70545-1_31__5123:314–27. Springer, 2008.https://doi.org/10.1007/978-3-540-70545-1_31 .
LibreCat: https://research-explorer.ista.ac.at/record/4366
DOI: 10.1007/978-3-540-70545-1_31

Swarup, Kamal, Eva Benková, Ranjan Swarup, Ilda Casimiro, Benjamin Péret, Yaodong Yang, Geraint Parry, et al. “The Auxin Influx Carrier LA Promotes Lateral Root Emergence.”https://doi.org/10.1038/ncb1754__Nature Cell Biology. Nature Publishing Group, 2008.https://doi.org/10.1038/ncb1754 .
LibreCat: https://research-explorer.ista.ac.at/record/3038
DOI: 10.1038/ncb1754

Dubrovsky, Joseph, Michael Sauer, Selene Napsucialy Mendivil, Maria Ivanchenko, Jií Friml, Svetlana Shishkova, John Celenza, and Eva Benková. “Auxin Acts as a Local Morphogenetic Trigger to Specify Lateral Root Founder Cells.”https://doi.org/10.1073/pnas.0712307105__PNAS. National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0712307105 .
LibreCat: https://research-explorer.ista.ac.at/record/3036
DOI: 10.1073/pnas.0712307105

Rfdková, Eva, Jií Friml, Petra Procházková Schrumpfová, and Jií Fajkus. “Role of Alternative Telomere Lengthening Unmasked in Telomerase Knock-out Mutant Plants.”https://doi.org/10.1007/s11103-008-9295-7__Plant Molecular Biology. Springer, 2008.https://doi.org/10.1007/s11103-008-9295-7 .
LibreCat: https://research-explorer.ista.ac.at/record/3030
DOI: 10.1007/s11103-008-9295-7

Kleine Vehn, Jürgen, Pankaj Dhonukshe, Michael Sauer, Philip Brewer, Justyna Wibniewska, Tomasz Paciorek, Eva Benková, and Jií Friml. “ARF GEF Dependent Transcytosis and Polar Delivery of PIN Auxin Carriers in Arabidopsis.”https://doi.org/10.1016/j.cub.2008.03.021__Current Biology. Cell Press, 2008.https://doi.org/10.1016/j.cub.2008.03.021 .
LibreCat: https://research-explorer.ista.ac.at/record/3032
DOI: 10.1016/j.cub.2008.03.021

Sauer, Michael, and Jií Friml. “In Vitro Culture of Arabidopsis Embryos .”https://doi.org/10.1007/978-1-59745-273-1_5__In Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, 427:71–76. Humana Press, 2008.https://doi.org/10.1007/978-1-59745-273-1_5 .
LibreCat: https://research-explorer.ista.ac.at/record/3035
DOI: 10.1007/978-1-59745-273-1_5

Sauer, Michael, and Jií Friml. “Visualization of Auxin Gradients in Embryogenesis .”https://doi.org/10.1007/978-1-59745-273-1_11__In Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, 427:137–44. Humana Press, 2008.https://doi.org/10.1007/978-1-59745-273-1_11 .
LibreCat: https://research-explorer.ista.ac.at/record/3033
DOI: 10.1007/978-1-59745-273-1_11

Feraru, Elena, and Jií Friml. “PIN Polar Targeting.”https://doi.org/10.1104/pp.108.121756__Plant Physiology. American Society of Plant Biologists, 2008.https://doi.org/10.1104/pp.108.121756 .
LibreCat: https://research-explorer.ista.ac.at/record/3037
DOI: 10.1104/pp.108.121756
PMID: 18678746

Friml, Jií, and Michael Sauer. “Plant Biology: In Their Neighbour’s Shadow.”https://doi.org/10.1038/453298a__Nature. Nature Publishing Group, 2008.https://doi.org/10.1038/453298a .
LibreCat: https://research-explorer.ista.ac.at/record/3034
DOI: 10.1038/453298a

Szeliski, Richard, Ramin Zabih, Daniel Scharstein, Olga Veksler, Vladimir Kolmogorov, Aseem Agarwala, Marshall Tappen, and Carsten Rother. “A Comparative Study of Energy Minimization Methods for Markov Random Fields with Smoothness-Based Priors.”https://doi.org/10.1109/TPAMI.2007.70844__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2008.https://doi.org/10.1109/TPAMI.2007.70844 .
LibreCat: https://research-explorer.ista.ac.at/record/3196
DOI: 10.1109/TPAMI.2007.70844

Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “Feature Correspondence via Graph Matching: Models and Global Optimization,”https://doi.org/10.1007/978-3-540-88688-4_44__5303:596–609. Springer, 2008.https://doi.org/10.1007/978-3-540-88688-4_44 .
LibreCat: https://research-explorer.ista.ac.at/record/3198
DOI: 10.1007/978-3-540-88688-4_44

Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Graph Cut Based Image Segmentation with Connectivity Priors.”https://doi.org/10.1109/CVPR.2008.4587440__IEEE, 2008.https://doi.org/10.1109/CVPR.2008.4587440 .
LibreCat: https://research-explorer.ista.ac.at/record/3195
DOI: 10.1109/CVPR.2008.4587440

Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Prashant Puniya. “A New Mode of Operation for Block Ciphers and Length Preserving MACs,”https://doi.org/10.1007/978-3-540-78967-3_12__4965:198–219. Springer, 2008.https://doi.org/10.1007/978-3-540-78967-3_12 .
LibreCat: https://research-explorer.ista.ac.at/record/3224
DOI: 10.1007/978-3-540-78967-3_12

Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi Property Combiners for Hash Functions Revisited,”https://doi.org/10.1007/978-3-540-70583-3_53__5126:655–66. Springer, 2008.https://doi.org/10.1007/978-3-540-70583-3_53 .
LibreCat: https://research-explorer.ista.ac.at/record/3225
DOI: 10.1007/978-3-540-70583-3_53

Schmalhorst, Philipp S, Sven Krappmann, Wouter Vervecken, Manfred Rohde, Meike Müller, Gerhard Braus, Roland Contreras, Armin Braun, Hans Bakker, and Françoise Routier. “Contribution of Galactofuranose to the Virulence of the Opportunistic Pathogen Aspergillus Fumigatus.”https://doi.org/10.1128/EC.00065-08__Eukaryotic Cell. American Society for Microbiology, 2008.https://doi.org/10.1128/EC.00065-08 .
LibreCat: https://research-explorer.ista.ac.at/record/3291
DOI: 10.1128/EC.00065-08

Green, Richard, Anna Malaspinas, Johannes Krause, Adrian Briggs, Philip Johnson, Caroline Uhler, Matthias Meyer, et al. “A Complete Neandertal Mitochondrial Genome Sequence Determined by Highhhroughput Sequencing.”https://doi.org/10.1016/j.cell.2008.06.021__Cell. Cell Press, 2008.https://doi.org/10.1016/j.cell.2008.06.021 .
LibreCat: https://research-explorer.ista.ac.at/record/3307
DOI: 10.1016/j.cell.2008.06.021

Bollback, Jonathan P, Thomas York, and Rasmus Nielsen. “Estimation of 2Nes From Temporal Allele Frequency Data.”https://doi.org/10.1534/genetics.107.085019__Genetics. Genetics Society of America, 2008.https://doi.org/10.1534/genetics.107.085019 .
LibreCat: https://research-explorer.ista.ac.at/record/3435
DOI: 10.1534/genetics.107.085019

Huxter, John, Timothy Senior, Kevin Allen, and Jozsef L Csicsvari. “Theta Phase-Specific Codes for Two-Dimensional Position, Trajectory and Heading in the Hippocampus.”https://doi.org/10.1038/nn.2106__Nature Neuroscience. Nature Publishing Group, 2008.https://doi.org/10.1038/nn.2106 .
LibreCat: https://research-explorer.ista.ac.at/record/3516
DOI: 10.1038/nn.2106

Fuentealba, Pablo, Rahima Begum, Marco Capogna, Shozo Jinno, Laszlo Marton, Jozsef L Csicsvari, Alex Thomson, Péter Somogyi, and Thomas Klausberger. “Ivy Cells: A Population of Nitric-Oxide-Producing, Slow-Spiking GABAergic Neurons and Their Involvement in Hippocampal Network Activity.”https://doi.org/10.1016/j.neuron.2008.01.034__Neuron. Elsevier, 2008.https://doi.org/10.1016/j.neuron.2008.01.034 .
LibreCat: https://research-explorer.ista.ac.at/record/3530
DOI: 10.1016/j.neuron.2008.01.034

Mallet, Nicolas, Alek Pogosyan, Andrew Sharott, Jozsef L Csicsvari, John Bolam, Peter Brown, and Peter Magill. “Disrupted Dopamine Transmission and the Emergence of Exaggerated Beta Oscillations in Subthalamic Nucleus and Cerebral Cortex.”https://doi.org/10.1523/JNEUROSCI.0123-08.2008__Journal of Neuroscience. Society for Neuroscience, 2008.https://doi.org/10.1523/JNEUROSCI.0123-08.2008 .
LibreCat: https://research-explorer.ista.ac.at/record/3544
DOI: 10.1523/JNEUROSCI.0123-08.2008

Biasotti, Silvia, Dominique Attali, Jean Boissonnat, Herbert Edelsbrunner, Gershon Elber, Michela Mortara, Gabriella Sanniti Di Baja, Michela Spagnuolo, Mirela Tanase, and Remco Veltkam. “Skeletal Structures.”https://doi.org/10.1007/978-3-540-33265-7_5__In Shape Analysis and Structuring, 145–83. Springer, 2008.https://doi.org/10.1007/978-3-540-33265-7_5 .
LibreCat: https://research-explorer.ista.ac.at/record/3577
DOI: 10.1007/978-3-540-33265-7_5

Ulrich, Florian, and Carl-Philipp J Heisenberg. “Probing E-Cadherin Endocytosis by Morpholino-Mediated Rab5 Knock-down in Zebrafish.”https://doi.org/10.1007/978-1-59745-178-9_27__Methods in Molecular Biology. Springer, 2008.https://doi.org/10.1007/978-1-59745-178-9_27 .
LibreCat: https://research-explorer.ista.ac.at/record/3591
DOI: 10.1007/978-1-59745-178-9_27

Yang, Erfu, Ahmet Erdogan, Tughrul Arslan, and Nicholas H Barton. “Adaptive Formation Control and Bio-Inspired Optimization of a Cluster-Based Satellite Wireless Sensor Network ,”https://doi.org/10.1109/AHS.2008.60__432–39. IEEE, 2008.https://doi.org/10.1109/AHS.2008.60 .
LibreCat: https://research-explorer.ista.ac.at/record/3599
DOI: 10.1109/AHS.2008.60

Blaschko, Matthew, Christoph Lampert, and Arthur Gretton. “Semi-Supervised Laplacian Regularization of Kernel Canonical Correlation Analysis,”https://doi.org/10.1007/978-3-540-87479-9_27__5211:133–45. Springer, 2008.https://doi.org/10.1007/978-3-540-87479-9_27 .
LibreCat: https://research-explorer.ista.ac.at/record/3698
DOI: 10.1007/978-3-540-87479-9_27

Goldstein, Markus, Christoph Lampert, Matthias Reif, Armin Stahl, and Thomas Breuel. “Bayes Optimal DDoS Mitigation by Adaptive History-Based IP Filtering,”https://doi.org/10.1109/ICN.2008.64__174–79. IEEE, 2008.https://doi.org/10.1109/ICN.2008.64 .
LibreCat: https://research-explorer.ista.ac.at/record/3694
DOI: 10.1109/ICN.2008.64

Lampert, Christoph, and Matthew Blaschko. “Joint Kernel Support Estimation for Structured Prediction,” 1–4. Curran Associates, Inc., 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3706

Blaschko, Matthew, and Christoph Lampert. “Correlational Spectral Clustering,”https://doi.org/10.1109/CVPR.2008.4587353__1–8. IEEE, 2008.https://doi.org/10.1109/CVPR.2008.4587353 .
LibreCat: https://research-explorer.ista.ac.at/record/3712
DOI: 10.1109/CVPR.2008.4587353

Engel, Andreas, Harald L Janovjak, Dimtrios Fotiadis, Alexej Kedrov, David Cisneros, and Daniel Mueller. “Single-Molecule Microscopy and Force Spectroscopy of Membrane Proteins.”https://doi.org/10.1007/978-3-540-73924-1_11__In Single Molecules and Nanotechnology, 12:279–311. Springer, 2008.https://doi.org/10.1007/978-3-540-73924-1_11 .
LibreCat: https://research-explorer.ista.ac.at/record/3726
DOI: 10.1007/978-3-540-73924-1_11

Tkadik, Gasper, Curtis Callan, and William Bialek. “Information Capacity of Genetic Regulatory Elements.”https://doi.org/10.1103/PhysRevE.78.011910__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2008.https://doi.org/10.1103/PhysRevE.78.011910 .
LibreCat: https://research-explorer.ista.ac.at/record/3739
DOI: 10.1103/PhysRevE.78.011910

Tkadik, Gasper, Curtis Callan, and William Bialek. “Information Flow and Optimization in Transcriptional Regulation.”https://doi.org/10.1073/pnas.0806077105__PNAS. National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0806077105 .
LibreCat: https://research-explorer.ista.ac.at/record/3740
DOI: 10.1073/pnas.0806077105

Tkadik, Gasper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential Reverse-Correlation Method.”https://doi.org/10.1016/j.biosystems.2008.04.011__Biosystems. Elsevier, 2008.https://doi.org/10.1016/j.biosystems.2008.04.011 .
LibreCat: https://research-explorer.ista.ac.at/record/3744
DOI: 10.1016/j.biosystems.2008.04.011

Wojtan, Chris, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.”https://doi.org/10.1145/1360612.1360646__ACM Transactions on Graphics. ACM, 2008.https://doi.org/10.1145/1360612.1360646 .
LibreCat: https://research-explorer.ista.ac.at/record/3760
DOI: 10.1145/1360612.1360646

Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.”https://doi.org/10.1113/jphysiol.2007.147298__Journal of Physiology. Wiley-Blackwell, 2008.https://doi.org/10.1113/jphysiol.2007.147298 .
LibreCat: https://research-explorer.ista.ac.at/record/3825
DOI: 10.1113/jphysiol.2007.147298

Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.”https://doi.org/10.1113/jphysiol.2007.150151 __Journal of Physiology. Wiley-Blackwell, 2008.https://doi.org/10.1113/jphysiol.2007.150151  .
LibreCat: https://research-explorer.ista.ac.at/record/3822
DOI: 10.1113/jphysiol.2007.150151 

Bucurenciu, Iancu, Ákos Kulik, Beat Schwaller, Michael Frotscher, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and C+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.”https://doi.org/10.1016/j.neuron.2007.12.026__Neuron. Elsevier, 2008.https://doi.org/10.1016/j.neuron.2007.12.026 .
LibreCat: https://research-explorer.ista.ac.at/record/3824
DOI: 10.1016/j.neuron.2007.12.026

Kerr, Angharad, and Peter M Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).”https://doi.org/10.1016/j.neuron.2007.12.015__Neuron. Elsevier, 2008.https://doi.org/10.1016/j.neuron.2007.12.015 .
LibreCat: https://research-explorer.ista.ac.at/record/3823
DOI: 10.1016/j.neuron.2007.12.015

Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information,”https://doi.org/10.1007/978-3-540-85361-9__5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9 .
LibreCat: https://research-explorer.ista.ac.at/record/3880
DOI: 10.1007/978-3-540-85361-9

Ugelvig, Line V, Falko Drijfhout, Daniel Kronauer, Jacobus Boomsma, Jes Pedersen, and Sylvia Cremer. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.”https://doi.org/10.1186/1741-7007-6-11__BMC Biology. BioMed Central, 2008.https://doi.org/10.1186/1741-7007-6-11 .
LibreCat: https://research-explorer.ista.ac.at/record/3903
DOI: 10.1186/1741-7007-6-11

Cremer, Sylvia, Patrizia D’Ettorre, Falko Drijfhout, Matthew Sledge, Stefano Turillazzi, and Jürgen Heinze. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.”https://doi.org/10.1007/s00114-008-0430-8__Naturwissenschaften. Springer, 2008.https://doi.org/10.1007/s00114-008-0430-8 .
LibreCat: https://research-explorer.ista.ac.at/record/3905
DOI: 10.1007/s00114-008-0430-8

Suefuji, Masaki, Sylvia Cremer, Jan Oettler, and Jürgen Heinze. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.”https://doi.org/10.1098/rsbl.2008.0355__Biology Letters. Royal Society, The, 2008.https://doi.org/10.1098/rsbl.2008.0355 .
LibreCat: https://research-explorer.ista.ac.at/record/3907
DOI: 10.1098/rsbl.2008.0355

Cremer, Sylvia, Line V Ugelvig, Falko Drijfhout, Birgit Schlick Steiner, Florian Steiner, Bernhard Seifert, David Hughes, et al. “The Evolution of Invasiveness in Garden Ants.”https://doi.org/10.1371/journal.pone.0003838__PLoS One. Public Library of Science, 2008.https://doi.org/10.1371/journal.pone.0003838 .
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

Lämmermann, Tim, and Michael K Sixt. “The Microanatomy of T-Cell Responses.”https://doi.org/10.1111/j.1600-065X.2008.00592.x__Immunological Reviews. Wiley-Blackwell, 2008.https://doi.org/10.1111/j.1600-065X.2008.00592.x .
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

Lokmic, Zerina, Tim Lämmermann, Michael K Sixt, Susanna Cardell, Rupert Hallmann, and Lydia Sorokin. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.”https://doi.org/10.1016/j.smim.2007.12.009__Seminars in Immunology. Academic Press, 2008.https://doi.org/10.1016/j.smim.2007.12.009 .
LibreCat: https://research-explorer.ista.ac.at/record/3940
DOI: 10.1016/j.smim.2007.12.009

Dequéant, Mary, Sebastian Ahnert, Herbert Edelsbrunner, Thomas Fink, Earl Glynn, Gaye Hattem, Andrzej Kudlicki, et al. “Comparison of Pattern Detection Methods in Microarray Time Series of the Segmentation Clock.”https://doi.org/10.1371/journal.pone.0002856__PLoS One. Public Library of Science, 2008.https://doi.org/10.1371/journal.pone.0002856 .
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

Edelsbrunner, Herbert, John Harer, Ajith Mascarenhas, Valerio Pascucci, and Jack Snoeyink. “Time-Varying Reeb Graphs for Continuous Space-Time Data.”https://doi.org/10.1016/j.comgeo.2007.11.001__Computational Geometry: Theory and Applications. Elsevier, 2008.https://doi.org/10.1016/j.comgeo.2007.11.001 .
LibreCat: https://research-explorer.ista.ac.at/record/3971
DOI: 10.1016/j.comgeo.2007.11.001

Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” In Surveys on Discrete and Computational Geometry: Twenty Years Later, 257–82. American Mathematical Society, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3969

Vervenne, Hilke, Koen Crombez, Kathleen Lambaerts, Lara Carvalho, Mathias Köppen, Carl-Philipp J Heisenberg, Wim Van De Ven, and Marleen Petit. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.”https://doi.org/10.1016/j.ydbio.2008.05.529__Developmental Biology. Elsevier, 2008.https://doi.org/10.1016/j.ydbio.2008.05.529 .
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 10.1016/j.ydbio.2008.05.529

Oteíza, Pablo, Mathias Köppen, Miguel Concha, and Carl-Philipp J Heisenberg. “Origin and Shaping of the Laterality Organ in Zebrafish.”https://doi.org/10.1242/dev.022228__Development. Company of Biologists, 2008.https://doi.org/10.1242/dev.022228 .
LibreCat: https://research-explorer.ista.ac.at/record/4161
DOI: 10.1242/dev.022228

Kai, Masatake, Carl-Philipp J Heisenberg, and Masazumi Tada. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.”https://doi.org/10.1242/dev.020396__Development. Company of Biologists, 2008.https://doi.org/10.1242/dev.020396 .
LibreCat: https://research-explorer.ista.ac.at/record/4190
DOI: 10.1242/dev.020396

Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,”https://doi.org/10.1145/1375581.1375626__372–82. ACM, 2008.https://doi.org/10.1145/1375581.1375626 .
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,”https://doi.org/10.1007/978-3-540-87779-0_21__5218:305–19. Springer, 2008.https://doi.org/10.1007/978-3-540-87779-0_21 .
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,”https://doi.org/10.1007/978-3-540-85361-9_6__5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9_6 .
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4397

Aviv, Adam, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze. “Security Evaluation of ES&;amp;S Voting Machines and Election Management System.”https://doi.org/1545__USENIX, 2008.https://doi.org/1545 .
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4409

Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4415

Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,”https://doi.org/10.1007/978-3-540-89439-1_24__5330:333–42. Springer, 2008.https://doi.org/10.1007/978-3-540-89439-1_24 .
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.”https://doi.org/10.1098/rsta.2008.0141__Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008.https://doi.org/10.1098/rsta.2008.0141 .
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,”https://doi.org/10.1145/1328438.1328459__147–58. ACM, 2008.https://doi.org/10.1145/1328438.1328459 .
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,”https://doi.org/10.1007/978-3-540-68413-8_2__5054:17–32. Springer, 2008.https://doi.org/10.1007/978-3-540-68413-8_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.”https://doi.org/10.1142/S0129054108005814 __International Journal of Foundations of Computer Science. World Scientific Publishing, 2008.https://doi.org/10.1142/S0129054108005814  .
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,”https://doi.org/10.1145/1450058.1450070__79–88. ACM, 2008.https://doi.org/10.1145/1450058.1450070 .
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.”https://doi.org/10.1016/j.ipl.2007.08.035__Information Processing Letters. Elsevier, 2008.https://doi.org/10.1016/j.ipl.2007.08.035 .
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,”https://doi.org/10.1145/1403375.1403595__909–14. IEEE, 2008.https://doi.org/10.1145/1403375.1403595 .
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.”https://doi.org/10.1007/s00182-007-0110-5__International Journal of Game Theory. Springer, 2008.https://doi.org/10.1007/s00182-007-0110-5 .
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,”https://doi.org/10.1109/ASE.2008.13__29–38. ACM, 2008.https://doi.org/10.1109/ASE.2008.13 .
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.”https://doi.org/10.1126/science.1152697__Science. American Association for the Advancement of Science, 2008.https://doi.org/10.1126/science.1152697 .
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

Hosten, Onur, and Paul Kwiat. “Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations.” Optica Publishing Group, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

Bretscher, A. J., K. E. Busch, and Mario de Bono. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.”https://doi.org/10.1073/pnas.0707607105__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0707607105 .
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

Kammenga, Jan E., Patrick C. Phillips, Mario de Bono, and Agnieszka Doroszuk. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.”https://doi.org/10.1016/j.tig.2008.01.001__Trends in Genetics. Elsevier, 2008.https://doi.org/10.1016/j.tig.2008.01.001 .
LibreCat: https://research-explorer.ista.ac.at/record/6148
DOI: 10.1016/j.tig.2008.01.001
PMID: 18325626

Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”https://doi.org/10.1016/j.cub.2008.01.002__Current Biology. Elsevier, 2008.https://doi.org/10.1016/j.cub.2008.01.002 .
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

Freunberger, Stefan Alexander, Ingo A. Schneider, Pang-Chieh Sui, Alexander Wokaun, Nedjib Djilali, and Felix N. Buchi. “Cell Interaction Phenomena in Polymer Electrolyte Fuel Cell Stacks.”https://doi.org/10.1149/1.2913095__Journal of The Electrochemical Society. The Electrochemical Society, 2008.https://doi.org/10.1149/1.2913095 .
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

Flückiger, Reto, Stefan Alexander Freunberger, Denis Kramer, Alexander Wokaun, Günther G. Scherer, and Felix N. Büchi. “Anisotropic, Effective Diffusivity of Porous Gas Diffusion Layer Materials for PEFC.”https://doi.org/10.1016/j.electacta.2008.07.034__Electrochimica Acta. Elsevier, 2008.https://doi.org/10.1016/j.electacta.2008.07.034 .
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

Kramer, Denis, Stefan Alexander Freunberger, Reto Flückiger, Ingo A. Schneider, Alexander Wokaun, Felix N. Büchi, and Günther G. Scherer. “Electrochemical Diffusimetry of Fuel Cell Gas Diffusion Layers.”https://doi.org/10.1016/j.jelechem.2007.09.014__Journal of Electroanalytical Chemistry. Elsevier, 2008.https://doi.org/10.1016/j.jelechem.2007.09.014 .
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

Santis, Marco, Stefan Alexander Freunberger, Matthias Papra, and Felix N. Büchi. “Experimental Investigation of the Propagation of Local Current Density Variations to Adjacent Cells in PEFC Stacks.”https://doi.org/10.1115/fuelcell2005-74116__In 3rd International Conference on Fuel Cell Science, Engineering and Technology, 763–65. ASMEDC, 2008.https://doi.org/10.1115/fuelcell2005-74116 .
LibreCat: https://research-explorer.ista.ac.at/record/7425
DOI: 10.1115/fuelcell2005-74116

Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “How to Solve Consensus in the Smallest Window of Synchrony,”https://doi.org/10.1007/978-3-540-87779-0_3__5218 LNCS:32–46. Springer, 2008.https://doi.org/10.1007/978-3-540-87779-0_3 .
LibreCat: https://research-explorer.ista.ac.at/record/753
DOI: 10.1007/978-3-540-87779-0_3

Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske. E.B. Kruuk. “Environmental Heterogeneity Generates Fluctuating Selection on a Secondary Sexual Trait.”https://doi.org/10.1016/j.cub.2008.04.059__Current Biology. Elsevier, 2008.https://doi.org/10.1016/j.cub.2008.04.059 .
LibreCat: https://research-explorer.ista.ac.at/record/7752
DOI: 10.1016/j.cub.2008.04.059

Schmidt, Steffen, Anna Gerasimova, Fyodor Kondrashov, Ivan Adzuhbei, Alexey Kondrashov, and Shamil Sunyaev. “Hypermutable Non-Synonymous Sites Are under Stronger Negative Selection.”https://doi.org/10.1371/journal.pgen.1000281__PLoS Genetics. Public Library of Science, 2008.https://doi.org/10.1371/journal.pgen.1000281 .
LibreCat: https://research-explorer.ista.ac.at/record/844
DOI: 10.1371/journal.pgen.1000281

Bersch, Beate, Adrien Favier, Paul Schanda, Sébastien van Aelst, Tatiana Vallaeys, Jacques Covès, Max Mergeay, and Ruddy Wattiez. “Molecular Structure and Metal-Binding Properties of the Periplasmic CopK Protein Expressed in Cupriavidus Metallidurans C during Copper Challenge.”https://doi.org/10.1016/j.jmb.2008.05.017__Journal of Molecular Biology. Elsevier, 2008.https://doi.org/10.1016/j.jmb.2008.05.017 .
LibreCat: https://research-explorer.ista.ac.at/record/8481
DOI: 10.1016/j.jmb.2008.05.017

Schanda, Paul, Bernhard Brutscher, Robert Konrat, and Martin Tollinger. “Folding of the KIX Domain: Characterization of the Equilibrium Analog of a Folding Intermediate Using 15N/13C Relaxation Dispersion and Fast 1H/2H Amide Exchange NMR Spectroscopy.”https://doi.org/10.1016/j.jmb.2008.05.040__Journal of Molecular Biology. Elsevier, 2008.https://doi.org/10.1016/j.jmb.2008.05.040 .
LibreCat: https://research-explorer.ista.ac.at/record/8480
DOI: 10.1016/j.jmb.2008.05.040

Kern, Thomas, Paul Schanda, and Bernhard Brutscher. “Sensitivity-Enhanced IPAP-SOFAST-HMQC for Fast-Pulsing 2D NMR with Reduced Radiofrequency Load.”https://doi.org/10.1016/j.jmr.2007.11.015__Journal of Magnetic Resonance. Elsevier, 2008.https://doi.org/10.1016/j.jmr.2007.11.015 .
LibreCat: https://research-explorer.ista.ac.at/record/8482
DOI: 10.1016/j.jmr.2007.11.015

Zilberman, Daniel. “The Evolving Functions of DNA Methylation.”https://doi.org/10.1016/j.pbi.2008.07.004__Current Opinion in Plant Biology. Elsevier , 2008.https://doi.org/10.1016/j.pbi.2008.07.004 .
LibreCat: https://research-explorer.ista.ac.at/record/9537
DOI: 10.1016/j.pbi.2008.07.004
PMID: 18774331

Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.”https://doi.org/10.1007/s11232-008-0026-7__Theoretical and Mathematical Physics. Elsevier, 2008.https://doi.org/10.1007/s11232-008-0026-7 .
LibreCat: https://research-explorer.ista.ac.at/record/965
DOI: 10.1007/s11232-008-0026-7

Kaloshin, Vadim, and Mark Levi. “An Example of Arnold Diffusion for Near-Integrable Hamiltonians.”https://doi.org/10.1090/s0273-0979-08-01211-1__Bulletin of the American Mathematical Society. American Mathematical Society, 2008.https://doi.org/10.1090/s0273-0979-08-01211-1 .
LibreCat: https://research-explorer.ista.ac.at/record/8510
DOI: 10.1090/s0273-0979-08-01211-1

Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.”https://doi.org/10.1137/070703235__SIAM Review. Society for Industrial &; Applied Mathematics, 2008.https://doi.org/10.1137/070703235 .
LibreCat: https://research-explorer.ista.ac.at/record/8509
DOI: 10.1137/070703235

Donaldson, Zoe, Fyodor Kondrashov, Andrea Putnam, Yaohui Bai, Tara Stoinski, Elizabeth Hammock, and Larry Young. “Evolution of a Behavior-Linked Microsatellite-Containing Element in the 5 Flanking Region of the Primate AVPA Gene.”https://doi.org/10.1186/1471-2148-8-180__BMC Evolutionary Biology. BioMed Central, 2008.https://doi.org/10.1186/1471-2148-8-180 .
LibreCat: https://research-explorer.ista.ac.at/record/895
DOI: 10.1186/1471-2148-8-180

Assis, Raquel, Alexey Kondrashov, Eugene Koonin, and Fyodor Kondrashov. “Nested Genes and Increasing Organizational Complexity of Metazoan Genomes.”https://doi.org/10.1016/j.tig.2008.08.003__Trends in Genetics. Elsevier, 2008.https://doi.org/10.1016/j.tig.2008.08.003 .
LibreCat: https://research-explorer.ista.ac.at/record/907
DOI: 10.1016/j.tig.2008.08.003

Zilberman, Daniel, Devin Coleman-Derr, Tracy Ballinger, and Steven Henikoff. “Histone A.Z and DNA Methylation Are Mutually Antagonistic Chromatin Marks.”https://doi.org/10.1038/nature07324__Nature. Springer Nature, 2008.https://doi.org/10.1038/nature07324 .
LibreCat: https://research-explorer.ista.ac.at/record/9457
DOI: 10.1038/nature07324
PMID: 18815594

Klajn, Rafal, Timothy P. Gray, Paul J. Wesson, Benjamin D. Myers, Vinayak P. Dravid, Stoyan K. Smoukov, and Bartosz A. Grzybowski. “Bulk Synthesis and Surface Patterning of Nanoporous Metals and Alloys from Supraspherical Nanoparticle Aggregates.”https://doi.org/10.1002/adfm.200800293__Advanced Functional Materials. Wiley, 2008.https://doi.org/10.1002/adfm.200800293 .
LibreCat: https://research-explorer.ista.ac.at/record/13423
DOI: 10.1002/adfm.200800293

Wei, Yanhu, Rafal Klajn, Anatoliy O. Pinchuk, and Bartosz A. Grzybowski. “Synthesis, Shape Control, and Optical Properties of Hybrid Au/Fe3O4 ‘Nanoflowers.’”https://doi.org/10.1002/smll.200800511__Small. Wiley, 2008.https://doi.org/10.1002/smll.200800511 .
LibreCat: https://research-explorer.ista.ac.at/record/13422
DOI: 10.1002/smll.200800511
PMID: 18636405

Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.”https://doi.org/10.1017/S0016672308009683__Genetics Research. Cambridge University Press, 2008.https://doi.org/10.1017/S0016672308009683 .
LibreCat: https://research-explorer.ista.ac.at/record/517
DOI: 10.1017/S0016672308009683

Mark, Michael, Francesca Ferlaino, Steven Knoop, Johann G Danzl, Tobias Kraemer, Cheng Chin, Hanns Nägerl, and Rudolf Grimm. “Spectroscopy of Ultracold Trapped Cesium Feshbach Molecules.”https://doi.org/10.1103/PhysRevA.76.042514__Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2007.https://doi.org/10.1103/PhysRevA.76.042514 .
LibreCat: https://research-explorer.ista.ac.at/record/1035
DOI: 10.1103/PhysRevA.76.042514

Franz, Cerstin, Rudolf Walczak, Sevil Yavuz, Rachel Santarella, Marc Gentzel, Peter Askjaer, Vincent Galy, Martin Hetzer, Iain W Mattaj, and Wolfram Antonin. “MEL28/ELYS Is Required for the Recruitment of Nucleoporins to Chromatin and Postmitotic Nuclear Pore Complex Assembly.”https://doi.org/10.1038/sj.embor.7400889__EMBO Reports. EMBO, 2007.https://doi.org/10.1038/sj.embor.7400889 .
LibreCat: https://research-explorer.ista.ac.at/record/11116
DOI: 10.1038/sj.embor.7400889
PMID: 17235358

Anderson, Daniel J., and Martin Hetzer. “Nuclear Envelope Formation by Chromatin-Mediated Reorganization of the Endoplasmic Reticulum.”https://doi.org/10.1038/ncb1636__Nature Cell Biology. Springer Nature, 2007.https://doi.org/10.1038/ncb1636 .
LibreCat: https://research-explorer.ista.ac.at/record/11115
DOI: 10.1038/ncb1636
PMID: 17828249

Henzinger, Monika H. “Search Technologies for the Internet.”https://doi.org/10.1126/science.1126557__Science. American Association for the Advancement of Science, 2007.https://doi.org/10.1126/science.1126557 .
LibreCat: https://research-explorer.ista.ac.at/record/11884
DOI: 10.1126/science.1126557
PMID: 17656714

Henzinger, Monika H. “Combinatorial Algorithms for Web Search Engines: Three Success Stories.” In 18th Annual ACM-SIAM Symposium on Discrete Algorithms, 1022–26. Society for Industrial &; Applied Mathematics, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/11924

Carr, Adra, Yancey Serchest, Scott R Waitukaitis, John Perreault, Vincent Lonij, and Alexander Cronin. “Cover Slip External Cavity Diode Laser.”https://doi.org/10.1063/1.2801006__Review of Scientific Instruments. American Institute of Physics, 2007.https://doi.org/10.1063/1.2801006 .
LibreCat: https://research-explorer.ista.ac.at/record/128
DOI: 10.1063/1.2801006
arXiv: 0708.0014

Raghu, Shamprasad, Maximilian A Jösch, Alexander Borst, and Dierk Reiff. “Synaptic Organization of Lobula Plate Tangential Cells in Drosophila: ;3-Aminobutyric Acid Receptors and Chemical Release Sites.”https://doi.org/10.1002/cne.21319__Journal of Comparative Neurology. Wiley-Blackwell, 2007.https://doi.org/10.1002/cne.21319 .
LibreCat: https://research-explorer.ista.ac.at/record/1297
DOI: 10.1002/cne.21319