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 | 
Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Stress Induced Mutagenesis: Stress Diversity Facilitates the Persistence of Mutator Genes.” PLoS Computational Biology 13, no. 7 (2017). https://doi.org/10.1371/journal.pcbi.1005609.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 704 |
Steinrück, Magdalena, and Calin C Guet. “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” ELife 6 (2017). https://doi.org/10.7554/eLife.25100.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 954 |
Lagator, Mato, Tiago Paixao, Nicholas H Barton, Jonathan P Bollback, and Calin C Guet. “On the Mechanistic Nature of Epistasis in a Canonical Cis-Regulatory Element.” ELife 6 (2017). https://doi.org/10.7554/eLife.25192.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1336 |
Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica 78, no. 2 (2017): 681–713. https://doi.org/10.1007/s00453-016-0212-1.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1351 |
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica 54, no. 8 (2017): 765–87. https://doi.org/10.1007/s00236-016-0278-x.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1007 |
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica 81C (2017): 46–55. https://doi.org/10.1016/j.automatica.2017.03.030.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1028 |
Kainrath, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” Angewandte Chemie - International Edition 56, no. 16 (2017): 4608–11. https://doi.org/10.1002/anie.201611998.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1084
Fang, Chong, Anna A Nagy-Staron, Martin Grafe, Ralf Heermann, Kirsten Jung, Susanne Gebhard, and Thorsten Mascher. “Insulation and Wiring Specificity of BceR like Response Regulators and Their Target Promoters in Bacillus Subtilis.” Molecular Microbiology 104, no. 1 (2017): 16–31. https://doi.org/10.1111/mmi.13597.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1220 |
Mikić, Gregor, Alex Stoll, Joe Bevirt, Rok Grah, and Mark Moore. “Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency,” 1–19. AIAA, 2016. https://doi.org/10.2514/6.2016-3764.
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1234 |
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/10.1007/978-3-662-49674-9_7.
View
| Files available
| DOI
| Download Preprint (ext.)