Simon Guilloud

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Classical Logic

First Order Logic

Surface Interpolation

Linear Time Temporal Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
Interpolation and Quantifiers in Ortholattices. VMCAI (1) (2024)
Simon Guilloud, Viktor Kuncak
Orthologic with Axioms. Proc. ACM Program. Lang. 8 (POPL) (2024)
Julie Cailler, Simon Guilloud
SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus. PAAR+SC²@IJCAR (2024)
Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak
Mechanized HOL Reasoning in Set Theory. CoRR (2024)
Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak
Formula Normalizations in Verification. CAV (3) (2023)
Simon Guilloud, Sankalp Gambhir, Viktor Kuncak
LISA - A Modern Proof System. ITP (2023)
Simon Guilloud, Viktor Kuncak
Orthologic with Axioms. CoRR (2023)
Simon Guilloud, Viktor Kuncak
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time. TACAS (2) (2022)
Simon Guilloud, Viktor Kuncak
On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time. CoRR (2021)