Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4134 Publications
2017 | Conference Paper | IST-REx-ID: 1194 | 
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
View
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
2017 | Journal Article | IST-REx-ID: 1196
Model measuring for discrete and hybrid systems
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
View
| DOI
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
2017 | Journal Article | IST-REx-ID: 1198 |
Triviality of a model of particles with point interactions in the thermodynamic limit
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
View
| Files available
| DOI
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
2017 | Journal Article | IST-REx-ID: 1207 |
Local law of addition of random matrices on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
View
| Files available
| DOI
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
2017 | Journal Article | IST-REx-ID: 1208 |
Maximum likelihood estimation for linear Gaussian covariance models
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
View
| DOI
| Download Submitted Version (ext.)
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
2017 | Journal Article | IST-REx-ID: 1211 |
Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
View
| Files available
| DOI
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
2017 | Book Chapter | IST-REx-ID: 1213
Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
View
| DOI
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
2017 | Journal Article | IST-REx-ID: 1294 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
View
| Files available
| DOI
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
2017 | Journal Article | IST-REx-ID: 1336 |
Towards a runtime comparison of natural and artificial evolution
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
View
| Files available
| DOI
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 | Journal Article | IST-REx-ID: 1337 |
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
View
| Files available
| DOI
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.