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
2015 |Published| Journal Article | IST-REx-ID: 1506 | 
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
2015 |Published| Journal Article | IST-REx-ID: 1572 |
Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
2015 |Published| Book Chapter | IST-REx-ID: 1590 |
Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.
[Preprint]
View
| DOI
| Download Preprint (ext.)
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer Nature, 2015, pp. 335–347.
2015 |Published| Conference Paper | IST-REx-ID: 1646 |
Key-homomorphic constrained pseudorandom functions
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
A. Banerjee, G. Fuchsbauer, C. Peikert, K.Z. Pietrzak, S. Stevens, in:, 12th Theory of Cryptography Conference, Springer Nature, 2015, pp. 31–60.
2015 |Published| Conference Paper | IST-REx-ID: 1685 |
A fixed parameter tractable approximation scheme for the optimal cut graph of a surface
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
[Preprint]
View
| DOI
| Download Preprint (ext.)
V. Cohen Addad, A.N. de Mesmay, in:, Springer, 2015, pp. 386–398.
2015 |Published| Journal Article | IST-REx-ID: 1682 |
Robust satisfiability of systems of equations
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Franek, M. Krcál, Journal of the ACM 62 (2015).
2015 |Published| Journal Article | IST-REx-ID: 1710 |
Minimal resistance of curves under the single impact assumption
A. Akopyan, A. Plakhov, Society for Industrial and Applied Mathematics 47 (2015) 2754–2769.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Akopyan, A. Plakhov, Society for Industrial and Applied Mathematics 47 (2015) 2754–2769.
2015 |Published| Journal Article | IST-REx-ID: 1856 |
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).
2015 |Published| Conference Paper | IST-REx-ID: 1659 |
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
[Submitted Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
2015 |Published| Technical Report | IST-REx-ID: 5439 |
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
2015 |Published| Conference Paper | IST-REx-ID: 1637 |
The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258.
2015 |Published| Journal Article | IST-REx-ID: 7070
Magnetization of underdoped YBa2Cu3Oy above the irreversibility field
J.F. Yu, B.J. Ramshaw, I. Kokanović, K.A. Modic, N. Harrison, J. Day, R. Liang, W.N. Hardy, D.A. Bonn, A. McCollam, S.R. Julian, J.R. Cooper, Physical Review B 92 (2015).
View
| DOI
J.F. Yu, B.J. Ramshaw, I. Kokanović, K.A. Modic, N. Harrison, J. Day, R. Liang, W.N. Hardy, D.A. Bonn, A. McCollam, S.R. Julian, J.R. Cooper, Physical Review B 92 (2015).
2015 |Published| Conference Paper | IST-REx-ID: 782
Lock-Free algorithms under stochastic schedulers
D.-A. Alistarh, T. Sauerwald, M. Vojnović, in:, ACM, 2015, pp. 251–260.
View
| DOI
D.-A. Alistarh, T. Sauerwald, M. Vojnović, in:, ACM, 2015, pp. 251–260.
2015 |Published| Journal Article | IST-REx-ID: 8498
Arnold diffusion for smooth convex systems of two and a half degrees of freedom
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.
View
| DOI
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.
2015 |Published| Journal Article | IST-REx-ID: 8499
Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation
M. Guardia, V. Kaloshin, Journal of the European Mathematical Society 17 (2015) 71–149.
View
| DOI
M. Guardia, V. Kaloshin, Journal of the European Mathematical Society 17 (2015) 71–149.
2015 |Published| Journal Article | IST-REx-ID: 12631
Modeling 2 m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming
A. Ayala, F. Pellicciotti, J.M. Shea, Journal of Geophysical Research: Atmospheres 120 (2015) 3139–3157.
[Published Version]
View
| DOI
A. Ayala, F. Pellicciotti, J.M. Shea, Journal of Geophysical Research: Atmospheres 120 (2015) 3139–3157.
2015 |Published| Conference Paper | IST-REx-ID: 12881 |
Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
[Published Version]
View
| Files available
| DOI
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
2014 |Published| Journal Article | IST-REx-ID: 11583 |
A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.
2014 |Published| Conference Paper | IST-REx-ID: 11789 |
Online bipartite matching with decomposable weights
M. Charikar, M.H. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Charikar, M.H. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.
2014 |Published| Conference Paper | IST-REx-ID: 11875 |
Deterministic fully dynamic data structures for vertex cover and matching
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, in:, 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, in:, 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804.