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
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.)
 
2016 | Journal Article | IST-REx-ID: 1359   OA
T. Paixao and N. H. Barton, “The effect of gene interactions on the long-term response to selection,” PNAS, vol. 113, no. 16, pp. 4422–4427, 2016.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1666   OA
M. Tugrul, T. Paixao, N. H. Barton, and G. Tkacik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1542   OA
T. Paixao et al., “Toward a unifying framework for evolutionary processes,” Journal of Theoretical Biology, vol. 383, pp. 28–43, 2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
B. Geiger, T. Petrov, G. Kubin, and H. Koeppl, “Optimal Kullback-Leibler aggregation via information bottleneck,” IEEE Transactions on Automatic Control, vol. 60, no. 4, pp. 1010–1022, 2015.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430   OA
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 | Conference Paper | IST-REx-ID: 1835   OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
View | Files available | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 5749   OA
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
 
2014 | Journal Article | IST-REx-ID: 1894   OA
A. Grabowska et al., “Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056   OA
A. Ganguly, T. Petrov, and H. Koeppl, “Markov chain aggregation and its applications to combinatorial reaction networks,” Journal of Mathematical Biology, vol. 69, no. 3, pp. 767–797, 2014.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed