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.
5039 Publications
2018 | Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View
| DOI
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
2018 | Book Chapter | IST-REx-ID: 60
Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
View
| DOI
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
2018 | Book Chapter | IST-REx-ID: 61 | 
There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
2018 | Journal Article | IST-REx-ID: 6354 |
Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
[Published Version]
View
| Files available
| DOI
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
2018 | Conference Poster | IST-REx-ID: 6459 |
Open Access at IST Austria 2009-2017
B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.
[Published Version]
View
| Files available
| DOI
B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.
2018 | Book Chapter | IST-REx-ID: 6525
Mirror symmetry with branes by equivariant verlinde formulas
T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
View
| DOI
T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
2018 | Journal Article | IST-REx-ID: 690 |
Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
2018 | Journal Article | IST-REx-ID: 703 |
Maximum persistency via iterative relaxed inference with graphical models
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
2018 | Conference Paper | IST-REx-ID: 7116 |
Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
[Published Version]
View
| Files available
| DOI
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
2018 | Conference Paper | IST-REx-ID: 7407 |
Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
2018 | Journal Article | IST-REx-ID: 6001
ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
View
| Files available
| DOI
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
2018 | Conference Paper | IST-REx-ID: 7812 |
Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
[Published Version]
View
| Files available
| arXiv
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
2018 | Preprint | IST-REx-ID: 8547 |
Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
2018 | Book Chapter | IST-REx-ID: 86 |
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 | Journal Article | IST-REx-ID: 9229 |
Diffraction-unlimited optical imaging for synaptic physiology
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
2018 | Conference Paper | IST-REx-ID: 6005 |
Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Journal Article | IST-REx-ID: 315 |
Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).
[Published Version]
View
| Files available
| DOI
J. Polechova, PLoS Biology 16 (2018).
2018 | Journal Article | IST-REx-ID: 9471 |
FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) E4720–E4729.
2018 | Conference Paper | IST-REx-ID: 186 |
The ℤ2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
2018 | Conference Paper | IST-REx-ID: 433 |
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.