Nicolaj Ø. Jensen

According to our database, Nicolaj Ø. Jensen authored at least 7 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Token Elimination in Model Checking of Petri Nets Reproducibility Package.

Nicolaj Østerby Jensen, Kim Guldstrand Larsen, Jirí Srba

Dataset, February, 2025

Token Elimination in Model Checking of Petri Nets Reproducibility Package.

Nicolaj Østerby Jensen, Kim Guldstrand Larsen, Jirí Srba

Dataset, January, 2025

Token Elimination in Model Checking of Petri Nets.

Nicolaj Ø. Jensen, Kim G. Larsen, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions.

Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba

Proceedings of the 36th International Conference on Concurrency Theory, 2025

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

Proceedings of the Fourteenth International Symposium on Games, 2023

Dynamic Extrapolation in Extended Timed Automata.

Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen

Proceedings of the Formal Methods and Software Engineering, 2023

2020

Generation of Realistic Activity Scenarios for SUMO.

Falke B. Ø. Carlsen, Jacob J. Rasmussen, Mathias M. Sørensen, Nicolaj Ø. Jensen, Michele Albano

Proceedings of the MobiQuitous '20: Computing, 2020