Login / Signup
Simon Prucker
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Fixpoint
Top Venues
CoRR
VMCAI (1)
CADE
</>
Publications
</>
Daniel Hausmann
,
Merlin Humml
,
Simon Prucker
,
Lutz Schröder
,
Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC.
VMCAI (1)
(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)