VLDB 2026 Research / reviewers in the wild / expert
Nikolaj Jensen Ulrik
dblp:311/2971
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2023
0000-0002-0691-7018ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Elimination of Detached Regions in Dependency Graph Verification
Peter Gjøl Jensen, Kim G. Larsen, Jirí Srba, Nikolaj Jensen Ulrik |
SPIN | 4 |
| 2022 | Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking
Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt |
VMCAI | 3 |