Nicolaj . Jensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. | Nicolaj . Jensen, Kim G. Larsen, Didier Lime, Jir Srba |
| 2025 | TACAS | Token Elimination in Model Checking of Petri Nets. | Nicolaj . Jensen, Kim G. Larsen, Jir Srba |
| 2023 | ICFEM | Dynamic Extrapolation in Extended Timed Automata. | Nicolaj . Jensen, Peter Gjl Jensen, Kim G. Larsen |
| 2020 | Mobiquitous | Generation of Realistic Activity Scenarios for SUMO. | Falke B. . Carlsen, Jacob J. Rasmussen, Mathias M. Srensen, Nicolaj . Jensen, Michele Albano |