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