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.




3638 Publications

2014 | Conference Paper | IST-REx-ID: 2218 | OA
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 9479 | OA
The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes
Z. Mérai, N. Chumak, M. García-Aguilar, T.-F. Hsieh, T. Nishimura, V.K. Schoft, J. Bindics, L. Ślusarz, S. Arnoux, S. Opravil, K. Mechtler, D. Zilberman, R.L. Fischer, H. Tamaru, Proceedings of the National Academy of Sciences 111 (2014) 16166–16171.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 9458 | OA View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 9519
DNA methylation as a system of plant genomic immunity
M.Y. Kim, D. Zilberman, Trends in Plant Science 19 (2014) 320–326.
View | DOI | PubMed | Europe PMC
 
2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View | Files available | DOI
 

Search

Filter Publications