Generation of Realistic Activity Scenarios for SUMO. - Falke B. Ø. Carlsen; Jacob J. Rasmussen; Mathias M. Sørensen; Nicolaj Ø. Jensen; Michele Albano (MobiQuitous, 2020)

Dynamic Extrapolation in Extended Timed Automata. - Nicolaj Ø. Jensen; Peter Gjøl Jensen; Kim G. Larsen (ICFEM, 2023)

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. - Falke B. Ø. Carlsen; Lars Bo P. Frydenskov; Nicolaj Ø. Jensen; Jener Rasmussen; Mathias M. Sørensen; Asger G. Weirsøe; Mathias Claus Jensen; Kim G. Larsen (GandALF, 2023)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. - Nicolaj Ø. Jensen; Kim G. Larsen; Didier Lime; Jirí Srba (CONCUR, 2025)

Token Elimination in Model Checking of Petri Nets. - Nicolaj Ø. Jensen; Kim G. Larsen; Jirí Srba (TACAS (1), 2025)

Token Elimination in Model Checking of Petri Nets Reproducibility Package. - Nicolaj Østerby Jensen; Kim Guldstrand Larsen; Jirí Srba (Zenodo, 2025)

Token Elimination in Model Checking of Petri Nets Reproducibility Package. - Nicolaj Østerby Jensen; Kim Guldstrand Larsen; Jirí Srba (Zenodo, 2025)