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.
92 Publications
- 1
- 2
- 3
- 4 (current)
- 5
2016 | Conference Paper | IST-REx-ID: 1524 | 
Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
View
| DOI
| Download Preprint (ext.)
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
2016 | Journal Article | IST-REx-ID: 1008
An orthogonal permease–inducer–repressor feedback loop shows bistability
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.
View
| DOI
R. Gnügge, L. Dharmarajan, M. Lang, J. Stelling, ACS Synthetic Biology 5 (2016) 1098–1107.
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.
View
| Files available
| DOI
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Journal Article | IST-REx-ID: 1170
Modular parameter identification of biomolecular networks
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
View
| Files available
| DOI
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
2016 | Conference Paper | IST-REx-ID: 1220 |
Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
View
| DOI
| Download Preprint (ext.)
G. Mikić, A. Stoll, J. Bevirt, R. Grah, M. Moore, in:, AIAA, 2016, pp. 1–19.
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 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: 1250 |
Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
View
| Files available
| DOI
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
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.
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.
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.
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: 5749 |
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
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2015) 770–782.
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.
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.
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: 1666 |
Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
View
| Files available
| DOI
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
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).
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: 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.
View
| DOI
| Download Published Version (ext.)
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
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).
View
| 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: 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.
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.
View
| Files available
| DOI
M. Lagator, A. Morgan, P. Neve, N. Colegrave, Evolution 68 (2014) 2296–2305.
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.
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.
- 1
- 2
- 3
- 4 (current)
- 5