Simon Prucker

2024

• Hausmann D., Humml M., Prucker S., Schröder L., Strahlberger A.:
  Generic Model Checking for Modal Fixpoint Logics in COOL-MC
  25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024 was co-located with 51st ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2024 (London, 15. Januar 2024 - 16. Januar 2024)
  In: Rayna Dimitrova, Ori Lahav, Sebastian Wolff (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2024
  DOI: 10.1007/978-3-031-50524-9_8
• Prucker S., Schröder L.:
  Nominal Tree Automata with Name Allocation
  35th International Conference on Concurrency Theory, CONCUR 2024 (Calgary, AB, 9. September 2024 - 13. September 2024)
  In: Rupak Majumdar, Alexandra Silva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2024
  DOI: 10.4230/LIPIcs.CONCUR.2024.35

2023

• Görlitz O., Hausmann D., Humml M., Pattinson D., Prucker S., Schröder L.:
  COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
  Proceedings of the 29th International Conference on Automated Deduction, CADE-29 (Rome, 1. Juli 2023 - 4. Juli 2023)
  In: Brigitte Pientka, Cesare Tinelli (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
  DOI: 10.1007/978-3-031-38499-8_14