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, Tamal K., et al. “Conley-Morse Persistence Barcode: A Homological Signature of Combinatorial Bifurcations.” Foundations of Computational Mathematics, Springer, 2026, doi:10.1007/s10208-026-09766-6.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2026 |
Published |
Journal Article |
IST-REx-ID: 23155 |
|
|
Hollom, Lawrence, et al. “Monotonicity and Decompositions of Random Regular Graphs.” Annals of Applied Probability, vol. 36, no. 5, Institute of Mathematical Statistics, 2026, pp. 4716–38, doi:10.1214/26-AAP2345.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22622 |
Richter, Cedric, et al. “Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically.” Software Engineering 2026, vol. P-377, Gesellschaft für Informatik, 2026, pp. 41–42, doi:10.18420/se2026_45.
[Published Version]
View
| Files available
| DOI
earlier version | 2020 |
Published |
Conference Paper |
IST-REx-ID: 8287 |
Bogomolov, Sergiy, et al. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” Proceedings of the International Conference on Embedded Software, 2020.
[Preprint]
View
| Files available
| WoS
| arXiv
1988 |
Published |
Conference Paper |
IST-REx-ID: 4097
Edelsbrunner, Herbert, et al. “Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms.” 15th International Colloquium on Automata, Languages and Programming, vol. 317, Springer, 1988, pp. 214–29, doi:10.1007/3-540-19488-6_118.
View
| DOI
| Download None (ext.)