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.
545 Publications
2013 |Published| Conference Paper | IST-REx-ID: 2209
Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
View
| DOI
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
2013 |Published| Conference Paper | IST-REx-ID: 2244 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.
2013 |Published| Journal Article | IST-REx-ID: 245 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
View
| DOI
| Download (ext.)
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
2013 |Published| Conference Paper | IST-REx-ID: 2517 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Formalizing and reasoning about quality
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, 7966 (2013) 15–27.
2013 |Published| Journal Article | IST-REx-ID: 2698 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stability and semiclassics in self-generated fields
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, S. Fournais, J. Solovej, Journal of the European Mathematical Society 15 (2013) 2093–2113.
2013 |Published| Journal Article | IST-REx-ID: 2828 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The complexity of conservative valued CSPs
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, S. Živný, Journal of the ACM 60 (2013).
2013 |Published| Journal Article | IST-REx-ID: 2837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The local semicircle law for a general class of random matrices
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
[Published Version]
View
| Files available
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 18 (2013) 1–58.
2013 |Published| Conference Paper | IST-REx-ID: 2843
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.
2013 |Published| Journal Article | IST-REx-ID: 2854 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Strategy improvement for concurrent reachability and turn based stochastic safety games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, Journal of Computer and System Sciences 79 (2013) 640–657.
2013 |Published| Journal Article | IST-REx-ID: 2939
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.
View
| Files available
| DOI
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.
2013 |Published| Technical Report | IST-REx-ID: 5409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
2012 |Published| Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 |Published| Journal Article | IST-REx-ID: 171 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.
View
| DOI
| Download (ext.)
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.
2012 |Published| Journal Article | IST-REx-ID: 238
Inhomogeneous quadratic congruences
S. Baier, T.D. Browning, Functiones et Approximatio, Commentarii Mathematici 47 (2012) 267–286.
View
| DOI
S. Baier, T.D. Browning, Functiones et Approximatio, Commentarii Mathematici 47 (2012) 267–286.
2012 |Published| Journal Article | IST-REx-ID: 2401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Further implications of the Bessis-Moussa-Villani conjecture
É. Lieb, R. Seiringer, Journal of Statistical Physics 149 (2012) 86–91.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Journal of Statistical Physics 149 (2012) 86–91.
2012 |Published| Journal Article | IST-REx-ID: 243
Quadratic polynomials represented by norm forms
T.D. Browning, R. Heath Brown, Geometric and Functional Analysis 22 (2012) 1124–1190.
View
| DOI
T.D. Browning, R. Heath Brown, Geometric and Functional Analysis 22 (2012) 1124–1190.
2012 |Published| Journal Article | IST-REx-ID: 2767
Bulk universality for generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
View
| DOI
L. Erdös, H. Yau, J. Yin, Probability Theory and Related Fields 154 (2012) 341–407.
2012 |Published| Journal Article | IST-REx-ID: 2775
Universality of local spectral statistics of random matrices
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
View
| DOI
L. Erdös, H. Yau, Bulletin of the American Mathematical Society 49 (2012) 377–414.
2012 |Published| Journal Article | IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
2012 |Published| Journal Article | IST-REx-ID: 2772
Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.