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