ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Conley-Morse persistence barcode: A homological signature of combinatorial bifurcations
T.K. Dey, M. Lipiński, M. Soriano Trigueros, Foundations of Computational Mathematics (2026).

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

Monotonicity and decompositions of random regular graphs
L. Hollom, L. Lichev, A. Mond, J. Portier, Y. Wang, Annals of Applied Probability 36 (2026) 4716–4738.

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 22622 |

Off-the-Shelf cooperative software verification by splitting programs dynamically
C. Richter, M. Chalupa, M.C. Jakobs, H. Wehrheim, in:, Software Engineering 2026, Gesellschaft für Informatik, 2026, pp. 41–42.

[Published Version] View | Files available | DOI

Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, 2020.

[Preprint] View | Files available | WoS | arXiv

1988 | Published | Conference Paper | IST-REx-ID: 4097

Arrangements of curves in the plane - topology, combinatorics, and algorithms
H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, M. Sharir, in:, 15th International Colloquium on Automata, Languages and Programming, Springer, 1988, pp. 214–229.

View | DOI | Download None (ext.)

keyword="decomposition"