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

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, Andreea, Calin C Guet, and Tatjana Petrov. “Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set,” 9271:173–91. Springer, 2016. https://doi.org/10.1007/978-3-319-26916-0_10.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, Lekshmi Dharmarajan, Moritz Lang, and Jörg Stelling. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology. American Chemical Society, 2016. https://doi.org/10.1021/acssynbio.6b00013.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1170
Lang, Moritz, and Jörg Stelling. “Modular Parameter Identification of Biomolecular Networks.” SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics , 2016. https://doi.org/10.1137/15M103306X.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1220 | OA
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 | OA
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.)
 
2016 | Journal Article | IST-REx-ID: 1243
Pleska, Maros, Long Qian, Reiko Okura, Tobias Bergmiller, Yuichi Wakamoto, Edo Kussell, and Calin C Guet. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2015.12.041.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1250 | OA
Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics. Public Library of Science, 2016. https://doi.org/10.1371/journal.pgen.1005974.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control. IEEE, 2015. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, Tiago, Dirk Sudholt, Jorge Heredia, and Barbora Trubenova. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 1455–62. ACM, 2015. https://doi.org/10.1145/2739480.2754758.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao, Tiago, Golnaz Badkobeh, Nicholas H Barton, Doğan Çörüş, Duccuong Dang, Tobias Friedrich, Per Lehre, Dirk Sudholt, Andrew Sutton, and Barbora Trubenova. “Toward a Unifying Framework for Evolutionary Processes.” Journal of Theoretical Biology. Elsevier, 2015. https://doi.org/10.1016/j.jtbi.2015.07.011.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gašper Tkačik. “Dynamics of Transcription Factor Binding Site Evolution.” PLoS Genetics. Public Library of Science, 2015. https://doi.org/10.1371/journal.pgen.1005639.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution. Oxford University Press, 2015. https://doi.org/10.1093/molbev/msv270.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska, Anna, Ewa Wywiał, Stanislaw Dunin Horkawicz, Anna Łasica, Marc Wösten, Anna A Nagy-Staron, Renata Godlewska, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0106247.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2036 | OA
Lagator, Mato, Nick Colegrave, and Paul Neve. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2014. https://doi.org/10.1098/rspb.2014.1679.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2056 | OA
Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology. Springer, 2014. https://doi.org/10.1007/s00285-013-0738-7.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2083 | OA
Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Role of Sex and Migration in Adaptation to Sink Environments.” Evolution. Wiley, 2014. https://doi.org/10.1111/evo.12440.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković, Ivan, Tatjana Petrov, and Gábor Kovács. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.” Dementia and Geriatric Cognitive Disorders. Karger, 2014. https://doi.org/10.1159/000365548.
View | DOI | Download Published Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton, Nicholas H, and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” In Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, 1573–80. ACM, 2013. https://doi.org/10.1145/2463372.2463568.
View | Files available | DOI
 

Search

Filter Publications