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.




86 Publications

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 (ext.)
 
2016 | Journal Article | IST-REx-ID: 1359   OA
Paixao, Tiago, and Nicholas H Barton. “The Effect of Gene Interactions on the Long-Term Response to Selection.” PNAS 113, no. 16 (2016): 4422–27. https://doi.org/10.1073/pnas.1518830113.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1666   OA
Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gasper Tkacik. “Dynamics of Transcription Factor Binding Site Evolution.” PLoS Genetics 11, no. 11 (2015). https://doi.org/10.1371/journal.pgen.1005639.
View | Files available | DOI
 
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 383 (2015): 28–43. https://doi.org/10.1016/j.jtbi.2015.07.011.
View | Files available | DOI
 
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 60, no. 4 (2015): 1010–22. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed