Giselle Reis

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 17

Top Topics

Sequent Calculus

Top Venues

Math. Struct. Comput. Sci.

Publications

Amy Felty, Giselle Reis
Preface to Special Issue: LSFA 2019 and 2020. Math. Struct. Comput. Sci. 32 (9) (2022)
Giselle Reis
Facilitating Meta-Theory Reasoning (Invited Paper). LFMTP (2021)
Laila El-Beheiry, Giselle Reis, Ammar Karkour
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. LFMTP (2021)
Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
Proof Search and Certificates for Evidential Transactions. CADE (2021)
Cláudia Nalon, Giselle Reis
Preface. LSFA (2020)
Giselle Reis, Zan Naeem, Mohammed Hashim
Sequoia: A Playground for Logicians - (System Description). IJCAR (2) (2020)
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
On the Generation of Quantified Lemmas. J. Autom. Reason. 63 (1) (2019)
Giselle Reis, Bruno Woltzenlogel Paleo
Complexity of translations from resolution to sequent calculus. Math. Struct. Comput. Sci. 29 (8) (2019)
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Formalized meta-theory of sequent calculi for linear logics. Theor. Comput. Sci. 781 (2019)
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
Formalization of Automated Trading Systems in a Concurrent Linear Framework. Linearity-TLLA@FLoC (2018)
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC (2018)
David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
Ceres in intuitionistic logic. Ann. Pure Appl. Log. 168 (10) (2017)
Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
Mechanizing Focused Linear Logic in Coq. LSFA (2017)
Bruno Woltzenlogel Paleo, Giselle Reis
Epsilon Terms in Intuitionistic Sequent Calculus. FLAP 4 (2) (2017)
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
System Description: GAPT 2.0. IJCAR (2016)
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Formalized Meta-Theory of Sequent Calculi for Substructural Logics. LSFA (2016)
Vivek Nigam, Elaine Pimentel, Giselle Reis
An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26 (2) (2016)
Kaustuv Chaudhuri, Giselle Reis
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. LPAR (2015)
Vivek Nigam, Giselle Reis, Leonardo Lima
Towards the Automated Generation of Focused Proof Systems. WoF'15 (2015)
Zakaria Chihani, Tomer Libal, Giselle Reis
The Proof Certifier Checkers. TABLEAUX (2015)
Matthias Baaz, Alexander Leitsch, Giselle Reis
A Note on the Complexity of Classical and Intuitionistic Proofs. LICS (2015)
Giselle Reis
Importing SMT and Connection proofs as expansion trees. PxTP@CADE (2015)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Introducing Quantified Cuts in Logic with Equality. IJCAR (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
Introducing Quantified Cuts in Logic with Equality. CoRR (2014)
Vivek Nigam, Giselle Reis, Leonardo Lima
Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
Algorithmic introduction of quantified cuts. Theor. Comput. Sci. 549 (2014)
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
Algorithmic Introduction of Quantified Cuts. CoRR (2014)
Vivek Nigam, Giselle Reis, Leonardo Lima
Checking Proof Transformations with ASP. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo
Towards CERes in intuitionistic logic. CSL (2012)
Vivek Nigam, Elaine Pimentel, Giselle Reis
Specifying Proof Systems in Linear Logic with Subexponentials. LSFA (2010)