Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3126 Publications

2011 | Conference Paper | IST-REx-ID: 3323
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,” 6803:476–91. Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6_36.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3324 | OA
Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4_26.
View | DOI | Download Submitted Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3325
Alur, Rajeev, and Pavol Cerny. “Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs,” 46:599–610. ACM, 2011. https://doi.org/10.1145/1926385.1926454.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3326 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3328 | OA
Berberich, Eric, Michael Hemmer, and Michael Kerber. “A Generic Algebraic Kernel for Non Linear Geometric Applications,” 179–86. ACM, 2011. https://doi.org/10.1145/1998196.1998224.
View | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3329 | OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” In Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, 187–96. ACM, 2011. https://doi.org/10.1145/1998196.1998225.
View | Files available | DOI | Download Preprint (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3330 | OA
Kerber, Michael, and Michael Sagraloff. “Root Refinement for Real Polynomials,” 209–16. Springer, 2011. https://doi.org/10.1145/1993886.1993920.
View | DOI | Download Preprint (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3332 | OA
Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” Graphs and Combinatorics. Springer, 2011. https://doi.org/10.1007/s00373-011-1020-7.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3334
Edelsbrunner, Herbert, János Pach, and Günter Ziegler. “Letter from the New Editors-in-Chief.” Discrete & Computational Geometry. Springer, 2011. https://doi.org/10.1007/s00454-010-9313-9.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert, Rien, Gert Vegter, Herbert Edelsbrunner, Bernard Jones, Pratyush Pranav, Changbom Park, Wojciech Hellwing, et al. “Alpha, Betti and the Megaparsec Universe: On the Topology of the Cosmic Web.” In Transactions on Computational Science XIV, edited by Marina Gavrilova, Kenneth Tan, and Mir Mostafavi, 6970:60–101. Special Issue on Voronoi Diagrams and Delaunay Triangulation. Springer, 2011. https://doi.org/10.1007/978-3-642-25249-5_3.
View | DOI | Download Preprint (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3336
Chen, Chao, Daniel Freedman, and Christoph Lampert. “Enforcing Topological Constraints in Random Field Image Segmentation.” In CVPR: Computer Vision and Pattern Recognition, 2089–96. IEEE, 2011. https://doi.org/10.1109/CVPR.2011.5995503.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3337
Wang, Zhikun, Christoph Lampert, Katharina Mülling, Bernhard Schölkopf, and Jan Peters. “Learning Anticipation Policies for Robot Table Tennis,” 332–37. IEEE, 2011. https://doi.org/10.1109/IROS.2011.6094892.
View | DOI
 
2011 | Preprint | IST-REx-ID: 3338 | OA
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.
View | Files available | Download Preprint (ext.) | arXiv
 
2011 | Preprint | IST-REx-ID: 3339 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Roy Pritam. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv. ArXiv, 2011.
View | Download Preprint (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_21.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee, Krishnendu, and Monika Henzinger. “Faster and Dynamic Algorithms for Maximal End Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
View | DOI | Download Submitted Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. “Graph Games with Reachability Objectives.” edited by Giorgo Delzanno and Igor Potapov, 6945:1–1. Springer, 2011. https://doi.org/10.1007/978-3-642-24288-5_1.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. https://doi.org/10.1007/978-3-642-22993-0_21.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.10.
View | DOI | Download Submitted Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3347 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,” 6638:216–26. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_16.
View | DOI | Download Preprint (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3348 | OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. https://doi.org/10.1145/1967701.1967734.
View | DOI | Download Submitted Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3349 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “A Reduction from Parity Games to Simple Stochastic Games,” 54:74–86. EPTCS, 2011. https://doi.org/10.4204/EPTCS.54.6.
View | DOI | Download Submitted Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, Krishnendu, and Ritankar Majumdar. “Minimum Attention Controller Synthesis for Omega Regular Objectives.” edited by Uli Fahrenberg and Stavros Tripakis, 6919:145–59. Springer, 2011. https://doi.org/10.1007/978-3-642-24310-3_11.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3351 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.” edited by Olaf Owe, Martin Steffen, and Jan Arne Telle, 6914:148–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22953-4_13.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3352
Fisher, Jasmin, David Harel, and Thomas A Henzinger. “Biology as Reactivity.” Communications of the ACM. ACM, 2011. https://doi.org/10.1145/2001269.2001289.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011. https://doi.org/10.1145/1985342.1985345.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2011. https://doi.org/10.1145/1970398.1970404.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3355 | OA
Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,” 255–64. IEEE, 2011. https://doi.org/10.1109/QEST.2011.40.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3356 | OA
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “The Complexity of Request-Response Games.” edited by Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Martín-Vide, 6638:227–37. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_17.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,” 329–42. ACM, 2011. https://doi.org/10.1145/1966445.1966476.
View | DOI | Download Published Version (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A Henzinger. “From Boolean to Quantitative Synthesis,” 149–54. ACM, 2011. https://doi.org/10.1145/2038642.2038666.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,” 6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. https://doi.org/10.1007/978-3-642-23217-6_27.
View | Files available | DOI
 
2011 | Preprint | IST-REx-ID: 3363 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.
View | Download Preprint (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3364 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science. Elsevier, 2011. https://doi.org/10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3365 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,” 6605:267–71. Springer, 2011. https://doi.org/10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3367
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology,” 207–16. ACM, 2011. https://doi.org/10.1145/1998196.1998228.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3368 | OA
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1010767108.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3369
Pernia-Andrade, Alejandro, and Peter M Jonas. “The Multiple Faces of RIM.” Neuron. Elsevier, 2011. https://doi.org/10.1016/j.neuron.2011.01.010.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3370 | OA
Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology. Oxford University Press, 2011. https://doi.org/10.1093/sysbio/syq086.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3371 | OA
Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.” Molecular Biology and Evolution. Oxford University Press, 2011. https://doi.org/10.1091/mbc.E10-12-0958.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3372 | OA
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters. OSA, 2011. https://doi.org/10.1364/OL.36.001260.
View | Files available | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3374 | OA
Tkačik, Gašper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2011. https://doi.org/10.1088/0953-8984/23/15/153102.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3375 | OA
Vladar, Harold de, and Nicholas H Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface. Royal Society of London, 2011. https://doi.org/10.1098/rsif.2010.0438.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3376 | OA
Bollenbach, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.” Molecular Cell. Cell Press, 2011. https://doi.org/10.1016/j.molcel.2011.04.016.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3377 | OA
Edelsbrunner, Herbert, Dmitriy Morozov, and Amit Patel. “Quantifying Transversality by Measuring the Robustness of Intersections.” Foundations of Computational Mathematics. Springer, 2011. https://doi.org/10.1007/s10208-011-9090-8.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3378
Bendich, Paul, and John Harer. “Persistent Intersection Homology.” Foundations of Computational Mathematics. Springer, 2011. https://doi.org/10.1007/s10208-010-9081-1.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology. Elsevier, 2011. https://doi.org/10.1016/j.ydbio.2011.03.025.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3380 | OA
Logeswaran, Sayanthan, and Nicholas H Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.” Genetical Research. Cambridge University Press, 2011. https://doi.org/10.1017/S0016672311000115.
View | DOI | Download Published Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3381 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011. https://doi.org/10.1142/S0129054111008441.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3382
Kroemer, Oliver, Christoph Lampert, and Jan Peters. “Learning Dynamic Tactile Sensing with Robust Vision Based Training.” IEEE Transactions on Robotics. IEEE, 2011. https://doi.org/10.1109/TRO.2011.2121130.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3383
Heisenberg, Carl-Philipp J. “Invited Lectures ‐ Symposia Area.” FEBS Journal. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1742-4658.2011.08136.x.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3384 | OA
Tkačik, Gašper, Patrick Garrigan, Charles Ratliff, Grega Milcinski, Jennifer Klein, Lucia Seyfarth, Peter Sterling, David Brainard, and Vijay Balasubramanian. “Natural Images from the Birthplace of the Human Eye.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0020409.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3385
Sixt, Michael K. “Interstitial Locomotion of Leukocytes.” Immunology Letters. Elsevier, 2011. https://doi.org/10.1016/j.imlet.2011.02.013.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3386
Schrempf, Alexandra, Sylvia Cremer, and Jürgen Heinze. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.” Journal of Evolutionary Biology. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1420-9101.2011.02278.x.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3387 | OA
Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.” BMC Evolutionary Biology. BioMed Central, 2011. https://doi.org/10.1186/1471-2148-11-205.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3388 | OA
Ugelvig, Line V, Per Nielsen, Jacobus Boomsma, and David Nash. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.” BMC Evolutionary Biology. BioMed Central, 2011. https://doi.org/10.1186/1471-2148-11-201.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3389
Blaschko, Matthew, Jacquelyn Shelton, Andreas Bartels, Christoph Lampert, and Arthur Gretton. “Semi Supervised Kernel Canonical Correlation Analysis with Application to Human FMRI.” Pattern Recognition Letters. Elsevier, 2011. https://doi.org/10.1016/j.patrec.2011.02.011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3390 | OA
Barton, Nicholas H, and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.127555.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3391 | OA
Vladar, Harold de, and Nicholas H Barton. “The Contribution of Statistical Physics to Evolutionary Biology.” Trends in Ecology and Evolution. Cell Press, 2011. https://doi.org/10.1016/j.tree.2011.04.002.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3392
Soriano, Silvia, Miroslav Hons, Kathrin Schumann, Varsha Kumar, Timo Dennier, Ruth Lyck, Michael K Sixt, and Jens Stein. “In Vivo Analysis of Uropod Function during Physiological T Cell Trafficking.” Journal of Immunology. American Association of Immunologists, 2011. https://doi.org/10.4049/jimmunol.1100935.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3393 | OA
Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist. University of Chicago Press, 2011. https://doi.org/10.1086/661246.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3394 | OA
Polechova, Jitka, and Nicholas H Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.” Genetics. Genetics Society of America, 2011. https://doi.org/10.1534/genetics.111.129817.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3395
Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas .” Biological Journal of the Linnean Society. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1095-8312.2011.01728.x.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development. Company of Biologists, 2011. https://doi.org/10.1242/dev.071233.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3397 | OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.” Current Opinion in Cell Biology. Elsevier, 2011. https://doi.org/10.1016/j.ceb.2011.07.004.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 3399 | OA
Cremer, Sylvia, Alexandra Schrempf, and Jürgen Heinze. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0017323.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3405 | OA
Janovjak, Harald L, Guillaume Sandoz, and Ehud Isacoff. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.” Nature Communications. Nature Publishing Group, 2011. https://doi.org/10.1038/ncomms1231.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3429
Plachta, Nicolas, Mark Tobias Bollenbach, Shirley Pease, Scott Fraser, and Periklis Pantazis. “Oct4 Kinetics Predict Cell Lineage Patterning in the Early Mammalian Embryo.” Nature Cell Biology. Nature Publishing Group, 2011. https://doi.org/10.1038/ncb2154.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3505 | OA
Sixt, Michael K, and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration. Springer, 2011. https://doi.org/10.1007/978-1-61779-207-6_11.
View | DOI | Download Published Version (ext.)
 
2011 | Thesis | IST-REx-ID: 3275 | OA
Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” IST Austria, 2011.
View | Files available
 
2011 | Journal Article | IST-REx-ID: 6496 | OA
Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal. Elsevier, 2011. https://doi.org/10.1016/j.bpj.2011.09.040.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 2409 | OA
Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for Molecular Biology. BioMed Central, 2010. https://doi.org/10.1186/1748-7188-5-37.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 474
Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1558-5646.2010.01019.x.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
View | DOI | Download Published Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-010-0102-0.
View | DOI
 
2010 | Technical Report | IST-REx-ID: 5388 | OA
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.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5390 | OA
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.
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5391 | OA
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.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3718
Guzmán, José, Hartmut Schmidt, Heike Franke, Ute Krügel, Jens Eilers, Peter Illes, and Zoltan Gerevich. “P2Y1 Receptors Inhibit Long-Term Depression in the Prefrontal Cortex.” Neuropharmacology. Elsevier, 2010. https://doi.org/10.1016/j.neuropharm.2010.05.013.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics. Public Library of Science, 2010. https://doi.org/10.1371/journal.pgen.1000987.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3774
Senn, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-2656.2009.01633.x.
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2010.0106.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010. https://doi.org/10.1098/rstb.2009.0320.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000429.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3782
Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.” In Conference Proceedings MCV 2010, 6533:31–42. Springer, 2010. https://doi.org/10.1007/978-3-642-18421-5_4.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3783
Palero, Ferran, Fernando González Candelas, and Marta Pascual. “Microsatelight – Pipeline to Expedite Microsatellite Analysis.” Journal of Heredity. Oxford University Press, 2010. https://doi.org/10.1093/jhered/esq111.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, Pere Abello, E. Macpherson, C. Matthee, and Marta Pascual. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology. BioOne, 2010. https://doi.org/10.1651/09-3192.1.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3787 | OA
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.” Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010. https://doi.org/10.3989/scimar.2010.74n3465.
View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3788
Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010. https://doi.org/10.1140/epje/i2010-10642-y.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3789
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.” Current Biology. Cell Press, 2010. https://doi.org/10.1016/j.cub.2010.10.009.
View | DOI
 
2010 | Journal Article | IST-REx-ID: 3790 | OA
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.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000544.
View | Files available | DOI
 

Search

Filter Publications