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.
5458 Publications
2016 | Published | Journal Article | IST-REx-ID: 1280 | 
Fixed energy universality for generalized wigner matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
2016 | Published | Journal Article | IST-REx-ID: 1219 |
Bulk universality for deformed wigner matrices
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
2016 | Published | Journal Article | IST-REx-ID: 1881 |
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
2016 | Published | Journal Article | IST-REx-ID: 1489 |
Local spectral statistics of Gaussian matrices with correlated entries
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
[Published Version]
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
2016 | Published | Technical Report | IST-REx-ID: 5445 |
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1071 |
Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
Chatterjee, Krishnendu, Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. 57. 2016
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. 57. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1095 |
Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
[Published Version]
View
| Files available
| DOI
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1705 |
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
[Published Version]
View
| Files available
| DOI
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
2016 | Published | Conference Paper | IST-REx-ID: 1135 |
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1439 |
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.
2016 | Published | Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View
| DOI
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
2016 | Published | Conference Paper | IST-REx-ID: 1103 |
Parallel reachability analysis for hybrid systems
Gurung, Amit, Parallel reachability analysis for hybrid systems. 2016
[Preprint]
View
| DOI
| Download Preprint (ext.)
Gurung, Amit, Parallel reachability analysis for hybrid systems. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1526 |
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
2016 | Published | Conference Paper | IST-REx-ID: 1421
Scalable static hybridization methods for analysis of nonlinear systems
Bak, Stanley, Scalable static hybridization methods for analysis of nonlinear systems. 2016
View
| DOI
Bak, Stanley, Scalable static hybridization methods for analysis of nonlinear systems. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1341 |
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
[Preprint]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
2016 | Published | Journal Article | IST-REx-ID: 1148
Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
View
| Files available
| DOI
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.
2016 | Published | Thesis | IST-REx-ID: 1130 |
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
2016 | Published | Conference Paper | IST-REx-ID: 1069 |
On the skolem problem for continuous linear dynamical systems
Chonev, Ventsislav K, On the skolem problem for continuous linear dynamical systems. 55. 2016
[Published Version]
View
| Files available
| DOI
Chonev, Ventsislav K, On the skolem problem for continuous linear dynamical systems. 55. 2016
2016 | Published | Conference Paper | IST-REx-ID: 1138 |
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
2016 | Published | Conference Paper | IST-REx-ID: 1389 |
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
[Preprint]
View
| DOI
| Download Preprint (ext.)
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.