Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
133 Publications
    2016 | Published |   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.
    
    
  [Preprint]
View
  
  | Files available
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2016 | Published |   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.
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2016 | Published |   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
  
   | WoS
  
  
  
  
  
    2015 | Published |   Conference Paper | IST-REx-ID: 1835 |  
    
    
 
    
    
        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.
    
    
  [Preprint]
View
  
  | Files available
  
  
   | DOI
   | Download Preprint (ext.)
  
  
   | arXiv
  
  
  
    2015 |  Research Data Reference | IST-REx-ID: 9719 |  
    
    
 
    
    
        Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria.” Dryad, 2015. https://doi.org/10.5061/dryad.cj910.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
   | Download Published Version (ext.)
  
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1666 |  
    
    
 
    
    
        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.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 |  Research Data Reference | IST-REx-ID: 9712 
    
    
        Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gašper Tkačik. “Other Fitness Models for Comparison & for Interacting TFBSs.” Public Library of Science, 2015. https://doi.org/10.1371/journal.pgen.1005639.s001.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  
    2015 | Published |   Conference Paper | IST-REx-ID: 1430 |  
    
    
 
    
    
        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.
    
    
  [Preprint]
View
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1840 |  
    
    
 
    
    
        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.
    
    
  [Preprint]
View
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1542 |  
    
    
 
    
    
        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.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2014 | Published |   Journal Article | IST-REx-ID: 2083 |  
    
    
 
    
    
        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.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2014 |  Research Data Reference | IST-REx-ID: 9747 |  
    
    
 
    
    
        Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Data from: Role of Sex and Migration in Adaptation to Sink Environments.” Dryad, 2014. https://doi.org/10.5061/dryad.s42n1.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
   | Download Published Version (ext.)
  
  
  
  
  
  
    2014 | Published |   Journal Article | IST-REx-ID: 2056 |  
    
    
 
    
    
        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.
    
    
  [Submitted Version]
View
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
  
   | arXiv
  
  
  
    2014 | Published |   Journal Article | IST-REx-ID: 2036 |  
    
    
 
    
    
        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.
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
  
  
  
  
  
    2014 |  Research Data Reference | IST-REx-ID: 9741 |  
    
    
 
    
    
        Lagator, Mato, Nick Colegrave, and Paul Neve. “Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Dryad, 2014. https://doi.org/10.5061/dryad.85dn7.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
   | Download Published Version (ext.)
  
  
  
  
  
  
    2014 | Published |   Journal Article | IST-REx-ID: 1913 |  
    
    
 
    
    
        Milenković, Ivan, Tatjana Petrov, and Gábor Kovács. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.” Dementia and Geriatric Cognitive Disorders. Karger Publishers, 2014. https://doi.org/10.1159/000365548.
    
    
  [Published Version]
View
  
  
   | DOI
   | Download Published Version (ext.)
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2014 | Published |   Journal Article | IST-REx-ID: 1894 |  
    
    
 
    
    
        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.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2014 | Published |   Journal Article | IST-REx-ID: 9931 
    
    
        Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.” Evolution. Wiley, 2014. https://doi.org/10.1111/evo.12373.
    
    
View
  
  | Files available
  
  
   | DOI
  
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2014 |  Research Data Reference | IST-REx-ID: 9932 |  
    
    
 
    
    
        Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.” Dryad, 2014. https://doi.org/10.5061/dryad.jc402.
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
   | Download Published Version (ext.)
  
  
  
  
  
  
    2013 | Published |   Conference Paper | IST-REx-ID: 2718 |  
    
    
 
    
    
        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.
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI