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.
2016 | Conference Paper | IST-REx-ID: 1234
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.View | Files available | DOI | Download (ext.)
2015 | Conference Paper | IST-REx-ID: 1430
T. Paixao, D. Sudholt, J. Heredia, and B. Trubenova, “First steps towards a runtime comparison of natural and artificial evolution,” in Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, Madrid, Spain, 2015, pp. 1455–1462.View | DOI | Download (ext.)
2015 | Journal Article | IST-REx-ID: 5749
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria,” Molecular Biology and Evolution, vol. 33, no. 3, pp. 770–782, 2015.View | Files available | DOI