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.
5473 Publications
2010 | Published | Conference Paper | IST-REx-ID: 4393 | 
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | 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 | Published | Conference Paper | IST-REx-ID: 488 |
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.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | 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 | Published | Technical Report | IST-REx-ID: 5388 |
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.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5389 |
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
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.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
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.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 12199
Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.” Development. The Company of Biologists, 2010. https://doi.org/10.1242/dev.049320.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12200
Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.” Biochemical Society Transactions. Portland Press Ltd., 2010. https://doi.org/10.1042/bst0380571.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Book Chapter | IST-REx-ID: 14983
Schlögl, Alois, Carmen Vidaurre, and Klaus-Robert Müller. “Adaptive Methods in BCI Research - An Introductory Tutorial.” In Brain-Computer Interfaces, edited by Bernhard Graimann, Gert Pfurtscheller, and Brendan Allison, 1st ed., 331–55. FRONTCOLL. Berlin, Heidelberg: Springer, 2010. https://doi.org/10.1007/978-3-642-02091-9_18.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3303 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3719 |
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.
[Submitted Version]
View
| Files available
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 3772 |
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics. Public Library of Science, 2010. https://doi.org/10.1371/journal.pgen.1000987.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3773 |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Published | 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