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.




4044 Publications

2011 | Conference Paper | IST-REx-ID: 9943 | OA
Sommer, Christoph M, Christoph Straehle, Ullrich Köthe, and Fred A. Hamprecht. “Ilastik: Interactive Learning and Segmentation Toolkit.” In 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro. Institute of Electrical and Electronics Engineers, 2011. https://doi.org/10.1109/isbi.2011.5872394.
View | DOI | Download Preprint (ext.)
 
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 | Journal Article | IST-REx-ID: 3771
Pavan, Ana, Felipe Martins, Fabrício Santos, Albert Ditchfield, and Rodrigo A Fernandes Redondo. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.” Biological Journal of the Linnean Society. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1095-8312.2010.01601.x.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3778 | OA
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity. Nature Publishing Group, 2011. https://doi.org/10.1038/hdy.2010.67.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged). Szegedi Tudományegyetem, 2011.
View
 
2011 | Journal Article | IST-REx-ID: 3784 | OA
Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.” Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press, 2011. https://doi.org/10.1017/S0025315410000287.
View | DOI | Download Published Version (ext.)
 
2011 | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.” In Forces and Tension in Development, edited by Michel Labouesse, 95:189–213. Elsevier, 2011. https://doi.org/10.1016/B978-0-12-385065-2.00006-2.
View | DOI
 
2011 | Book Chapter | IST-REx-ID: 3796 | OA
Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.” In Rainbow of Computer Science, edited by Cristian Calude, Grzegorz Rozenberg, and Arto Salomaa, 6570:20–35. Dedicated to Hermann Maurer on the Occasion of His 70th Birthday. Springer, 2011. https://doi.org/10.1007/978-3-642-19391-0_2.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3965
Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics. ACM, 2011. https://doi.org/10.1145/1963190.1970375.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3267
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Discrete & Computational Geometry. Springer, 2011. https://doi.org/10.1007/s00454-010-9322-8.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
View | Files available | DOI
 
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 | Book Chapter | IST-REx-ID: 3311 | OA
Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” In Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert, G Vegter, J Ritzerveld, and V Icke. Springer, n.d.
View | Files available
 
2011 | Conference Paper | IST-REx-ID: 10907
Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20844-7_22.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee, Krishnendu, Monika H 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 H 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 | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee, Krishnendu, and Monika H Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
View | Files available | DOI
 
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 | Files available | DOI
 
2011 | Research Data Reference | IST-REx-ID: 9762 | OA
Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas).” IST Austria, 2011. https://doi.org/10.5061/dryad.299h8.
View | Files available | DOI | Download Published Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3303 | OA
Weissman, Daniel, Marcus Feldman, and Daniel Fisher. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics. Genetics Society of America, 2010. https://doi.org/10.1534/genetics.110.123240.
View | DOI | Download Submitted Version (ext.)
 
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: 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: 9452
Zemach, Assaf , Ivy E. McDaniel, Pedro Silva, and Daniel Zilberman. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.” Science. American Association for the Advancement of Science, 2010. https://doi.org/10.1126/science.1186366.
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, Assaf, M. Yvonne Kim, Pedro Silva, Jessica A. Rodrigues, Bradley Dotson, Matthew D. Brooks, and Daniel Zilberman. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1009695107.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 9489 | OA
Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology. Elsevier, 2010. https://doi.org/10.1016/j.cub.2010.07.007.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Heterosis and the Drift Load.” Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000429.s003.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3604
Senn, Helen, Simon Goodman, Graeme Swanson, Nicholas H Barton, and Josephine Pemberton. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.” Molecular Ecology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-294X.2009.04497.x.
View | 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: 3786
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.” Zootaxa. Magnolia Press, 2010. https://doi.org/10.11646/zootaxa.2403.1.4.
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
 

Search

Filter Publications