Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6185 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2905 | 
Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society, 2014, pp. 31–50.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society, 2014, pp. 31–50.
2014 | Published | Conference Paper | IST-REx-ID: 2053 |
Probabilistic bisimulation: Naturally on distributions
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
H. Hermanns, J. Krčál, J. Kretinsky, in:, P. Baldan, D. Gorla (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 249–265.
2014 | Published | Book Chapter | IST-REx-ID: 2044 |
Clear and Compress: Computing Persistent Homology in Chunks
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Bauer, M. Kerber, J. Reininghaus, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III, Springer, 2014, pp. 103–117.
2014 | Published | Conference Paper | IST-REx-ID: 2153 |
Induced matchings of barcodes and the algebraic stability of persistence
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
2014 | Published | Conference Paper | IST-REx-ID: 2156 |
Measuring distance between Reeb graphs
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Bauer, X. Ge, Y. Wang, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 464–473.
2014 | Published | Conference Paper | IST-REx-ID: 2155 |
The morse theory of Čech and Delaunay filtrations
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Bauer, H. Edelsbrunner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 484–490.
2014 | Published | Conference Paper | IST-REx-ID: 2157 |
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.)
| arXiv
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: 2027 |
Verification of markov decision processes using learning algorithms
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 98–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, D. Parker, M. Ujma, in:, F. Cassez, J.-F. Raskin (Eds.), Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2014, pp. 98–114.
2014 | Published | Conference Paper | IST-REx-ID: 2236 |
How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
[Submitted Version]
View
| Files available
| DOI
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
2014 | Published | Conference Paper | IST-REx-ID: 2043 |
Distributed computation of persistent homology
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2014, pp. 31–38.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
U. Bauer, M. Kerber, J. Reininghaus, in:, C. McGeoch, U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2014, pp. 31–38.