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

Rfeidka, Kamil, Lucia Strader, Aurélien Bailly, Haibing Yang, Joshua Blakeslee, ukasz angowski, Eliska Nejedlá, et al. “Arabidopsis PI Encodes the ABC Transporter of Auxinic Compounds Including the Auxin Precursor Indole 3 Butyric Acid.”https://doi.org/10.1073/pnas.1005878107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1005878107 .
LibreCat: https://research-explorer.ista.ac.at/record/3068
DOI: 10.1073/pnas.1005878107

Jelínková, Adriana, Kateina Malínská, Sibu Simon, Jürgen Kleine Vehn, Markéta Paezová, Pemysl Pejchar, Martin Kubes, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?”https://doi.org/10.1111/j.1365-313X.2009.04102.x__Plant Journal. Wiley-Blackwell, 2010.https://doi.org/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, Jan Petrásek, Peter Marhavý, Vered Raz, Filip Vandenbussche, Zhaojun Ding, Kateina Schwarzerová, et al. “Role of PIN-Mediated Auxin Efflux in Apical Hook Development of Arabidopsis Thaliana.”https://doi.org/10.1242/dev.041277__Development. Company of Biologists, 2010.https://doi.org/10.1242/dev.041277 .
LibreCat: https://research-explorer.ista.ac.at/record/3065
DOI: 10.1242/dev.041277

Zhang, Jing, Thomasz Nodzyski, Ales Pbndík, Jakub Roldík, and Jií Friml. “PIN Phosphorylation Is Sufficient to Mediate PIN Polarity and Direct Auxin Transport.”https://doi.org/10.1073/pnas.0909460107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.0909460107 .
LibreCat: https://research-explorer.ista.ac.at/record/3064
DOI: 10.1073/pnas.0909460107

angowski, ukasz, Kamil Rfeidka, Satoshi Naramoto, Jürgen Kleine Vehn, and Jií Friml. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.”https://doi.org/10.1016/j.cub.2010.03.059__Current Biology. Cell Press, 2010.https://doi.org/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, Martin Bayer, Jozef Mravec, Jií Friml, Kenneth Birnbaum, and Wolfgang Lukowitz. “The GATA Factor HANABA TARANU Is Required to Position the Proembryo Boundary in the Early Arabidopsis Embryo.”https://doi.org/10.1016/j.devcel.2010.06.004__Developmental Cell. Cell Press, 2010.https://doi.org/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.”https://doi.org/10.1073/pnas.1000672107__PNAS. National Academy of Sciences, 2010.https://doi.org/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.”https://doi.org/10.1016/j.ejcb.2009.11.003__European Journal of Cell Biology. Elsevier, 2010.https://doi.org/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, Jürgen Kleine Vehn, Stéphanie Robert, Masaru Fujimoto, Tomoko Dainobu, Tomasz Paciorek, Takashi Ueda, et al. “ADP Ribosylation Factor Machinery Mediates Endocytosis in Plant Cells.”https://doi.org/10.1073/pnas.1016260107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1016260107 .
LibreCat: https://research-explorer.ista.ac.at/record/3081
DOI: 10.1073/pnas.1016260107

Kleine Vehn, Jürgen, Zhaojun Ding, Angharad Jones, Masao Tasaka, Miyo Morita, and Jií Friml. “Gravity Induced PIN Transcytosis for Polarization of Auxin Fluxes in Gravity Sensing Root Cells.”https://doi.org/10.1073/pnas.1013145107__PNAS. National Academy of Sciences, 2010.https://doi.org/10.1073/pnas.1013145107 .
LibreCat: https://research-explorer.ista.ac.at/record/3080
DOI: 10.1073/pnas.1013145107

Siekhaus, Daria E, Martin Haesemeyer, Olivia Moffitt, and Ruth Lehmann. “RhoL Controls Invasion and Ra Localization during Immune Cell Transmigration in Drosophila.” Nature Cell Biology. Nature Publishing Group, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3153

Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Cosegmentation Revisited: Models and Optimization,”https://doi.org/10.1007/978-3-642-15552-9_34__6312:465–79. Springer, 2010.https://doi.org/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,”https://doi.org/10.1007/978-3-642-17373-8_34__6477:595–612. Springer, 2010.https://doi.org/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,”https://doi.org/10.1007/978-3-642-14623-7_2__6223:21–40. Springer, 2010.https://doi.org/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, Eike Kiltz, Krzysztof Z Pietrzak, and Guy Rothblum. “Leakage Resilient Signatures,”https://doi.org/10.1007/978-3-642-11799-2_21__5978:343–60. Springer, 2010.https://doi.org/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, Rafael Pass, Douglas Wikström, and Krzysztof Z Pietrzak. “An Efficient Parallel Repetition Theorem,”https://doi.org/10.1007/978-3-642-11799-2_1__5978:1–18. Springer, 2010.https://doi.org/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, Subhra Chakraborty Tuhin, Sarit Goswami, Chun Wu, and Obaid Siddiqi. “Post Eclosion Odor Experience Modifies Olfactory Receptor Neuron Coding in Drosophila.”https://doi.org/10.1073/pnas.1003856107__PNAS. National Academy of Sciences, 2010.https://doi.org/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.
LibreCat: https://research-explorer.ista.ac.at/record/3296

Evans, Steven, Bernd Sturmfels, and Caroline Uhler. “Commuting Birth and Death Processes.”https://doi.org/10.1214/09-AAP615__The Annals of Applied Probability. Institute of Mathematical Statistics, 2010.https://doi.org/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.”https://doi.org/10.1007/s10463-010-0295-4__Annals of the Institute of Statistical Mathematics. Springer, 2010.https://doi.org/10.1007/s10463-010-0295-4 .
LibreCat: https://research-explorer.ista.ac.at/record/3308
DOI: 10.1007/s10463-010-0295-4

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Model Checking Transactional Memories.”https://doi.org/10.1007/s00446-009-0092-6__Distributed Computing. Springer, 2010.https://doi.org/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).”https://doi.org/10.1016/j.neuron.2010.12.011__Neuron. Elsevier, 2010.https://doi.org/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., C. Gonano, E. Nemecek, Lisa Cichocki, and C. Schueller Weidekamm. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.”https://doi.org/10.1007/s00167-010-1227-9__Knee Surgery, Sports Traumatology, Arthroscopy. Springer, 2010.https://doi.org/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.”https://doi.org/10.1007/978-1-60327-977-2_17__Methods in Molecular Biology. Springer, 2010.https://doi.org/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, Adrian Ulges, Christoph Lampert, and Thomas Breuel. “Topic Models for Semantic Video Compression,”https://doi.org/10.1145/1743384.1743433__275–84. ACM, 2010.https://doi.org/10.1145/1743384.1743433 .
LibreCat: https://research-explorer.ista.ac.at/record/3676
DOI: 10.1145/1743384.1743433

Tuytelaars, Tinne, Christoph Lampert, Matthew Blaschko, and Wray Buntine. “Unsupervised Object Discovery: A Comparison.”https://doi.org/10.1007/s11263-009-0271-8__International Journal of Computer Vision. Springer, 2010.https://doi.org/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,”https://doi.org/10.1109/CVPR.2010.5540107__1022–29. IEEE, 2010.https://doi.org/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. ArXiv, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3743

Kwatra, Nipun, Chris Wojtan, Mark Carlson, Irfan Essa, Peter Mucha, and Greg Turk. “Fluid Simulation with Articulated Bodies.”https://doi.org/10.1109/TVCG.2009.66__IEEE Transactions on Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2009.66 .
LibreCat: https://research-explorer.ista.ac.at/record/3761
DOI: 10.1109/TVCG.2009.66

Wojtan, Chris, Nils Thürey, Markus Gross, and Greg Turk. “Physics-Inspired Topology Changes for Thin Fluid Features.”https://doi.org/10.1145/1778765.1778787__ACM Transactions on Graphics. ACM, 2010.https://doi.org/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.”https://doi.org/10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/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?”https://doi.org/10.1098/rstb.2010.0001__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/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.”https://doi.org/10.1098/rstb.2009.0320__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2009.0320 .
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104

Senn, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).”https://doi.org/10.1111/j.1365-2656.2009.01633.x__Journal of Animal Ecology. Wiley-Blackwell, 2010.https://doi.org/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.”https://doi.org/10.1371/journal.pgen.1000987__PLoS Genetics. Public Library of Science, 2010.https://doi.org/10.1371/journal.pgen.1000987 .
LibreCat: https://research-explorer.ista.ac.at/record/3772
DOI: 10.1371/journal.pgen.1000987

Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.”https://doi.org/10.1371/journal.pbio.1000544__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000544 .
LibreCat: https://research-explorer.ista.ac.at/record/3790
DOI: 10.1371/journal.pbio.1000544

Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,”https://doi.org/10.1007/978-3-642-15567-3_8__6316:98–111. Springer, 2010.https://doi.org/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, Luca Caneparo, Sylvia Schneider, Sylke Winkler, Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.”https://doi.org/10.1016/j.cub.2010.10.009__Current Biology. Cell Press, 2010.https://doi.org/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, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.”https://doi.org/10.3989/scimar.2010.74n3465__Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010.https://doi.org/10.3989/scimar.2010.74n3465 .
LibreCat: https://research-explorer.ista.ac.at/record/3787
DOI: 10.3989/scimar.2010.74n3465

Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.”https://doi.org/10.1140/epje/i2010-10642-y__The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010.https://doi.org/10.1140/epje/i2010-10642-y .
LibreCat: https://research-explorer.ista.ac.at/record/3788
DOI: 10.1140/epje/i2010-10642-y

Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.”https://doi.org/10.11646/zootaxa.2403.1.4__Zootaxa. Magnolia Press, 2010.https://doi.org/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.”https://doi.org/10.1016/j.tcb.2010.06.009__Trends in Cell Biology. Cell Press, 2010.https://doi.org/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, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.”https://doi.org/10.1186/1752-0509-4-42__BMC Systems Biology. BioMed Central, 2010.https://doi.org/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,”https://doi.org/10.1145/1706299.1706319__45:157–58. ACM, 2010.https://doi.org/10.1145/1706299.1706319 .
LibreCat: https://research-explorer.ista.ac.at/record/3840
DOI: 10.1145/1706299.1706319

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,”https://doi.org/10.1007/978-3-642-11319-2_14__5944:163–79. Springer, 2010.https://doi.org/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, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,”https://doi.org/10.1145/1839764.1839772__55–65. Springer, 2010.https://doi.org/10.1145/1839764.1839772 .
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 10.1145/1839764.1839772

Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,”https://doi.org/10.1007/978-3-642-15375-4_19__6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/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, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,”https://doi.org/10.1007/978-3-642-15155-2_2__6281:12–23. Springer, 2010.https://doi.org/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, Florian Horn, and Christof Löding. “Obliging Games,”https://doi.org/10.1007/978-3-642-15375-4_20__6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/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,”https://doi.org/10.1007/978-3-642-14162-1_50__6199:599–610. Springer, 2010.https://doi.org/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, James Analytis, Jiunhaw Chu, Ian Fisher, Yulin Chen, Zhixun Shen, Aiping Fang, and Aharon Kapitulnik. “STM Imaging of Electronic Waves on the Surface of Bi2Te3 Topologically Protected Surface States and Hexagonal Warping Effects.”https://doi.org/10.1103/PhysRevLett.104.016401__Physical Review Letters. American Physical Society, 2010.https://doi.org/10.1103/PhysRevLett.104.016401 .
LibreCat: https://research-explorer.ista.ac.at/record/385
DOI: 10.1103/PhysRevLett.104.016401

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3850

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505__8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 .
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 10.4230/LIPIcs.FSTTCS.2010.505

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.”https://doi.org/10.1145/1805950.1805953__ACM Transactions on Computational Logic (TOCL). ACM, 2010.https://doi.org/10.1145/1805950.1805953 .
LibreCat: https://research-explorer.ista.ac.at/record/3862
DOI: 10.1145/1805950.1805953

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/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, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.”https://doi.org/10.1007/978-3-642-12029-9_21__edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010.https://doi.org/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, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/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, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/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, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.”https://doi.org/10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2010.139 .
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 10.1109/TVCG.2010.139

Ugelvig, Line V, Daniel Kronauer, Alexandra Schrempf, Jürgen Heinze, and Sylvia Cremer. “Rapid Anti-Pathogen Response in Ant Societies Relies on High Genetic Diversity.”https://doi.org/10.1098/rspb.2010.0644__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2010.https://doi.org/10.1098/rspb.2010.0644 .
LibreCat: https://research-explorer.ista.ac.at/record/3904
DOI: 10.1098/rspb.2010.0644

Nourshargh, Sussan, Peter Hordijk, and Michael K Sixt. “Breaching Multiple Barriers: Leukocyte Motility through Venular Walls and the Interstitium.”https://doi.org/10.1038/nrm2889__Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2010.https://doi.org/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.”https://doi.org/10.1038/emboj.2010.182__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.182 .
LibreCat: https://research-explorer.ista.ac.at/record/4157
DOI: 10.1038/emboj.2010.182
PMID: 20717145

Kardash, Elena, Michal Reichman Fried, Jean Maître, Bijan Boldajipour, Ekaterina Papusheva, Esther Messerschmidt, Carl Heisenberg, and Erez Raz. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.”https://doi.org/10.1038/ncb2003__Nature Cell Biology. Nature Publishing Group, 2010.https://doi.org/10.1038/ncb2003 .
LibreCat: https://research-explorer.ista.ac.at/record/4187
DOI: 10.1038/ncb2003

Arboleda Estudillo, Yohanna, Michael Krieg, Jan Stuehmer, Nicholas Licata, Daniel Mueller, and Carl-Philipp J Heisenberg. “Movement Directionality in Collective Migration of Germ Layer Progenitors.”https://doi.org/10.1016/j.cub.2009.11.036__Current Biology. Cell Press, 2010.https://doi.org/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.”https://doi.org/10.1515/9783110232103__In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

Guinane, Caitriona, Nouri Ben Zakour, Maria Tormo Mas, Lucy Weinert, Bethan Lowder, Robyn Cartwright, Davida Smyth, et al. “Evolutionary Genomics of Staphylococcus Aureus Reveals Insights into the Origin and Molecular Basis of Ruminant Host Adaptation.”https://doi.org/10.1093/gbe/evq031__Genome Biology and Evolution. Oxford University Press, 2010.https://doi.org/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.”https://doi.org/10.1007/978-3-642-16612-9_32__edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010.https://doi.org/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, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.”https://doi.org/10.1007/978-3-642-11319-2_6__edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010.https://doi.org/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, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DD Case Study.”https://doi.org/10.1007/s10703-009-0085-x__Formal Methods in System Design. Springer, 2010.https://doi.org/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, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,”https://doi.org/10.1109/CLOUD.2010.71__83–90. IEEE, 2010.https://doi.org/10.1109/CLOUD.2010.71 .
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71

Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,”https://doi.org/10.1145/1810479.1810529__263–72. ACM, 2010.https://doi.org/10.1145/1810479.1810529 .
LibreCat: https://research-explorer.ista.ac.at/record/4382
DOI: 10.1145/1810479.1810529

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,”https://doi.org/10.1145/1879021.1879022__1–8. ACM, 2010.https://doi.org/10.1145/1879021.1879022 .
LibreCat: https://research-explorer.ista.ac.at/record/4380
DOI: 10.1145/1879021.1879022

Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,”https://doi.org/10.1109/ACSD.2010.26__77–84. IEEE, 2010.https://doi.org/10.1109/ACSD.2010.26 .
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 10.1109/ACSD.2010.26

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.”https://doi.org/10.1007/978-3-642-13754-9_3__In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010.https://doi.org/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, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.”https://doi.org/10.1007/978-3-642-12029-9_19__edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010.https://doi.org/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, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.”https://doi.org/10.1007/978-3-642-11970-5_7__edited by Rajiv Gupta, 6011:104–23. Springer, 2010.https://doi.org/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, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.”https://doi.org/10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/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, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”https://doi.org/10.1111/j.1558-5646.2010.01019.x__Evolution. Wiley-Blackwell, 2010.https://doi.org/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,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1__8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 .
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .”https://doi.org/10.4204/EPTCS.25.7__In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010.https://doi.org/10.4204/EPTCS.25.7 .
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.”https://doi.org/10.1007/s10703-010-0102-0__Formal Methods in System Design. Springer, 2010.https://doi.org/10.1007/s10703-010-0102-0 .
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”https://doi.org/10.1007/978-3-642-15375-4_18__6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/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, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0004 .
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0003 .
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,”https://doi.org/10.1007/978-3-642-14295-6_41__6174:465–79. Springer, 2010.https://doi.org/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, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,”https://doi.org/10.1007/978-3-642-14295-6_57__6174:665–69. Springer, 2010.https://doi.org/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, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010.https://doi.org/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.https://doi.org/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,”https://doi.org/10.1007/978-3-642-15643-4_1__6252:1–16. Springer, 2010.https://doi.org/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, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,”https://doi.org/10.1007/978-3-642-15155-2_24__6281:258–69. Springer, 2010.https://doi.org/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, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery behind Frozen Programs.”https://doi.org/10.1007/978-3-642-13675-7_1__In Applications and Theory of Petri Nets, 1–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.https://doi.org/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, Shih Lin, Carrie Bernecky, Yuefeng Gao, and Dylan Taatjes. “Activates Transcription by Directing Structural Shifts in Mediator.”https://doi.org/10.1038/nsmb.1816__Nature Structural and Molecular Biology. Nature Publishing Group, 2010.https://doi.org/10.1038/nsmb.1816 .
LibreCat: https://research-explorer.ista.ac.at/record/598
DOI: 10.1038/nsmb.1816

Weber, Katherine P., Subhajyoti De, Iwanka Kozarewa, Daniel J. Turner, M. Madan Babu, and Mario de Bono. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.”https://doi.org/10.1371/journal.pone.0013922__PLoS ONE. Public Library of Science, 2010.https://doi.org/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.” In 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, 173–79. Facultas.WUV, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/619

Zhou, L, F Li, Haibing Xu, CX Luo, HY Wu, MM Zhu, W Lu, X Ji, QG Zhou, and DY Zhu. “Treatment of Cerebral Ischemia by Disrupting Ischemia-Induced Interaction of NNOS with PSD-95.”https://doi.org/10.1038/nm.2245__Nature Medicine. Nature Publishing Group, 2010.https://doi.org/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.”https://doi.org/10.1515/crelle.2010.064__Crelles Journal. Walter de Gruyter GmbH, 2010.https://doi.org/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., D. J. Safarik, Kimberly A Modic, J. E. Gubernatis, J. C. Cooley, R. D. Taylor, B. Mihaila, et al. “Tin Telluride: A Weakly Co-Elastic Metal.”https://doi.org/10.1103/physrevb.82.184112__Physical Review B. APS, 2010.https://doi.org/10.1103/physrevb.82.184112 .
LibreCat: https://research-explorer.ista.ac.at/record/7078
DOI: 10.1103/physrevb.82.184112
arXiv: 1011.1445