Specifying Proof Systems in Linear Logic with Subexponentials. - Vivek Nigam; Elaine Pimentel; Giselle Reis (LSFA, 2010)

Towards CERes in intuitionistic logic. - Alexander Leitsch; Giselle Reis; Bruno Woltzenlogel Paleo (CSL, 2012)

Checking Proof Transformations with ASP. - Vivek Nigam; Giselle Reis; Leonardo Lima 001 (Theory Pract. Log. Program., 2013)

Introducing Quantified Cuts in Logic with Equality. - Stefan Hetzl; Alexander Leitsch; Giselle Reis; Janos Tapolczai; Daniel Weller 001 (IJCAR, 2014)

Quati: An Automated Tool for Proving Permutation Lemmas. - Vivek Nigam; Giselle Reis; Leonardo Lima 001 (IJCAR, 2014)

Algorithmic introduction of quantified cuts. - Stefan Hetzl; Alexander Leitsch; Giselle Reis; Daniel Weller 001 (Theor. Comput. Sci., 2014)

A Note on the Complexity of Classical and Intuitionistic Proofs. - Matthias Baaz; Alexander Leitsch; Giselle Reis (LICS, 2015)

An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. - Kaustuv Chaudhuri; Giselle Reis (LPAR, 2015)

The Proof Certifier Checkers. - Zakaria Chihani; Tomer Libal; Giselle Reis (TABLEAUX, 2015)

Towards the Automated Generation of Focused Proof Systems. - Vivek Nigam; Giselle Reis; Leonardo Lima 001 (WoF'15, 2015)

Importing SMT and Connection proofs as expansion trees. - Giselle Reis (PxTP@CADE, 2015)

System Description: GAPT 2.0. - Gabriel Ebner; Stefan Hetzl; Giselle Reis; Martin Riener; Simon Wolfsteiner; Sebastian Zivota (IJCAR, 2016)

Formalized Meta-Theory of Sequent Calculi for Substructural Logics. - Kaustuv Chaudhuri; Leonardo Lima 001; Giselle Reis (LSFA, 2016)

An extended framework for specifying and reasoning about proof systems. - Vivek Nigam; Elaine Pimentel; Giselle Reis (J. Log. Comput., 2016)

Ceres in intuitionistic logic. - David M. Cerna; Alexander Leitsch; Giselle Reis; Simon Wolfsteiner (Ann. Pure Appl. Log., 2017)

Mechanizing Focused Linear Logic in Coq. - Bruno Xavier; Carlos Olarte; Giselle Reis; Vivek Nigam (LSFA, 2017)

Epsilon Terms in Intuitionistic Sequent Calculus. - Bruno Woltzenlogel Paleo; Giselle Reis (FLAP, 2017)

Formalization of Automated Trading Systems in a Concurrent Linear Framework. - Iliano Cervesato; Sharjeel Khan; Giselle Reis; Dragisa Zunic (Linearity-TLLA@FLoC, 2018)

The ILLTP Library for Intuitionistic Linear Logic. - Carlos Olarte; Valeria de Paiva; Elaine Pimentel; Giselle Reis (Linearity-TLLA@FLoC, 2018)

On the Generation of Quantified Lemmas. - Gabriel Ebner; Stefan Hetzl; Alexander Leitsch; Giselle Reis; Daniel Weller 001 (J. Autom. Reason., 2019)

Complexity of translations from resolution to sequent calculus. - Giselle Reis; Bruno Woltzenlogel Paleo (Math. Struct. Comput. Sci., 2019)

Formalized meta-theory of sequent calculi for linear logics. - Kaustuv Chaudhuri; Leonardo Lima 001; Giselle Reis (Theor. Comput. Sci., 2019)

Sequoia: A Playground for Logicians - (System Description). - Giselle Reis; Zan Naeem; Mohammed Hashim (IJCAR (2), 2020)

Preface. - Cláudia Nalon; Giselle Reis (LSFA, 2020)

Proof Search and Certificates for Evidential Transactions. - Vivek Nigam; Giselle Reis; Samar Rahmouni; Harald Ruess (CADE, 2021)

Facilitating Meta-Theory Reasoning (Invited Paper). - Giselle Reis (LFMTP, 2021)

SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. - Laila El-Beheiry; Giselle Reis; Ammar Karkour (LFMTP, 2021)

Preface to Special Issue: LSFA 2019 and 2020. - Amy P. Felty; Giselle Reis (Math. Struct. Comput. Sci., 2022)

Gluon W: A Cryptocurrency Stabilization Protocol. - Bruno Woltzenlogel Paleo; Luca D'Angelo; Mohammad Shaheer; Giselle Reis (IACR Cryptol. ePrint Arch., 2025)