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.




86 Publications

2016 | Conference Paper | IST-REx-ID: 1234
Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-662-49674-9_7
View | Files available | DOI | Download (ext.)
 
2016 | Journal Article | IST-REx-ID: 1359   OA
Paixao, T., & Barton, N. H. (2016). The effect of gene interactions on the long-term response to selection. PNAS, 113(16), 4422–4427. https://doi.org/10.1073/pnas.1518830113
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1666   OA
Tugrul, M., Paixao, T., Barton, N. H., & Tkacik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics, 11(11). https://doi.org/10.1371/journal.pgen.1005639
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1542   OA
Paixao, T., Badkobeh, G., Barton, N. H., Çörüş, D., Dang, D., Friedrich, T., … Trubenova, B. (2015). Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology, 383, 28–43. https://doi.org/10.1016/j.jtbi.2015.07.011
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control, 60(4), 1010–1022. https://doi.org/10.1109/TAC.2014.2364971
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430   OA
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 5749   OA
Wielgoss, S., Bergmiller, T., Bischofberger, A. M., & Hall, A. R. (2015). Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria. Molecular Biology and Evolution, 33(3), 770–782. https://doi.org/10.1093/molbev/msv270
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1894   OA
Grabowska, A., Wywiał, E., Dunin Horkawicz, S., Łasica, A., Wösten, M., Nagy-Staron, A. A., … Jagusztyn Krynicka, E. (2014). Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One, 9(9). https://doi.org/10.1371/journal.pone.0106247
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056   OA
Ganguly, A., Petrov, T., & Koeppl, H. (2014). Markov chain aggregation and its applications to combinatorial reaction networks. Journal of Mathematical Biology, 69(3), 767–797. https://doi.org/10.1007/s00285-013-0738-7
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed