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
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
View | Files available | DOI | Download (ext.)
 
2016 | Journal Article | IST-REx-ID: 1359   OA
The effect of gene interactions on the long-term response to selection
T. Paixao, N.H. Barton, PNAS 113 (2016) 4422–4427.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1666   OA
Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkacik, PLoS Genetics 11 (2015).
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1542   OA
Toward a unifying framework for evolutionary processes
T. Paixao, G. Badkobeh, N.H. Barton, D. Çörüş, D. Dang, T. Friedrich, P. Lehre, D. Sudholt, A. Sutton, B. Trubenova, Journal of Theoretical Biology 383 (2015) 28–43.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430   OA
First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1835   OA
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
View | Files available | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 5749   OA
Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2015) 770–782.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1894   OA
Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA
A. Grabowska, E. Wywiał, S. Dunin Horkawicz, A. Łasica, M. Wösten, A.A. Nagy-Staron, R. Godlewska, K. Bocian Ostrzycka, K. Pieńkowska, P. Łaniewski, J. Bujnicki, J. Van Putten, E. Jagusztyn Krynicka, PLoS One 9 (2014).
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056   OA
Markov chain aggregation and its applications to combinatorial reaction networks
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed