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.




4020 Publications

2017 | Journal Article | IST-REx-ID: 1018
Dobisova, Tereza, Vendula Hrdinova, Candela Cuesta, Sarka Michlickova, Ivana Urbankova, Romana Hejatkova, Petra Zadnikova, Markéta Pernisová, Eva Benková, and Jan Hejátko. “Light Regulated Expression of Sensor Histidine Kinase CKI1 Controls Cytokinin Related Development.” Plant Physiology. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.01964.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1020 | OA
Caixeiro, Soraya, Matilda Peruzzo, Olimpia Onelli, Silvia Vignolini, and Riccardo Sapienza. “Disordered Cellulose Based Nanostructures for Enhanced Light Scattering.” ACS Applied Materials and Interfaces. American Chemical Society, 2017. https://doi.org/10.1021/acsami.6b15986.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1021 | OA
Lopez Alonso, Jose M, and Marc Avila. “Boundary Layer Turbulence in Experiments on Quasi Keplerian Flows.” Journal of Fluid Mechanics. Cambridge University Press, 2017. https://doi.org/10.1017/jfm.2017.109.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1022 | OA
Pranav, Pratyush, Herbert Edelsbrunner, Rien Van De Weygaert, Gert Vegter, Michael Kerber, Bernard Jones, and Mathijs Wintraecken. “The Topology of the Cosmic Web in Terms of Persistent Betti Numbers.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2017. https://doi.org/10.1093/mnras/stw2862.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1023 | OA
Nemish, Yuriy. “Local Law for the Product of Independent Non-Hermitian Random Matrices with Independent Entries.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP38.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1025
Heisenberg, Carl-Philipp J. “Cell Biology: Stretched Divisions.” Nature. Nature Publishing Group, 2017. https://doi.org/10.1038/nature21502.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” Informationspraxis. Univ.-Bibliothek Heidelberg, 2017. https://doi.org/10.11588/ip.2017.1.35227.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158118.
View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 10417 | OA
Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158119.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 10418 | OA
Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.
View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications