DOI,IST REx ID,Research Group,Title of publication
10.1016/j.ic.2024.105214,17474,KrCh,Entropic risk for turn-based stochastic games
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.2016.10.012,681,KrCh,Doomsday equilibria for omega-regular games
10.1016/j.ic.2012.11.002,11758,,"38th International Colloquium on Automata, Languages and Programming"
10.1016/j.ic.2004.06.001,4556,,Stack size analysis for interrupt-driven programs
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