Emmanuel Gunther

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Coloured Petri Nets

Formal Verification

Top Venues

Arch. Formal Proofs

Publications

Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
The formal verification of the ctm approach to forcing. Ann. Pure Appl. Log. 175 (5) (2024)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
Transitive Models of Fragments of ZFC. Arch. Formal Proofs 2022 (2022)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
The Independence of the Continuum Hypothesis in Isabelle/ZF. Arch. Formal Proofs 2022 (2022)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
The formal verification of the ctm approach to forcing. CoRR (2022)
Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping. Sci. Comput. Program. 197 (2020)
Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
A formalisation of LEGv8 in Agda. SBLP (2020)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
Formalization of Forcing in Isabelle/ZF. Arch. Formal Proofs 2020 (2020)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
Formalization of Forcing in Isabelle/ZF. IJCAR (2) (2020)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
Formalization of Forcing in Isabelle/ZF. CoRR (2020)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
Mechanization of Separation in Generic Extensions. CoRR (2019)
Alberto Pardo, Emmanuel Gunther, Miguel Pagano, Marcos Viera
An Internalist Approach to Correct-by-Construction Compilers. PPDP (2018)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
First Steps Towards a Formalization of Forcing. LSFA (2018)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
First steps towards a formalization of Forcing. CoRR (2018)
Alejandro Gadea, Emmanuel Gunther, Miguel Pagano
The importance of being Extrinsic: Coherence and adequacy for a call-by-value language. SBLP (2017)
Emmanuel Gunther, Alejandro Gadea, Miguel Pagano
Formalization of Universal Algebra in Agda. LSFA (2017)