Giselle Reis

According to our database, Giselle Reis authored at least 28 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Preface to Special Issue: LSFA 2019 and 2020.

Amy P. Felty, Giselle Reis

Math. Struct. Comput. Sci., October, 2022

2021

SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.

Laila El-Beheiry, Giselle Reis, Ammar Karkour

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

Facilitating Meta-Theory Reasoning (Invited Paper).

Giselle Reis

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

Proof Search and Certificates for Evidential Transactions.

Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Preface.

Cláudia Nalon, Giselle Reis

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

Sequoia: A Playground for Logicians - (System Description).

Giselle Reis, Zan Naeem, Mohammed Hashim

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Formalized meta-theory of sequent calculi for linear logics.

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Theor. Comput. Sci., 2019

Complexity of translations from resolution to sequent calculus.

Giselle Reis, Bruno Woltzenlogel Paleo

Math. Struct. Comput. Sci., 2019

On the Generation of Quantified Lemmas.

Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller

J. Autom. Reason., 2019

2018

The ILLTP Library for Intuitionistic Linear Logic.

Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Formalization of Automated Trading Systems in a Concurrent Linear Framework.

Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017

Epsilon Terms in Intuitionistic Sequent Calculus.

Bruno Woltzenlogel Paleo, Giselle Reis

FLAP, 2017

Mechanizing Focused Linear Logic in Coq.

Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Ceres in intuitionistic logic.

David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner

Ann. Pure Appl. Log., 2017

2016

An extended framework for specifying and reasoning about proof systems.

Vivek Nigam, Elaine Pimentel, Giselle Reis

J. Log. Comput., 2016

Formalized Meta-Theory of Sequent Calculi for Substructural Logics.

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

System Description: GAPT 2.0.

Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Importing SMT and Connection proofs as expansion trees.

Giselle Reis

Proceedings of the Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, 2015

Towards the Automated Generation of Focused Proof Systems.

Vivek Nigam, Giselle Reis, Leonardo Lima

Proceedings of the Proceedings First International Workshop on Focusing, 2015

The Proof Certifier Checkers.

Zakaria Chihani, Tomer Libal, Giselle Reis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.

Kaustuv Chaudhuri, Giselle Reis

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

A Note on the Complexity of Classical and Intuitionistic Proofs.

Matthias Baaz, Alexander Leitsch, Giselle Reis

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Algorithmic introduction of quantified cuts.

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller

Theor. Comput. Sci., 2014

Quati: An Automated Tool for Proving Permutation Lemmas.

Vivek Nigam, Giselle Reis, Leonardo Lima

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Introducing Quantified Cuts in Logic with Equality.

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Checking Proof Transformations with ASP.

Vivek Nigam, Giselle Reis, Leonardo Lima

Theory Pract. Log. Program., 2013

2012

Towards CERes in intuitionistic logic.

Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo

Proceedings of the Computer Science Logic (CSL'12), 2012

2010

Specifying Proof Systems in Linear Logic with Subexponentials.

Vivek Nigam, Elaine Pimentel, Giselle Reis

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010