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.
5 Publications
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22648 |
| 
|
Dey TK, Lipiński M, Soriano Trigueros M. 2026. Conley-Morse persistence barcode: A homological signature of combinatorial bifurcations. Foundations of Computational Mathematics.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 23155 |
|
|
Hollom L, Lichev L, Mond A, Portier J, Wang Y. 2026. Monotonicity and decompositions of random regular graphs. Annals of Applied Probability. 36(5), 4716–4738.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22622 |
Richter C, Chalupa M, Jakobs MC, Wehrheim H. 2026. Off-the-Shelf cooperative software verification by splitting programs dynamically. Software Engineering 2026. SE: Software Engineering, Lecture Notes in Informatics, vol. P-377, 41–42.
[Published Version]
View
| Files available
| DOI
earlier version | 2020 |
Published |
Conference Paper |
IST-REx-ID: 8287 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2020. Reachability analysis of linear hybrid systems via block decomposition. Proceedings of the International Conference on Embedded Software. EMSOFT: Embedded Software.
[Preprint]
View
| Files available
| WoS
| arXiv
1988 |
Published |
Conference Paper |
IST-REx-ID: 4097
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. 1988. Arrangements of curves in the plane - topology, combinatorics, and algorithms. 15th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 317, 214–229.
View
| DOI
| Download None (ext.)