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.
4238 Publications
2017 | Journal Article | IST-REx-ID: 1433 | 
Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “Phat - Persistent Homology Algorithms Toolbox.” Journal of Symbolic Computation. Academic Press, 2017. https://doi.org/10.1016/j.jsc.2016.03.008.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1010 |
Alt, Johannes, László Erdös, and Torben H Krüger. “Local Law for Random Gram Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP42.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 1528 |
Bao, Zhigang, and László Erdös. “Delocalization for a Class of Random Block Band Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-015-0692-y.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1113 |
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity.” Journal of Graph Algorithms and Applications. Brown University, 2017. https://doi.org/10.7155/jgaa.00408.
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 1407 |
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. https://doi.org/10.1016/j.nahs.2016.04.006.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1338 |
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1351 |
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1074 |
Ringbauer, Harald, Graham Coop, and Nicholas H Barton. “Inferring Recent Demography from Isolation by Distance of Long Shared Sequence Blocks.” Genetics. Genetics Society of America, 2017. https://doi.org/10.1534/genetics.116.196220.
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Thesis | IST-REx-ID: 1155 |
Daca, Przemyslaw. “Statistical and Logical Methods for Property Checking.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1294 |
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences. Elsevier, 2017. https://doi.org/10.1016/j.jcss.2016.09.009.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 274 |
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” In Proceedings of the 31st Conference On Learning Theory, 75:228–49. PMLR, 2017.
View
| Files available
| arXiv
2017 | Journal Article | IST-REx-ID: 1117 |
Chen, Chong, itaru Arai, Rachel Satterield, Samuel Young, and Peter M Jonas. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” Cell Reports. Cell Press, 2017. https://doi.org/10.1016/j.celrep.2016.12.067.
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 424 |
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. https://doi.org/10.1007/978-3-319-44479-6_17.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Conference Paper | IST-REx-ID: 432 |
Zhang, Hantian, Jerry Li, Kaan Kara, Dan-Adrian Alistarh, Ji Liu, and Ce Zhang. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” In Proceedings of Machine Learning Research, 70:4035–43. PMLR, 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 1187 |
Kiltz, Eike, Krzysztof Z Pietrzak, Daniele Venturi, David Cash, and Abhishek Jain. “Efficient Authentication from Hard Learning Problems.” Journal of Cryptology. Springer, 2017. https://doi.org/10.1007/s00145-016-9247-3.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 431 |
Alistarh, Dan-Adrian, Demjan Grubic, Jerry Li, Ryota Tomioka, and Milan Vojnović. “QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding,” 2017:1710–21. Neural Information Processing Systems Foundation, Inc., 2017.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” In Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017. https://doi.org/10.1039/9781788010405-00025.
View
| DOI
2017 | Journal Article | IST-REx-ID: 447 |
Ferrari, Patrik, and Peter Nejjar. “Fluctuations of the Competition Interface in Presence of Shocks.” Revista Latino-Americana de Probabilidade e Estatística. ALEA Network, 2017. https://doi.org/10.30757/ALEA.v14-17.
View
| DOI
| Download Submitted Version (ext.)
2017 | Thesis | IST-REx-ID: 1127 |
Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” IST Austria, 2017.
View
| Files available
2017 | Journal Article | IST-REx-ID: 453 |
Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal. Biophysical Society, 2017. https://doi.org/10.1016/j.bpj.2017.09.006.
View
| Files available
| DOI