en
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.
2497 Publications
2010 | Conference Paper | IST-REx-ID: 4388
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
View
| Files available
| DOI
| Download (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 4390
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 365(1547), 1825–1840. https://doi.org/10.1098/rstb.2010.0001
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3785
Palero, F., Abello, P., Macpherson, E., Matthee, C., & Pascual, M. (2010). Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology, 30(4), 658–663. https://doi.org/10.1651/09-3192.1
View
| DOI
2010 | Journal Article | IST-REx-ID: 3792
Carvalho, L., & Heisenberg, C.-P. J. (2010). The yolk syncytial layer in early, zebrafish development. Trends in Cell Biology, 20(10), 586–592. https://doi.org/10.1016/j.tcb.2010.06.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3901
Bendich, P., Edelsbrunner, H., & Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics, 16(6), 1251–1260. https://doi.org/10.1109/TVCG.2010.139
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3848
Bendich, P., Edelsbrunner, H., Morozov, D., & Patel, A. (2010). The robustness of level sets (Vol. 6346, pp. 1–10). Presented at the ESA: European Symposium on Algorithms, Liverpool, UK: Springer. https://doi.org/10.1007/978-3-642-15775-2_1
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3850
Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2010). Polygonal reconstruction from approximate offsets (pp. 12–23). Presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany: TU Dortmund.
View
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science, 6(3), 1–23. https://doi.org/10.2168/LMCS-6(3:10)2010
View
| Files available
| DOI
2010 | Book Chapter | IST-REx-ID: 4339
Bergmann, J., & Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann & P. Danowski (Eds.), Handbuch Bibliothek 2.0 (pp. 5–20). De Gruyter. https://doi.org/10.1515/9783110232103
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 4346
Danowski, P., & Bergmann, J. (2010). Handbuch Bibliothek 2.0. De Gruyter.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 4396
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4389
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design, 37(2–3), 171–199. https://doi.org/10.1007/s10703-010-0102-0
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_24
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 2409
Kupczok, A., Schmidt, H., & Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology, 5(1), 37. https://doi.org/10.1186/1748-7188-5-37
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology, 79(2), 414–425. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3779
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology, 8(7), e1000429. https://doi.org/10.1371/journal.pbio.1000429
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793
Nowozin, S., Gehler, P., & Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15567-3_8
View
| DOI
2010 | Journal Article | IST-REx-ID: 3832
Guzmán, J., & Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron, 66(1), 8–10. https://doi.org/10.1016/j.neuron.2010.04.003
View
| DOI
| Download (ext.)
| PubMed | Europe PMC