DOI,IST REx ID,Title of publication
10.1007/3-540-63165-8_214,11803,Maintaining minimum spanning trees in dynamic graphs
10.1007/3-540-63165-8_213,4441,Discrete-time control for rectangular hybrid automata