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.




2568 Publications

2010 | Journal Article | IST-REx-ID: 3861
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” Information and Computation, vol. 208, no. 6, pp. 677–693, 2010.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4369   OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 474
N. H. Barton, J. Kelleher, and A. Etheridge, “A new model for extinction and recolonization in two dimensions: Quantifying phylogeography,” Evolution, vol. 64, no. 9, pp. 2701–2715, 2010.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4390
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4388   OA
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
View | Files available | DOI | arXiv
 
2010 | Journal Article | IST-REx-ID: 3773   OA
N. H. Barton, “What role does natural selection play in speciation?,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, pp. 1825–1840, 2010.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3785
F. Palero, P. Abello, E. Macpherson, C. Matthee, and M. Pascual, “Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata),” Journal of Crustacean Biology, vol. 30, no. 4, pp. 658–663, 2010.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3848
P. Bendich, H. Edelsbrunner, D. Morozov, and A. Patel, “The robustness of level sets,” presented at the ESA: European Symposium on Algorithms, Liverpool, UK, 2010, vol. 6346, pp. 1–10.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3850
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Polygonal reconstruction from approximate offsets,” presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany, 2010, pp. 12–23.
View
 
2010 | Journal Article | IST-REx-ID: 3901   OA
P. Bendich, H. Edelsbrunner, and M. Kerber, “Computing robustness and persistence for images,” IEEE Transactions of Visualization and Computer Graphics, vol. 16, no. 6, pp. 1251–1260, 2010.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed