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.
88 Publications
2017 | Journal Article | IST-REx-ID: 696 | 
M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 704 |
M. Steinrück and C. C. Guet, “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection,” eLife, vol. 6, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 954 |
M. Lagator, T. Paixao, N. H. Barton, J. P. Bollback, and C. C. Guet, “On the mechanistic nature of epistasis in a canonical cis-regulatory element,” eLife, vol. 6, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1336 |
T. Paixao, J. Pérez Heredia, D. Sudholt, and B. Trubenova, “Towards a runtime comparison of natural and artificial evolution,” Algorithmica, vol. 78, no. 2, pp. 681–713, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1351 |
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking the evolution of gene regulatory networks,” Acta Informatica, vol. 54, no. 8, pp. 765–787, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1007 |
M. Lang and E. Sontag, “Zeros of nonlinear systems with input invariances,” Automatica, vol. 81C, pp. 46–55, 2017.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1028 |
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16, pp. 4608–4611, 2017.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1220 |
G. Mikić, A. Stoll, J. Bevirt, R. Grah, and M. Moore, “Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency,” presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA, 2016, pp. 1–19.
View
| DOI
| Download Preprint (ext.)
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 Preprint (ext.)