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, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. 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, Tiago, and Nicholas H Barton. “The Effect of Gene Interactions on the Long-Term Response to Selection.” PNAS 113, no. 16 (2016): 4422–27. https://doi.org/10.1073/pnas.1518830113.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1666   OA
Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gasper Tkacik. “Dynamics of Transcription Factor Binding Site Evolution.” PLoS Genetics 11, no. 11 (2015). https://doi.org/10.1371/journal.pgen.1005639.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1542   OA
Paixao, Tiago, Golnaz Badkobeh, Nicholas H Barton, Doğan Çörüş, Duccuong Dang, Tobias Friedrich, Per Lehre, Dirk Sudholt, Andrew Sutton, and Barbora Trubenova. “Toward a Unifying Framework for Evolutionary Processes.” Journal of Theoretical Biology 383 (2015): 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, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control 60, no. 4 (2015): 1010–22. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430   OA
Paixao, Tiago, Dirk Sudholt, Jorge Heredia, and Barbora Trubenova. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1455–62. ACM, 2015. https://doi.org/10.1145/2739480.2754758.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. 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ébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution 33, no. 3 (2015): 770–82. https://doi.org/10.1093/molbev/msv270.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1894   OA
Grabowska, Anna, Ewa Wywiał, Stanislaw Dunin Horkawicz, Anna Łasica, Marc Wösten, Anna A Nagy-Staron, Renata Godlewska, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One 9, no. 9 (2014). https://doi.org/10.1371/journal.pone.0106247.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056   OA
Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology 69, no. 3 (2014): 767–97. https://doi.org/10.1007/s00285-013-0738-7.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed