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., Michał Lipiński, and Manuel Soriano Trigueros. “Conley-Morse Persistence Barcode: A Homological Signature of Combinatorial Bifurcations.” Foundations of Computational Mathematics. Springer, 2026. https://doi.org/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, Lyuben Lichev, Adva Mond, Julien Portier, and Yiting Wang. “Monotonicity and Decompositions of Random Regular Graphs.” Annals of Applied Probability. Institute of Mathematical Statistics, 2026. https://doi.org/10.1214/26-AAP2345.
[Published Version]
View
| Files available
| DOI
| arXiv
2026 |
Published |
Conference Paper |
IST-REx-ID: 22622 |
Richter, Cedric, Marek Chalupa, Marie Christine Jakobs, and Heike Wehrheim. “Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically.” In Software Engineering 2026, P-377:41–42. Gesellschaft für Informatik, 2026. https://doi.org/10.18420/se2026_45.
[Published Version]
View
| Files available
| DOI
earlier version | 2020 |
Published |
Conference Paper |
IST-REx-ID: 8287 |
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In 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, Leonidas Guibas, János Pach, Richard Pollack, Raimund Seidel, and Micha Sharir. “Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms.” In 15th International Colloquium on Automata, Languages and Programming, 317:214–29. Springer, 1988. https://doi.org/10.1007/3-540-19488-6_118.
View
| DOI
| Download None (ext.)