Simon Prucker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CONCUR | Nominal Tree Automata with Name Allocation. | Simon Prucker, Lutz Schrder |
| 2024 | VMCAI | Generic Model Checking for Modal Fixpoint Logics in COOL-MC. | Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schrder, Aaron Strahlberger |
| 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 |