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.
1481 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1193 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1165 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
R. Fulek, in:, Springer, 2016, pp. 94–106.
2016 | Research Data | IST-REx-ID: 5557 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Synthetic discrete tomography problems
P. Swoboda, (2016).
[Published Version]
View
| Files available
| DOI
P. Swoboda, (2016).
2016 |Published| Conference Paper | IST-REx-ID: 15245 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
eXTP: Enhanced X-ray timing and polarization mission
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
2016 |Published| Journal Article | IST-REx-ID: 15242 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Using galaxy formation simulations to optimize LIGO follow-up observations
E. Antolini, I. Caiazzo, R. Davé, J.S. Heyl, Monthly Notices of the Royal Astronomical Society 466 (2016) 2212–2216.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Antolini, I. Caiazzo, R. Davé, J.S. Heyl, Monthly Notices of the Royal Astronomical Society 466 (2016) 2212–2216.
2015 |Published| Conference Paper | IST-REx-ID: 10796
The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
[Preprint]
View
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
2015 |Published| Journal Article | IST-REx-ID: 11519 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation
D. Sobral, J.J. Matthee, B. Darvish, D. Schaerer, B. Mobasher, H. Röttgering, S. Santos, S. Hemmati, The Astrophysical Journal 808 (2015) 139.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, J.J. Matthee, B. Darvish, D. Schaerer, B. Mobasher, H. Röttgering, S. Santos, S. Hemmati, The Astrophysical Journal 808 (2015) 139.
2015 |Published| Journal Article | IST-REx-ID: 11579 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The brightest Lyα emitter: Pop III or black hole?
A. Pallottini, A. Ferrara, F. Pacucci, S. Gallerani, S. Salvadori, R. Schneider, D. Schaerer, D. Sobral, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 453 (2015) 2465–2470.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Pallottini, A. Ferrara, F. Pacucci, S. Gallerani, S. Salvadori, R. Schneider, D. Schaerer, D. Sobral, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 453 (2015) 2465–2470.
2015 |Published| Journal Article | IST-REx-ID: 11668 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, S. Leonardi, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Colini-Baldeschi, S. Leonardi, M.H. Henzinger, M. Starnberger, ACM Transactions on Economics and Computation 4 (2015).
2015 |Published| Conference Paper | IST-REx-ID: 11774 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Combinatorial auctions with conflict-based externalities
Y.K. Cheung, M.H. Henzinger, M. Hoefer, M. Starnberger, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 230–243.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y.K. Cheung, M.H. Henzinger, M. Hoefer, M. Starnberger, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 230–243.
2015 |Published| Conference Paper | IST-REx-ID: 11787 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Finding 2-edge and 2-vertex strongly connected components in quadratic time
M.H. Henzinger, S. Krinninger, V. Loitzenbauer, in:, 2nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 713–724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, V. Loitzenbauer, in:, 2nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 713–724.
2015 |Published| Conference Paper | IST-REx-ID: 11786 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Design of dynamic algorithms via primal-dual method
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 206–218.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, G.F. Italiano, in:, 42nd International Colloquium on Automata, Languages and Programming, Springer Nature, 2015, pp. 206–218.
2015 |Published| Conference Paper | IST-REx-ID: 11868 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture
M.H. Henzinger, S. Krinninger, D. Nanongkai, T. Saranurak, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, T. Saranurak, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015.
2015 |Published| Conference Paper | IST-REx-ID: 11869 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, C. Tsourakakis, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015, pp. 173–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, C. Tsourakakis, in:, 47th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2015, pp. 173–182.
2015 |Published| Conference Paper | IST-REx-ID: 11837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Welfare maximization with friends-of-friends network externalities
S. Bhattacharya, W. Dvorák, M.H. Henzinger, Martin Starnberger, in:, 32nd International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Bhattacharya, W. Dvorák, M.H. Henzinger, Martin Starnberger, in:, 32nd International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102.
2015 |Published| Journal Article | IST-REx-ID: 1313
Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach
J.L. Fischer, Interfaces and Free Boundaries 17 (2015) 1–20.
View
| DOI
J.L. Fischer, Interfaces and Free Boundaries 17 (2015) 1–20.
2015 |Published| Journal Article | IST-REx-ID: 1504 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Spectral statistics of large dimensional spearman s rank correlation matrix and its application
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. Bao, L. Lin, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 2588–2623.
2015 |Published| Journal Article | IST-REx-ID: 1503 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.
[Preprint]
View
| DOI
| Download Preprint (ext.)
C. Sadel, Ergodic Theory and Dynamical Systems 35 (2015) 1582–1591.
2015 |Published| Conference Paper | IST-REx-ID: 1510 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.
[Published Version]
View
| Files available
| DOI
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.
2015 |Published| Journal Article | IST-REx-ID: 1505 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
[Preprint]
View
| DOI
| Download Preprint (ext.)
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.