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

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

2645 Publications


2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science 6, no. 3 (2010): 1–23. https://doi.org/10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 

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 37, no. 2–3 (2010): 171–99. https://doi.org/10.1007/s10703-010-0102-0.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,” 6281:258–69. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_24.
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 5, no. 1 (2010). https://doi.org/10.1186/1748-7188-5-37.
View | Files available | DOI
 

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 79, no. 2 (2010): 414–25. https://doi.org/10.1111/j.1365-2656.2009.01633.x.
View | DOI | 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 8, no. 7 (2010). https://doi.org/10.1371/journal.pbio.1000429.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793
Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,” 6316:98–111. Springer, 2010. https://doi.org/10.1007/978-3-642-15567-3_8.
View | 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 19, no. 5 (2010): 910–24. https://doi.org/10.1111/j.1365-294X.2009.04497.x.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3832   OA
Guzmán, José, and Peter M Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.” Neuron 66, no. 1 (2010): 8–10. https://doi.org/10.1016/j.neuron.2010.04.003 .
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 3849   OA
Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,” 6281:12–23. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_2.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed