Nils Timm
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2010–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EUMAS | Equilibrium Synthesis for Generalised Dining Philosophers Games. | Johan Pieter van Rooyen, Nils Timm |
| 2025 | EUMAS | Synthesis of Collectively Optimal Strategies for Infinite Runs of Multi-agent Systems via Maximum Satisfiability Solving. | Nils Timm, Steven Jordaan |
| 2018 | EUMAS | Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems. | Riccardo De Masellis, Valentin Goranko, Stefan Gruner, Nils Timm |
| 2014 | TASE | Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems. | Nils Timm |
| 2012 | ICFEM | Heuristic-Guided Abstraction Refinement for Concurrent Systems. | Nils Timm, Heike Wehrheim, Mike Czech |
| 2010 | ICFEM | On Symmetries and Spotlights - Verifying Parameterised Systems. | Nils Timm, Heike Wehrheim |