Dirk Hofmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Relators and Notions of Simulation Revisited. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2025 | STACS | Identity-Preserving Lax Extensions and Where to Find Them. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | CSL | Quantitative Hennessy-Milner Theorems via Notions of Density. | Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | FOSSACS | Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2003 | ICALT | Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive Media. | Andreas Lingnau, Markus Kuhn, Andreas Harrer, Dirk Hofmann, Martin Fendrich, Heinz Ulrich Hoppe |