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.
7604 Publications
2017 |
Published |
Conference Paper |
IST-REx-ID: 1194 |
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
2017 |
Published |
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
| WoS
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
| WoS
T. Moser, R. Seiringer, Letters in Mathematical Physics 107 (2017) 533–552.
2017 |
Published |
Journal Article |
IST-REx-ID: 1199 |
How does epistasis influence the response to selection?
N.H. Barton, Heredity 118 (2017) 96–109.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
N.H. Barton, Heredity 118 (2017) 96–109.
2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
| WoS
Z. Bao, L. Erdös, K. Schnelli, Communications in Mathematical Physics 349 (2017) 947–990.
2017 |
Published |
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
P. Zwiernik, C. Uhler, D. Richards, Journal of the Royal Statistical Society. Series B: Statistical Methodology 79 (2017) 1269–1292.
2017 |
Published |
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.
[Submitted Version]
View
| Files available
| DOI
| WoS
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
2017 |
Published |
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
| WoS
N.S. Baranova, M. Loose, in:, A. Echard (Ed.), Cytokinesis, Academic Press, 2017, pp. 355–370.
2017 |
Published |
Journal Article |
IST-REx-ID: 265 |
Rational curves on smooth hypersurfaces of low degree
T.D. Browning, P. Vishe, Geometric Methods in Algebra and Number Theory 11 (2017) 1657–1675.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, P. Vishe, Geometric Methods in Algebra and Number Theory 11 (2017) 1657–1675.
2017 |
Published |
Journal Article |
IST-REx-ID: 266 |
Forms in many variables and differing degrees
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, Journal of the European Mathematical Society 19 (2017) 357–394.
2017 |
Published |
Journal Article |
IST-REx-ID: 267 |
Many cubic surfaces contain rational points
T.D. Browning, Mathematika 63 (2017) 818–839.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, Mathematika 63 (2017) 818–839.
2017 |
Published |
Journal Article |
IST-REx-ID: 268 |
A transference approach to a Roth-type theorem in the squares
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, S. Prendiville, International Mathematics Research Notices 2017 (2017) 2219–2248.
2017 |
Published |
Journal Article |
IST-REx-ID: 269 |
Varieties with too many rational points
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, D. Loughran, Mathematische Zeitschrift 285 (2017) 1249–1267.
2017 |
Published |
Journal Article |
IST-REx-ID: 270 |
Power-free values of polynomials on symmetric varieties
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, A. Gorodnik, Proceedings of the London Mathematical Society 114 (2017) 1044–1080.
2017 |
Published |
Journal Article |
IST-REx-ID: 272 |
Norm forms for arbitrary number fields as products of linear polynomials
T.D. Browning, L. Matthiesen, Annales Scientifiques de l’Ecole Normale Superieure 50 (2017) 1383–1446.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T.D. Browning, L. Matthiesen, Annales Scientifiques de l’Ecole Normale Superieure 50 (2017) 1383–1446.
2017 |
Published |
Conference Paper |
IST-REx-ID: 274 |
A faster approximation algorithm for the Gibbs partition function
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, ML Research Press, 2017, pp. 228–249.
[Published Version]
View
| Files available
| arXiv
V. Kolmogorov, in:, Proceedings of the 31st Conference On Learning Theory, ML Research Press, 2017, pp. 228–249.
2017 |
Published |
Conference Paper |
IST-REx-ID: 313 |
Experimental evidence for Wigner's tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K. Hatsagortsyan, T. Pfeifer, C. Keitel, R. Moshammer, in:, American Physical Society, 2017.
2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
| WoS
T. Paixao, J. Pérez Heredia, D. Sudholt, B. Trubenova, Algorithmica 78 (2017) 681–713.
2017 |
Published |
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.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 |
Published |
Journal Article |
IST-REx-ID: 1338 |
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.