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.




2770 Publications

2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5410 | OA
Ahmed, U., Chatterjee, K., & Gulwani, S. (2013). Automatic generation of alternative starting positions for traditional board games. IST Austria. https://doi.org/10.15479/AT:IST-2013-146-v1-1
View | Files available | DOI
 
2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2901 | OA
Chen, C., Kolmogorov, V., Yan, Z., Metaxas, D., & Lampert, C. (2013). Computing the M most probable modes of a graphical model (Vol. 31, pp. 161–169). Presented at the AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States: JMLR.
View | Download None (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2906 | OA
Kerber, M., & Edelsbrunner, H. (2013). 3D kinetic alpha complexes and their implementation. In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments (pp. 70–77). New Orleans, LA, United States: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611972931.6
View | Files available | DOI
 
2013 | Book Chapter | IST-REx-ID: 2907 | OA
Barton, N. H. (2013). Recombination and sex. In The Princeton Guide to Evolution (pp. 328–333). Princeton University Press.
View | Files available
 
2013 | Journal Article | IST-REx-ID: 2908 | OA
Barton, N. H. (2013). Does hybridisation influence speciation?  . Journal of Evolutionary Biology, 26(2), 267–269. https://doi.org/10.1111/jeb.12015
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2909 | OA
Barton, N. H., Etheridge, A., & Véber, A. (2013). Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment, 2013(1). https://doi.org/10.1088/1742-5468/2013/01/P01002
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2910 | OA
Kelleher, J., Barton, N. H., & Etheridge, A. (2013). Coalescent simulation in continuous space. Bioinformatics, 29(7), 955–956. https://doi.org/10.1093/bioinformatics/btt067
View | Files available | DOI
 

Search

Filter Publications