Simon Prucker

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Simon Prucker, Lutz Schröder
Nominal Tree Automata With Name Allocation. CoRR (2024)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) (2024)
Simon Prucker, Lutz Schröder
Nominal Tree Automata with Name Allocation. CONCUR (2024)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR (2023)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR (2023)