Merlin Humml
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | JURIX | DIREGA - Building Decision Support for German Register Law. | Axel Adrian, Osman Anil Basaran, Nathan Dykes, Stephanie Evert, Michael Gritz, Merlin Humml, Michael Kohlhase, Johannes Lindner, Andreas Maier, Stephan Prettner, Max Rapp, Lutz Schrder, Verena Strmer |
| 2024 | VMCAI | Generic Model Checking for Modal Fixpoint Logics in COOL-MC. | Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schrder, Aaron Strahlberger |
| 2023 | AAAI | Common Knowledge of Abstract Groups. | Merlin Humml, Lutz Schrder |
| 2023 | CADE | COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). | Oliver Grlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schrder |