Publications

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. 29th 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. 29th 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 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020), 2020.
bib | DOI ]
[32] Giselle Reis, Zan Naeem, and Mohammed Hashim. Sequoia: A Playground for Logicians. In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, 10th International Joint Conference on Automated Reasoning, (IJCAR), pages 480–488. Springer International Publishing, 2020.
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. 33rd 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 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), volume abs/1807.01352, 2018.
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 11th Workshop on Logical and Semantic Frameworks with Applications (LSFA), volume 332, pages 57 — 73, 2016.
bib | DOI | .pdf ]
[17] Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, and Sebastian Zivota. System Description: GAPT 2.0. In 8th International Joint Conference on Automated Reasoning, (IJCAR), pages 293–301, 2016.
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 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 657–666, 2015.
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 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), pages 201–210, 2015.
bib | DOI | .pdf ]
[11] Kaustuv Chaudhuri and Giselle Reis. An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. In 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), pages 146–161, 2015.
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 7th International Joint Conference on Automated Reasoning (IJCAR 2014), pages 255–261, 2014.
bib | DOI | .pdf ]
[6] Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, and Daniel Weller. Introducing Quantified Cuts in Logic with Equality. In 7th International Joint Conference on Automated Reasoning (IJCAR), pages 240–254, 2014.
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 29th International Conference on Logic Programming (ICLP), volume 13, 2013.
bib | .pdf ]
[3] Alexander Leitsch, Giselle Reis, and Bruno Woltzenlogel Paleo. Towards CERes in intuitionistic logic. In 21st EACSL Annual Conference on Computer Science Logic, volume 16, pages 485–499, 2012.
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 5th Workshop on Logical and Semantic Frameworks, with Applications (LSFA), volume 269, pages 109–123, 2010.
bib | DOI | .pdf ]