Podelski, Andreas, and Thomas Wies. Counterexample-Guided Focus. ACM, 2010, pp. 249–60, doi:10.1145/1707801.1706330.
LibreCat: https://research-explorer.ista.ac.at/record/4364
DOI: 10.1145/1707801.1706330

Rfeidka, Kamil, et al. “Arabidopsis PI Encodes the ABC Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.”10.1073/pnas.1005878107__PNAS, vol. 107, no. 23, National Academy of Sciences, 2010, pp. 10749–53, doi:10.1073/pnas.1005878107.
LibreCat: https://research-explorer.ista.ac.at/record/3068
DOI: 10.1073/pnas.1005878107

Jelínková, Adriana, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?”10.1111/j.1365-313X.2009.04102.x__Plant Journal, vol. 61, no. 5, Wiley-Blackwell, 2010, pp. 883–92, doi:10.1111/j.1365-313X.2009.04102.x.
LibreCat: https://research-explorer.ista.ac.at/record/3067
DOI: 10.1111/j.1365-313X.2009.04102.x

dádníková, Petra, et al. “Role of PIN-Mediated Auxin Efflux in Apical Hook Development of Arabidopsis Thaliana.”10.1242/dev.041277__Development, vol. 137, no. 4, Company of Biologists, 2010, pp. 607–17, doi:10.1242/dev.041277.
LibreCat: https://research-explorer.ista.ac.at/record/3065
DOI: 10.1242/dev.041277

Zhang, Jing, et al. “PIN Phosphorylation Is Sufficient to Mediate PIN Polarity and Direct Auxin Transport.”10.1073/pnas.0909460107__PNAS, vol. 107, no. 2, National Academy of Sciences, 2010, pp. 918–22, doi:10.1073/pnas.0909460107.
LibreCat: https://research-explorer.ista.ac.at/record/3064
DOI: 10.1073/pnas.0909460107

angowski, ukasz, et al. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.”10.1016/j.cub.2010.03.059__Current Biology, vol. 20, no. 10, Cell Press, 2010, pp. 904–08, doi:10.1016/j.cub.2010.03.059.
LibreCat: https://research-explorer.ista.ac.at/record/3066
DOI: 10.1016/j.cub.2010.03.059

Nawy, Tal, et al. “The GATA Factor HANABA TARANU Is Required to Position the Proembryo Boundary in the Early Arabidopsis Embryo.”10.1016/j.devcel.2010.06.004__Developmental Cell, vol. 19, no. 1, Cell Press, 2010, pp. 103–13, doi:10.1016/j.devcel.2010.06.004.
LibreCat: https://research-explorer.ista.ac.at/record/3070
DOI: 10.1016/j.devcel.2010.06.004

Ding, Zhaojun, and Jií Friml. “Auxin Regulates Distal Stem Cell Differentiation in Arabidopsis Roots.”10.1073/pnas.1000672107__PNAS, vol. 107, no. 26, National Academy of Sciences, 2010, pp. 12046–51, doi:10.1073/pnas.1000672107.
LibreCat: https://research-explorer.ista.ac.at/record/3069
DOI: 10.1073/pnas.1000672107

Friml, Jií. “Subcellular Trafficking of PIN Auxin Efflux Carriers in Auxin Transport.”10.1016/j.ejcb.2009.11.003__European Journal of Cell Biology, vol. 89, no. 2–3, Elsevier, 2010, pp. 231–35, doi:10.1016/j.ejcb.2009.11.003.
LibreCat: https://research-explorer.ista.ac.at/record/3063
DOI: 10.1016/j.ejcb.2009.11.003

Naramoto, Satoshi, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.”10.1073/pnas.1016260107__PNAS, vol. 107, no. 50, National Academy of Sciences, 2010, pp. 21890–95, doi:10.1073/pnas.1016260107.
LibreCat: https://research-explorer.ista.ac.at/record/3081
DOI: 10.1073/pnas.1016260107

Kleine Vehn, Jürgen, et al. “Gravity Induced PIN Transcytosis for Polarization of Auxin Fluxes in Gravity Sensing Root Cells.”10.1073/pnas.1013145107__PNAS, vol. 107, no. 51, National Academy of Sciences, 2010, pp. 22344–49, doi:10.1073/pnas.1013145107.
LibreCat: https://research-explorer.ista.ac.at/record/3080
DOI: 10.1073/pnas.1013145107

Siekhaus, Daria E., et al. “RhoL Controls Invasion and Ra Localization during Immune Cell Transmigration in Drosophila.” Nature Cell Biology, vol. 12, no. 6, Nature Publishing Group, 2010, pp. 605–10.
LibreCat: https://research-explorer.ista.ac.at/record/3153

Vicente, Sara, et al. Cosegmentation Revisited: Models and Optimization. Vol. 6312, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-15552-9_34.
LibreCat: https://research-explorer.ista.ac.at/record/3201
DOI: 10.1007/978-3-642-15552-9_34

Kiltz, Eike, and Krzysztof Z. Pietrzak. Leakage Resilient ElGamal Encryption. Vol. 6477, Springer, 2010, pp. 595–612, doi:10.1007/978-3-642-17373-8_34.
LibreCat: https://research-explorer.ista.ac.at/record/3237
DOI: 10.1007/978-3-642-17373-8_34

Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks. Vol. 6223, Springer, 2010, pp. 21–40, doi:10.1007/978-3-642-14623-7_2.
LibreCat: https://research-explorer.ista.ac.at/record/3235
DOI: 10.1007/978-3-642-14623-7_2

Faust, Sebastian, et al. Leakage Resilient Signatures. Vol. 5978, Springer, 2010, pp. 343–60, doi:10.1007/978-3-642-11799-2_21.
LibreCat: https://research-explorer.ista.ac.at/record/3234
DOI: 10.1007/978-3-642-11799-2_21

Håstad, Johan, et al. An Efficient Parallel Repetition Theorem. Vol. 5978, Springer, 2010, pp. 1–18, doi:10.1007/978-3-642-11799-2_1.
LibreCat: https://research-explorer.ista.ac.at/record/3233
DOI: 10.1007/978-3-642-11799-2_1

Kolmogorov, Vladimir. Generalized Roof Duality and Bisubmodular Functions. Neural Information Processing Systems, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/2934

Iyengar, Atulya, et al. “Post Eclosion Odor Experience Modifies Olfactory Receptor Neuron Coding in Drosophila.”10.1073/pnas.1003856107__PNAS, vol. 107, no. 21, National Academy of Sciences, 2010, pp. 9855–60, doi:10.1073/pnas.1003856107.
LibreCat: https://research-explorer.ista.ac.at/record/3294
DOI: 10.1073/pnas.1003856107

Wojtan, Chris. Animating Physical Phenomena with Embedded Surface Meshes. Georgia Institute of Technology, 2010, pp. 1–175.
LibreCat: https://research-explorer.ista.ac.at/record/3296

Evans, Steven, et al. “Commuting Birth and Death Processes.”10.1214/09-AAP615__The Annals of Applied Probability, vol. 20, Institute of Mathematical Statistics, 2010, pp. 238–66, doi:10.1214/09-AAP615.
LibreCat: https://research-explorer.ista.ac.at/record/3306
DOI: 10.1214/09-AAP615

Sturmfels, Bernd, and Caroline Uhler. “Multivariate Gaussians, Semidefinite Matrix Completion, and Convex Algebraic Geometry.”10.1007/s10463-010-0295-4__Annals of the Institute of Statistical Mathematics, vol. 62, no. 4, Springer, 2010, pp. 603–38, doi:10.1007/s10463-010-0295-4.
LibreCat: https://research-explorer.ista.ac.at/record/3308
DOI: 10.1007/s10463-010-0295-4

Guerraoui, Rachid, et al. “Model Checking Transactional Memories.”10.1007/s00446-009-0092-6__Distributed Computing, vol. 22, no. 3, Springer, 2010, pp. 129–45, doi:10.1007/s00446-009-0092-6.
LibreCat: https://research-explorer.ista.ac.at/record/3402
DOI: 10.1007/s00446-009-0092-6

Pleydell Bouverie, Barty, and Jozsef L. Csicsvari. “Rate Remapping: When the Code Goes beyond Space (Preview).”10.1016/j.neuron.2010.12.011__Neuron, vol. 68, no. 6, Elsevier, 2010, pp. 1015–16, doi:10.1016/j.neuron.2010.12.011.
LibreCat: https://research-explorer.ista.ac.at/record/3403
DOI: 10.1016/j.neuron.2010.12.011

Tkadik, Gasper. Lecture Notes for 2010 Summer School on Quantitative Evolutionary and Comparative Genomics. Elsevier, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3430

Sabeti Aschraf, M., et al. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.”10.1007/s00167-010-1227-9__Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12, Springer, 2010, pp. 1792–94, doi:10.1007/s00167-010-1227-9.
LibreCat: https://research-explorer.ista.ac.at/record/3498
DOI: 10.1007/s00167-010-1227-9

Carvalho, Lara, and Carl-Philipp J. Heisenberg. “Imaging Zebrafish Embryos by Two-Photon Excitation Time-Lapse Microscopy.”10.1007/978-1-60327-977-2_17__Methods in Molecular Biology, vol. 546, no. Part 5, Springer, 2010, pp. 273–87, doi:10.1007/978-1-60327-977-2_17.
LibreCat: https://research-explorer.ista.ac.at/record/3592
DOI: 10.1007/978-1-60327-977-2_17

Wanke, Jörn, et al. Topic Models for Semantic Video Compression. ACM, 2010, pp. 275–84, doi:10.1145/1743384.1743433.
LibreCat: https://research-explorer.ista.ac.at/record/3676
DOI: 10.1145/1743384.1743433

Tuytelaars, Tinne, et al. “Unsupervised Object Discovery: A Comparison.”10.1007/s11263-009-0271-8__International Journal of Computer Vision, vol. 88, no. 2, Springer, 2010, pp. 284–302, doi:10.1007/s11263-009-0271-8.
LibreCat: https://research-explorer.ista.ac.at/record/3697
DOI: 10.1007/s11263-009-0271-8

Lampert, Christoph. An Efficient Divide-and-Conquer Cascade for Nonlinear Object Detection. IEEE, 2010, pp. 1022–29, doi:10.1109/CVPR.2010.5540107.
LibreCat: https://research-explorer.ista.ac.at/record/3713
DOI: 10.1109/CVPR.2010.5540107

Tkadik, Gasper. “From Statistical Mechanics to Information Theory: Understanding Biophysical Information-Processing Systems.” ArXiv, vol. q-MN, ArXiv, 2010, pp. 1–52.
LibreCat: https://research-explorer.ista.ac.at/record/3743

Kwatra, Nipun, et al. “Fluid Simulation with Articulated Bodies.”10.1109/TVCG.2009.66__IEEE Transactions on Visualization and Computer Graphics, vol. 16, no. 1, IEEE, 2010, pp. 70–80, doi:10.1109/TVCG.2009.66.
LibreCat: https://research-explorer.ista.ac.at/record/3761
DOI: 10.1109/TVCG.2009.66

Wojtan, Chris, et al. “Physics-Inspired Topology Changes for Thin Fluid Features.”10.1145/1778765.1778787__ACM Transactions on Graphics, vol. 29, no. 4, ACM, 2010, doi:10.1145/1778765.1778787.
LibreCat: https://research-explorer.ista.ac.at/record/3759
DOI: 10.1145/1778765.1778787

Barton, Nicholas H. “Genetic Linkage and Natural Selection.”10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552, Royal Society, 2010, pp. 2559–69, doi:10.1098/rstb.2010.0106.
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 10.1098/rstb.2010.0106

Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?”10.1098/rstb.2010.0001__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi:10.1098/rstb.2010.0001.
LibreCat: https://research-explorer.ista.ac.at/record/3773
DOI: 10.1098/rstb.2010.0001
PMID: 20439284

Barton, Nicholas H. “Mutation and the Evolution of Recombination.”10.1098/rstb.2009.0320__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, Royal Society, 2010, pp. 1281–94, doi:10.1098/rstb.2009.0320.
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104

Senn, Helen, et al. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).”10.1111/j.1365-2656.2009.01633.x__Journal of Animal Ecology, vol. 79, no. 2, Wiley-Blackwell, 2010, pp. 414–25, doi:10.1111/j.1365-2656.2009.01633.x.
LibreCat: https://research-explorer.ista.ac.at/record/3774
DOI: 10.1111/j.1365-2656.2009.01633.x
PMID: 20002231

Barton, Nicholas H. “Understanding Adaptation in Large Populations.”10.1371/journal.pgen.1000987__PLoS Genetics, vol. 6, no. 6, e1000987, Public Library of Science, 2010, doi:10.1371/journal.pgen.1000987.
LibreCat: https://research-explorer.ista.ac.at/record/3772
DOI: 10.1371/journal.pgen.1000987

Diz Muñoz, Alba, et al. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.”10.1371/journal.pbio.1000544__PLoS Biology, vol. 8, no. 11, e1000544, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000544.
LibreCat: https://research-explorer.ista.ac.at/record/3790
DOI: 10.1371/journal.pbio.1000544

Nowozin, Sebastian, et al. On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation. Vol. 6316, Springer, 2010, pp. 98–111, doi:10.1007/978-3-642-15567-3_8.
LibreCat: https://research-explorer.ista.ac.at/record/3793
DOI: 10.1007/978-3-642-15567-3_8

Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.”10.1016/j.cub.2010.10.009__Current Biology, vol. 20, no. 21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
LibreCat: https://research-explorer.ista.ac.at/record/3789
DOI: 10.1016/j.cub.2010.10.009

Palero, Ferran, et al. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.”10.3989/scimar.2010.74n3465__Scientia Marina, vol. 74, no. 3, Consejo Superior de Investigaciones Científicas, 2010, pp. 465–70, doi:10.3989/scimar.2010.74n3465.
LibreCat: https://research-explorer.ista.ac.at/record/3787
DOI: 10.3989/scimar.2010.74n3465

Klopper, Abigail, et al. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.”10.1140/epje/i2010-10642-y__The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, Springer, 2010, pp. 99–103, doi:10.1140/epje/i2010-10642-y.
LibreCat: https://research-explorer.ista.ac.at/record/3788
DOI: 10.1140/epje/i2010-10642-y

Palero, Ferran, et al. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.”10.11646/zootaxa.2403.1.4__Zootaxa, vol. 2403, no. 1, Magnolia Press, 2010, pp. 42–58, doi:10.11646/zootaxa.2403.1.4.
LibreCat: https://research-explorer.ista.ac.at/record/3786
DOI: 10.11646/zootaxa.2403.1.4

Carvalho, Lara, and Carl-Philipp J. Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.”10.1016/j.tcb.2010.06.009__Trends in Cell Biology, vol. 20, no. 10, Cell Press, 2010, pp. 586–92, doi:10.1016/j.tcb.2010.06.009.
LibreCat: https://research-explorer.ista.ac.at/record/3792
DOI: 10.1016/j.tcb.2010.06.009

Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.”10.1186/1752-0509-4-42__BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi:10.1186/1752-0509-4-42.
LibreCat: https://research-explorer.ista.ac.at/record/3834
DOI: 10.1186/1752-0509-4-42

Henzinger, Thomas A. From Boolean to Quantitative Notions of Correctness. Vol. 45, no. 1, ACM, 2010, pp. 157–58, doi:10.1145/1706299.1706319.
LibreCat: https://research-explorer.ista.ac.at/record/3840
DOI: 10.1145/1706299.1706319

Henzinger, Thomas A., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi:10.1007/978-3-642-11319-2_14.
LibreCat: https://research-explorer.ista.ac.at/record/3839
DOI: 10.1007/978-3-642-11319-2_14

Henzinger, Thomas A., et al. Hybrid Numerical Solution of the Chemical Master Equation. Springer, 2010, pp. 55–65, doi:10.1145/1839764.1839772.
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 10.1145/1839764.1839772

Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
LibreCat: https://research-explorer.ista.ac.at/record/3853
DOI: 10.1007/978-3-642-15375-4_19

Bendich, Paul, et al. Persistent Homology under Non-Uniform Error. Vol. 6281, Springer, 2010, pp. 12–23, doi:10.1007/978-3-642-15155-2_2.
LibreCat: https://research-explorer.ista.ac.at/record/3849
DOI: 10.1007/978-3-642-15155-2_2

Chatterjee, Krishnendu, et al. Obliging Games. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 284–96, doi:10.1007/978-3-642-15375-4_20.
LibreCat: https://research-explorer.ista.ac.at/record/3854
DOI: 10.1007/978-3-642-15375-4_20

Chatterjee, Krishnendu, and Laurent Doyen. Energy Parity Games. Vol. 6199, Springer, 2010, pp. 599–610, doi:10.1007/978-3-642-14162-1_50.
LibreCat: https://research-explorer.ista.ac.at/record/3851
DOI: 10.1007/978-3-642-14162-1_50
arXiv: 1001.5183

Alpichshev, Zhanybek, et al. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.”10.1103/PhysRevLett.104.016401__Physical Review Letters, vol. 104, no. 1, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.016401.
LibreCat: https://research-explorer.ista.ac.at/record/385
DOI: 10.1103/PhysRevLett.104.016401

Berberich, Eric, et al. Polygonal Reconstruction from Approximate Offsets. TU Dortmund, 2010, pp. 12–23.
LibreCat: https://research-explorer.ista.ac.at/record/3850

Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 10.4230/LIPIcs.FSTTCS.2010.505

Chatterjee, Krishnendu, et al. “Quantitative Languages.”10.1145/1805950.1805953__ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, 23, ACM, 2010, doi:10.1145/1805950.1805953.
LibreCat: https://research-explorer.ista.ac.at/record/3862
DOI: 10.1145/1805950.1805953

Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
LibreCat: https://research-explorer.ista.ac.at/record/3864
DOI: 10.1007/978-3-642-14295-6_34

Chatterjee, Krishnendu, et al. Analyzing the Impact of Change in Multi-Threaded Programs. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 293–307, doi:10.1007/978-3-642-12029-9_21.
LibreCat: https://research-explorer.ista.ac.at/record/3865
DOI: 10.1007/978-3-642-12029-9_21

Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.”10.1016/j.ic.2009.09.006__Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
LibreCat: https://research-explorer.ista.ac.at/record/3863
DOI: 10.1016/j.ic.2009.09.006

Chatterjee, Krishnendu, et al. “Strategy Logic.”10.1016/j.ic.2009.07.004__Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
LibreCat: https://research-explorer.ista.ac.at/record/3861
DOI: 10.1016/j.ic.2009.07.004

Bendich, Paul, et al. “Computing Robustness and Persistence for Images.”10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, IEEE, 2010, pp. 1251–60, doi:10.1109/TVCG.2010.139.
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 10.1109/TVCG.2010.139

Ugelvig, Line V., et al. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.”10.1098/rspb.2010.0644__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695, Royal Society, The, 2010, pp. 2821–28, doi:10.1098/rspb.2010.0644.
LibreCat: https://research-explorer.ista.ac.at/record/3904
DOI: 10.1098/rspb.2010.0644

Nourshargh, Sussan, et al. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.”10.1038/nrm2889__Nature Reviews Molecular Cell Biology, vol. 11, no. 5, Nature Publishing Group, 2010, pp. 366–78, doi:10.1038/nrm2889.
LibreCat: https://research-explorer.ista.ac.at/record/3956
DOI: 10.1038/nrm2889

Papusheva, Ekaterina, and Carl-Philipp J. Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.”10.1038/emboj.2010.182__EMBO Journal, vol. 29, no. 16, Wiley-Blackwell, 2010, pp. 2753–68, doi:10.1038/emboj.2010.182.
LibreCat: https://research-explorer.ista.ac.at/record/4157
DOI: 10.1038/emboj.2010.182
PMID: 20717145

Kardash, Elena, et al. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.”10.1038/ncb2003__Nature Cell Biology, vol. 12, no. 1, Nature Publishing Group, 2010, pp. 47–53, doi:10.1038/ncb2003.
LibreCat: https://research-explorer.ista.ac.at/record/4187
DOI: 10.1038/ncb2003

Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.”10.1016/j.cub.2009.11.036__Current Biology, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:10.1016/j.cub.2009.11.036.
LibreCat: https://research-explorer.ista.ac.at/record/4221
DOI: 10.1016/j.cub.2009.11.036

Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.”10.1515/9783110232103__Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, De Gruyter, 2010, pp. 5–20, doi:10.1515/9783110232103.
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

Guinane, Caitriona, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.”10.1093/gbe/evq031__Genome Biology and Evolution, vol. 2, Oxford University Press, 2010, pp. 454–66, doi:10.1093/gbe/evq031.
LibreCat: https://research-explorer.ista.ac.at/record/4358
DOI: 10.1093/gbe/evq031

Singh, Vasu. Runtime Verification for Software Transactional Memories. Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:10.1007/978-3-642-16612-9_32.
LibreCat: https://research-explorer.ista.ac.at/record/4362
DOI: 10.1007/978-3-642-16612-9_32

Kuncak, Viktor, et al. Building a Calculus of Data Structures. Edited by Gilles Barthe and Manuel Hermenegildo, vol. 5944, Springer, 2010, pp. 26–44, doi:10.1007/978-3-642-11319-2_6.
LibreCat: https://research-explorer.ista.ac.at/record/4378
DOI: 10.1007/978-3-642-11319-2_6

Jones, Kevin, et al. “Analog Property Checkers: A DD Case Study.”10.1007/s10703-009-0085-x__Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
LibreCat: https://research-explorer.ista.ac.at/record/4379
DOI: 10.1007/s10703-009-0085-x

Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71.
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71

Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
LibreCat: https://research-explorer.ista.ac.at/record/4382
DOI: 10.1145/1810479.1810529

Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
LibreCat: https://research-explorer.ista.ac.at/record/4380
DOI: 10.1145/1879021.1879022

Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 10.1109/ACSD.2010.26

Cerny, Pavol, et al. “Quantitative Simulation Games.”10.1007/978-3-642-13754-9_3__Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.
LibreCat: https://research-explorer.ista.ac.at/record/4392
DOI: 10.1007/978-3-642-13754-9_3

Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
LibreCat: https://research-explorer.ista.ac.at/record/4396
DOI: 10.1007/978-3-642-12029-9_19

Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7.
LibreCat: https://research-explorer.ista.ac.at/record/4395
DOI: 10.1007/978-3-642-11970-5_7

Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.”10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
LibreCat: https://research-explorer.ista.ac.at/record/3867
DOI: 10.2168/LMCS-6(3:10)2010

Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”10.1111/j.1558-5646.2010.01019.x__Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
LibreCat: https://research-explorer.ista.ac.at/record/474
DOI: 10.1111/j.1558-5646.2010.01019.x

Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies? .”10.4204/EPTCS.25.7__Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

Hoenicke, Jochen, et al. “Doomed Program Points.”10.1007/s10703-010-0102-0__Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
LibreCat: https://research-explorer.ista.ac.at/record/4393
DOI: 10.1007/978-3-642-15375-4_18

Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. Vol. 6174, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-14295-6_41.
LibreCat: https://research-explorer.ista.ac.at/record/4390
DOI: 10.1007/978-3-642-14295-6_41

Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001

Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
LibreCat: https://research-explorer.ista.ac.at/record/5390
DOI: 10.15479/AT:IST-2010-0002

Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
LibreCat: https://research-explorer.ista.ac.at/record/3857
DOI: 10.1007/978-3-642-15643-4_1

Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
LibreCat: https://research-explorer.ista.ac.at/record/3855
DOI: 10.1007/978-3-642-15155-2_24

Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.”10.1007/978-3-642-13675-7_1__Applications and Theory of Petri Nets, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:10.1007/978-3-642-13675-7_1.
LibreCat: https://research-explorer.ista.ac.at/record/5940
DOI: 10.1007/978-3-642-13675-7_1

Meyer, Krista, et al. “Activates Transcription by Directing Structural Shifts in Mediator.”10.1038/nsmb.1816__Nature Structural and Molecular Biology, vol. 17, no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.
LibreCat: https://research-explorer.ista.ac.at/record/598
DOI: 10.1038/nsmb.1816

Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.”10.1371/journal.pone.0013922__PLoS ONE, vol. 5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.
LibreCat: https://research-explorer.ista.ac.at/record/6142
DOI: 10.1371/journal.pone.0013922
PMID: 21085631

Zacharasiewicz, Waldemar, and Fritz Kirsch. “‘This Is a Fundamentalist Town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House.” Social and Cultural Interaction and Literary Landscapes in the Canadian Westf: Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian Westf: Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien, Facultas.WUV, 2010, pp. 173–79.
LibreCat: https://research-explorer.ista.ac.at/record/619

Zhou, L., et al. “Treatment of Cerebral Ischemia by Disrupting Ischemia-Induced Interaction of NNOS with PSD-95.”10.1038/nm.2245__Nature Medicine, vol. 16, no. 12, Nature Publishing Group, 2010, pp. 1439–43, doi:10.1038/nm.2245.
LibreCat: https://research-explorer.ista.ac.at/record/6198
DOI: 10.1038/nm.2245
PMID: 21102461

Bretèche, Régis de la, and Timothy D. Browning. “Le Problème Des Diviseurs Pour Des Formes Binaires de Degré 4.”10.1515/crelle.2010.064__Crelles Journal, vol. 2010, no. 646, Walter de Gruyter GmbH, 2010, pp. 1–44, doi:10.1515/crelle.2010.064.
LibreCat: https://research-explorer.ista.ac.at/record/6320
DOI: 10.1515/crelle.2010.064
arXiv: 0808.2340v2

Salje, E. K. H., et al. “Tin Telluride: A Weakly Co-Elastic Metal.”10.1103/physrevb.82.184112__Physical Review B, vol. 82, no. 18, 184112, APS, 2010, doi:10.1103/physrevb.82.184112.
LibreCat: https://research-explorer.ista.ac.at/record/7078
DOI: 10.1103/physrevb.82.184112
arXiv: 1011.1445