DOI,IST REx ID,Title of publication
10.1016/j.ic.2021.104805,11756,Constant-time dynamic weight approximation for minimum spanning forest
10.1016/j.ic.2018.02.005,11757,Dynamic algorithms via the primal-dual method
10.1016/j.ic.2012.11.002,11758,"38th International Colloquium on Automata, Languages and Programming"
10.1006/inco.2001.3085,4474,Fair simulation
10.1006/inco.1994.1060,4501,Temporal proof methodologies for timed transition systems
10.1006/inco.1994.1045,4503,Symbolic model checking for real-time systems