DOI,IST REx ID,Title of publication
10.1007/BFb0020931,4612,Hybrid Systems III: Verification and Control
10.1007/3-540-60313-1_142,11805,Certificates and fast algorithms for biconnectivity in fully-dynamic graphs
10.1007/3-540-60084-1_81,11806,Approximating minimum cuts under insertions