DOI,IST REx ID,Research Group,Title of publication
10.1007/s10208-026-09766-6,22648,HeEd,Conley-Morse persistence barcode: A homological signature of combinatorial bifurcations
10.1214/26-AAP2345,23155,"MaKw,GradSch",Monotonicity and decompositions of random regular graphs
10.18420/se2026_45,22622,ToHe,Off-the-Shelf cooperative software verification by splitting programs dynamically
null,8287,ToHe,Reachability analysis of linear hybrid systems via block decomposition
10.1007/3-540-19488-6_118,4097,,"Arrangements of curves in the plane - topology, combinatorics, and algorithms"