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.




4938 Publications

2017 | Journal Article | IST-REx-ID: 9506 | OA
D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 958
J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
View | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9844
N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 13160 | OA
J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record for transforming Rabin automata into parity automata,” in Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 2017, vol. 10205, pp. 443–460.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 950 | OA
G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” presented at the CONCUR: Concurrency Theory, Berlin, Germany, 2017, vol. 85.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Conference Paper | IST-REx-ID: 683 | OA
A. Lubiw, Z. Masárová, and U. Wagner, “A proof of the orbit conjecture for flipping edge labelled triangulations,” presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia, 2017, vol. 77.
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 1155 | OA
P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 6291 | OA
P. Payne, “Bacterial herd and social immunity to phages,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 
2017 | Journal Article | IST-REx-ID: 561 | OA
M. Pleska and C. C. Guet, “Effects of mutations in phage restriction sites during escape from restriction–modification,” Biology Letters, vol. 13, no. 12. The Royal Society, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications