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. 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^th 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, 10^th 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. 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^th 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 11^th 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 8^th 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 30^th 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 24^th 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 20^th 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 7^th 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 7^th 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 29^th 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 21^st 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 5^th Workshop on Logical and Semantic Frameworks, with Applications (LSFA), volume 269, pages 109–123, 2010. [ bib \| DOI \| .pdf ]