Nikolaj Kuhne Jakobsen

According to our database, Nikolaj Kuhne Jakobsen authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Establishing tool support for a concept DSL.

Nikolaj Kuhne Jakobsen

CoRR, March, 2025

State-Based Modelling with a Concept DSL.

Nikolaj Kuhne Jakobsen

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

2023

State of the Art Report: Verified Computation.

Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild

CoRR, 2023