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.
108 Publications
2016 | Conference Paper | IST-REx-ID: 1093 | 
Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
2016 | Journal Article | IST-REx-ID: 1243
Bacterial autoimmunity due to a restriction-modification system
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
View
| Files available
| DOI
M. Pleska, L. Qian, R. Okura, T. Bergmiller, Y. Wakamoto, E. Kussell, C.C. Guet, Current Biology 26 (2016) 404–409.
2016 | Journal Article | IST-REx-ID: 1358 |
Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
[Published Version]
View
| Files available
| DOI
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkačik, Nature Communications 7 (2016).
2015 | Conference Paper | IST-REx-ID: 1430 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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.
2015 | Journal Article | IST-REx-ID: 1542 |
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.
[Published Version]
View
| Files available
| DOI
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.
2015 | Journal Article | IST-REx-ID: 1840 |
Optimal Kullback-Leibler aggregation via information bottleneck
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
B. Geiger, T. Petrov, G. Kubin, H. Koeppl, IEEE Transactions on Automatic Control 60 (2015) 1010–1022.
2015 | Journal Article | IST-REx-ID: 1666 |
Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
[Published Version]
View
| Files available
| DOI
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
2015 | Conference Paper | IST-REx-ID: 1835 |
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
2014 | Journal Article | IST-REx-ID: 1894 |
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).
[Published Version]
View
| Files available
| DOI
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).
2014 | Journal Article | IST-REx-ID: 2056 |
Markov chain aggregation and its applications to combinatorial reaction networks
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Ganguly, T. Petrov, H. Koeppl, Journal of Mathematical Biology 69 (2014) 767–797.
2014 | Journal Article | IST-REx-ID: 2083 |
Role of sex and migration in adaptation to sink environments
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
[Published Version]
View
| Files available
| DOI
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
2014 | Journal Article | IST-REx-ID: 2036 |
Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
M. Lagator, N. Colegrave, P. Neve, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
2014 | Journal Article | IST-REx-ID: 9931
Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes
R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.
View
| Files available
| DOI
| PubMed | Europe PMC
R. Dhar, T. Bergmiller, A. Wagner, Evolution 68 (2014) 1775–1791.
2014 | Journal Article | IST-REx-ID: 1913 |
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
2013 | Conference Paper | IST-REx-ID: 2718 |
Can quantitative and population genetics help us understand evolutionary computation?
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, T. Paixao, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–1580.
2013 | Journal Article | IST-REx-ID: 2720 |
Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
H. Long, T. Paixao, R. Azevedo, R. Zufall, Genetics 195 (2013) 527–540.
2013 | Conference Paper | IST-REx-ID: 2719
A variance decomposition approach to the analysis of genetic algorithms
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
View
| DOI
T. Paixao, N.H. Barton, in:, Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–852.
2013 | Journal Article | IST-REx-ID: 499
Dynamic persistence of antibiotic-stressed mycobacteria
Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler, J. Mckinney, Science 339 (2013) 91–95.
View
| DOI
Y. Wakamoto, N. Dhar, R.P. Chait, K. Schneider, F. Signorino Gelo, S. Leibler, J. Mckinney, Science 339 (2013) 91–95.
2013 | Journal Article | IST-REx-ID: 2853 |
Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
D. Refardt, T. Bergmiller, R. Kümmerli, Proceedings of the Royal Society of London Series B Biological Sciences 280 (2013).