I try to keep this list updated, but in case I fail, there is always DBLP and GoogleScholar.

[38] |
Mohammad Shaheer, Giselle Reis, Bruno Woltzenlogel Paleo, and Joachim
Zahnentferner.
Formalization of Blockchain Oracles in Coq.
29^{th} International Conference on Types for Proofs and Programs
(TYPES), 2023.[ bib | .pdf ] |

[37] |
Ammar Karkour and Giselle Reis.
A Formalization of Python’s Execution Machinery.
29^{th} International Conference on Types for Proofs and Programs
(TYPES), 2023.[ bib | .pdf ] |

[36] |
Vivek Nigam, Giselle Reis, Samar Rahmouni, and Harald Ruess.
Proof Search and Certificates for Evidential Transactions.
In André Platzer and Geoff Sutcliffe, editors, Automated
Deduction — CADE 28, pages 234–251, Cham, 2021. Springer International
Publishing.[ bib | DOI | .pdf ] |

[35] |
Laila El-Beheiry, Giselle Reis, and Ammar Karkour.
SMLtoCoq: Automated Generation of Coq Specifications and Proof
Obligations from SML Programs with Contracts.
In Elaine Pimentel and Enrico Tassi, editors, Proceedings
Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and
Practice, volume 337 of Electronic Proceedings in Theoretical Computer
Science, pages 71–87. Open Publishing Association, 2021.[ bib | DOI | .pdf ] |

[34] |
Giselle Reis.
Facilitating Meta-Theory Reasoning (Invited Paper).
In Elaine Pimentel and Enrico Tassi, editors, Proceedings
Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and
Practice, volume 337 of Electronic Proceedings in Theoretical Computer
Science, pages 1–12. Open Publishing Association, 2021.[ bib | DOI | .pdf ] |

[33] |
Cláudia Nalon and Giselle Reis, editors.
Proceedings of LSFA 2020, the 15, 2020.^{th} International Workshop
on Logical and Semantic Frameworks, with Applications (LSFA 2020)[ bib | DOI ] |

[32] |
Giselle Reis, Zan Naeem, and Mohammed Hashim.
Sequoia: A Playground for Logicians.
In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors,
10,
pages 480–488. Springer International Publishing, 2020.^{th} International Joint Conference on Automated Reasoning, (IJCAR)[ bib | DOI | .pdf ] |

[31] |
Haniel Barbosa and Giselle Reis, editors.
Proceedings of the Sixth Workshop on Proof eXchange for Theorem
Proving (PxTP), 2019.[ bib | DOI ] |

[30] |
Zan Naeem and Giselle Reis.
Unification of multisets with multiple labelled multiset variables.
33^{rd} International Workshop on Unification (UNIF), 2019.[ bib | .pdf ] |

[29] |
Giselle Reis and Bruno Woltzenlogel Paleo, editors.
An Encyclopaedia of Proof Systems.
College Publications, London, UK, 2 edition, 2018.[ bib | DOI ] |

[28] |
Frédéric Blanqui and Giselle Reis, editors.
Proceedings of the 13, volume
abs/1807.01352, 2018.^{th} International Workshop on Logical
Frameworks and Meta-Languages: Theory and Practice (LFMTP)[ bib | DOI ] |

[27] |
Giselle Reis and Bruno Woltzenlogel Paleo.
Epsilon-Sound Sequent Calculus LJ^{}.
In Bruno Woltzenlogel Paleo and Giselle Reis, editors, An
Encyclopaedia of Proof Systems. College Publications, 2 edition, 2018.[ bib | .pdf ] |

[26] |
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, and Giselle Reis.
The ILLTP Library for Intuitionistic Linear Logic.
In Proceedings Joint International Workshop on Linearity &
Trends in Linear Logic and Applications, Linearity-TLLA@FLoC, pages
118–132, 2018.[ bib | DOI | .pdf ] |

[25] |
Iliano Cervesato, Sharjeel Khan, Giselle Reis, and Dragisa Zunic.
Formalization of Automated Trading Systems in a Concurrent Linear
Framework.
In Proceedings Joint International Workshop on Linearity &
Trends in Linear Logic and Applications, Linearity-TLLA@FLoC, pages 1–14,
2018.[ bib | DOI | .pdf ] |

[24] |
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, and Daniel
Weller.
On the Generation of Quantified Lemmas.
Journal of Automated Reasoning, 2018.[ bib | DOI | .pdf ] |

[23] |
Giselle Reis and Bruno Woltzenlogel Paleo.
Complexity of Translations from Resolution to Sequent Calculus.
Mathematical Structures in Computer Science, page 1–31, 2018.[ bib | DOI | .pdf ] |

[22] |
Bruno Xavier, Carlos Olarte, Giselle Reis, and Vivek Nigam.
Mechanizing Focused Linear Logic in Coq.
Electronic Notes in Theoretical Computer Science, 338:219 —
236, 2018.
The 12th Workshop on Logical and Semantic Frameworks, with
Applications (LSFA 2017).[ bib | DOI | .pdf ] |

[21] |
Giselle Reis and Bruno Woltzenlogel Paleo.
Epsilon Terms in Intuitionistic Sequent Calculus.
IfCoLog Journal of Logics and their Applications, Special Issue:
Hilberts epsilon and tau in Logic, Informatics and Linguistics, 4(2):401 —
423, 2017.[ bib | DOI | .pdf ] |

[20] |
David Cerna, Alexander Leitsch, Giselle Reis, and Simon Wolfsteiner.
Ceres in intuitionistic logic.
Annals of Pure and Applied Logic, 168(10):1783 — 1836, 2017.[ bib | DOI | .pdf ] |

[19] |
Kaustuv Chaudhuri, Leonardo Lima, and Giselle Reis.
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.
Electronic Notes in Theoretical Computer Science, 332:57 — 73,
2017.
LSFA 2016 – 11th Workshop on Logical and Semantic Frameworks with
Applications (LSFA).[ bib | DOI | .pdf ] |

[18] |
Kaustuv Chaudhuri, Leonardo Lima, and Giselle Reis.
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.
In 11, volume 332, pages 57 — 73, 2016.^{th} Workshop on Logical and Semantic Frameworks with
Applications (LSFA)[ bib | DOI | .pdf ] |

[17] |
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner,
and Sebastian Zivota.
System Description: GAPT 2.0.
In 8, pages 293–301, 2016.^{th} International Joint Conference on Automated
Reasoning, (IJCAR)[ bib | DOI | .pdf ] |

[16] |
Vivek Nigam, Elaine Pimentel, and Giselle Reis.
An extended framework for specifying and reasoning about proof
systems.
Journal of Logic and Computation, 26(2):539–576, 2016.[ bib | DOI | .pdf ] |

[15] |
Giselle Reis and Valeria de Paiva.
Multi-Conclusion Sequent Calculus LJ’.
In Bruno Woltzenlogel Paleo, editor, Towards an Encyclopaedia of
Proof Systems, page 8. College Publications, 1 edition, 2015.[ bib | .pdf ] |

[14] |
Matthias Baaz, Alexander Leitsch, and Giselle Reis.
A Note on the Complexity of Classical and Intuitionistic Proofs.
In 30, pages 657–666, 2015.^{th} Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS)[ bib | DOI | .pdf ] |

[13] |
Giselle Reis.
Importing SMT and Connection proofs as expansion trees.
In Fourth Workshop on Proof eXchange for Theorem Proving
(PxTP), pages 3–10, 2015.[ bib | DOI | .pdf ] |

[12] |
Zakaria Chihani, Tomer Libal, and Giselle Reis.
The Proof Certifier Checkers.
In 24, pages 201–210, 2015.^{th} International Conference on Automated Reasoning
with Analytic Tableaux and Related Methods (TABLEAUX)[ bib | DOI | .pdf ] |

[11] |
Kaustuv Chaudhuri and Giselle Reis.
An Adequate Compositional Encoding of Bigraph Structure in Linear
Logic with Subexponentials.
In 20, pages 146–161, 2015.^{th} International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (LPAR)[ bib | DOI | .pdf ] |

[10] |
Vivek Nigam, Giselle Reis, and Leonardo Lima.
Towards the Automated Generation of Focused Proof Systems.
In Proceedings First International Workshop on Focusing,
WoF’15, pages 1–6, 2015.[ bib | DOI | .pdf ] |

[9] |
Giselle Reis.
Cut-elimination by resolution in intuitionistic logic.
Phd thesis, Vienna University of Technology, 2014.[ bib | .pdf ] |

[8] |
Giselle Reis.
Intuitionistic Sequent Calculus LJ.
In Bruno Woltzenlogel Paleo, editor, Towards an Encyclopaedia of
Proof Systems, page 5. College Publications, 1 edition, 2014.[ bib | .pdf ] |

[7] |
Vivek Nigam, Giselle Reis, and Leonardo Lima.
Quati: An Automated Tool for Proving Permutation Lemmas.
In 7, pages 255–261, 2014.^{th} International Joint Conference on Automated
Reasoning (IJCAR 2014)[ bib | DOI | .pdf ] |

[6] |
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, and Daniel
Weller.
Introducing Quantified Cuts in Logic with Equality.
In 7, pages 240–254, 2014.^{th} International Joint Conference on Automated
Reasoning (IJCAR)[ bib | DOI | .pdf ] |

[5] |
Stefan Hetzl, Alexander Leitsch, Giselle Reis, and Daniel Weller.
Algorithmic introduction of quantified cuts.
Theoretical Computer Science, 549:1 — 16, 2014.
A more complete version can be found at
https://arxiv.org/abs/1401.4330.[ bib | DOI | .pdf ] |

[4] |
Vivek Nigam, Giselle Reis, and Leonardo Lima.
Checking Proof Transformations with ASP.
In 29, volume 13, 2013.^{th} International Conference on Logic Programming
(ICLP)[ bib | .pdf ] |

[3] |
Alexander Leitsch, Giselle Reis, and Bruno Woltzenlogel Paleo.
Towards CERes in intuitionistic logic.
In 21,
volume 16, pages 485–499, 2012.^{st} EACSL Annual Conference on Computer Science Logic[ bib | DOI | .pdf ] |

[2] |
Giselle Reis.
Specification of systems using linear logic with
subexponentials (in Portuguese).
Msc thesis, Federal University of Minas Gerais, 2010.[ bib | .pdf ] |

[1] |
Vivek Nigam, Elaine Pimentel, and Giselle Reis.
Specifying Proof Systems in Linear Logic with Subexponentials.
In 5, volume 269, pages 109–123, 2010.^{th} Workshop on Logical and Semantic Frameworks, with
Applications (LSFA)[ bib | DOI | .pdf ] |