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.
1850 Publications
2014 |Published| Journal Article | IST-REx-ID: 2255 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
2014 |Published| Conference Paper | IST-REx-ID: 2159 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Eliminating Tverberg points, I. An analogue of the Whitney trick
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
2014 |Published| Conference Paper | IST-REx-ID: 2218 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
2014 |Published| Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
2014 |Published| Conference Paper | IST-REx-ID: 2082 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The exact PRF-security of NMAC and HMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, in:, J. Garay, R. Gennaro (Eds.), Springer, 2014, pp. 113–130.
2014 |Published| Conference Paper | IST-REx-ID: 2157 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Embeddability in the 3 sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 78–84.
2014 |Published| Conference Paper | IST-REx-ID: 10894
PHAT – Persistent Homology Algorithms Toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
View
| Files available
| DOI
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
2014 |Published| Journal Article | IST-REx-ID: 1913 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Patterns of hippocampal tau pathology differentiate neurodegenerative dementias
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Milenković, T. Petrov, G. Kovács, Dementia and Geriatric Cognitive Disorders 38 (2014) 375–388.
2014 |Published| Journal Article | IST-REx-ID: 2257 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
2013 |Published| Journal Article | IST-REx-ID: 115
In situ granular charge measurement by free-fall videography
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
View
| DOI
S.R. Waitukaitis, H. Jaeger, Review of Scientific Instruments 84 (2013).
2013 |Published| Journal Article | IST-REx-ID: 11520 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
2013 |Published| Conference Paper | IST-REx-ID: 11793 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
2013 |Published| Conference Paper | IST-REx-ID: 11791 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Valuation compressions in VCG-based combinatorial auctions
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
2013 |Published| Conference Paper | IST-REx-ID: 11792 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maximizing a submodular function with viability constraints
W. Dvořák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
W. Dvořák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
2013 |Published| Conference Paper | IST-REx-ID: 11856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
2013 |Published| Conference Paper | IST-REx-ID: 1387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 |Published| Conference Paper | IST-REx-ID: 2237 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
[Submitted Version]
View
| Files available
| DOI
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.
2013 |Published| Conference Paper | IST-REx-ID: 2238
Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
View
| DOI
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.
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| Conference Paper | IST-REx-ID: 2259 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Learning with rounding, revisited: New reduction properties and applications
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.
[Published Version]
View
| Files available
| DOI
J.F. Alwen, S. Krenn, K.Z. Pietrzak, D. Wichs, 8042 (2013) 57–74.