Giselle Reis

34 papers A* 1A 4B 3Journal 12Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Gluon W: A Cryptocurrency Stabilization Protocol.
IACR Cryptol. ePrint Arch.
Bruno Woltzenlogel Paleo, Luca D'Angelo, Mohammad Shaheer, Giselle Reis
2022 J jnl
Preface to Special Issue: LSFA 2019 and 2020.
Math. Struct. Comput. Sci.
Amy P. Felty, Giselle Reis
2021 — conf
Facilitating Meta-Theory Reasoning (Invited Paper).
LFMTP
Giselle Reis
2021 A conf
Proof Search and Certificates for Evidential Transactions.
CADE
Vivek Nigam, Giselle Reis, Samar Rahmouni, Harald Ruess
2021 — conf
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts.
LFMTP
Laila El-Beheiry, Giselle Reis, Ammar Karkour
2020 — conf
Preface.
LSFA
Cláudia Nalon, Giselle Reis
2020 — ed.
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020
LSFA
Cláudia Nalon, Giselle Reis
2020 — conf
Sequoia: A Playground for Logicians - (System Description).
IJCAR (2)
Giselle Reis, Zan Naeem, Mohammed Hashim
2019 J jnl
Complexity of translations from resolution to sequent calculus.
Math. Struct. Comput. Sci.
Giselle Reis, Bruno Woltzenlogel Paleo
2019 J jnl
Formalized meta-theory of sequent calculi for linear logics.
Theor. Comput. Sci.
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
2019 J jnl
On the Generation of Quantified Lemmas.
J. Autom. Reason.
Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
2019 — ed.
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019.
PxTP
Giselle Reis, Haniel Barbosa
2018 — conf
Formalization of Automated Trading Systems in a Concurrent Linear Framework.
Linearity-TLLA@FLoC
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
2018 — ed.
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018.
LFMTP@FSCD
Frédéric Blanqui, Giselle Reis
2018 — conf
The ILLTP Library for Intuitionistic Linear Logic.
Linearity-TLLA@FLoC
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
2017 J jnl
Ceres in intuitionistic logic.
Ann. Pure Appl. Log.
David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
2017 J jnl
Epsilon Terms in Intuitionistic Sequent Calculus.
FLAP
Bruno Woltzenlogel Paleo, Giselle Reis
2017 — conf
Mechanizing Focused Linear Logic in Coq.
LSFA
Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
2016 J jnl
An extended framework for specifying and reasoning about proof systems.
J. Log. Comput.
Vivek Nigam, Elaine Pimentel, Giselle Reis
2016 — conf
Formalized Meta-Theory of Sequent Calculi for Substructural Logics.
LSFA
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
2016 A conf
System Description: GAPT 2.0.
IJCAR
Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota
2015 A* conf
A Note on the Complexity of Classical and Intuitionistic Proofs.
LICS
Matthias Baaz, Alexander Leitsch, Giselle Reis
2015 B conf
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.
LPAR
Kaustuv Chaudhuri, Giselle Reis
2015 — conf
Importing SMT and Connection proofs as expansion trees.
PxTP@CADE
Giselle Reis
2015 B conf
The Proof Certifier Checkers.
TABLEAUX
Zakaria Chihani, Tomer Libal, Giselle Reis
2015 — conf
Towards the Automated Generation of Focused Proof Systems.
WoF'15
Vivek Nigam, Giselle Reis, Leonardo Lima
2014 J jnl
Algorithmic Introduction of Quantified Cuts.
CoRR
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
2014 J jnl
Algorithmic introduction of quantified cuts.
Theor. Comput. Sci.
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller
2014 A conf
Introducing Quantified Cuts in Logic with Equality.
IJCAR
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
2014 J jnl
Introducing Quantified Cuts in Logic with Equality.
CoRR
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller
2014 A conf
Quati: An Automated Tool for Proving Permutation Lemmas.
IJCAR
Vivek Nigam, Giselle Reis, Leonardo Lima
2013 J jnl
Checking Proof Transformations with ASP.
Theory Pract. Log. Program.
Vivek Nigam, Giselle Reis, Leonardo Lima
2012 B conf
Towards CERes in intuitionistic logic.
CSL
Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo
2010 — conf
Specifying Proof Systems in Linear Logic with Subexponentials.
LSFA
Vivek Nigam, Elaine Pimentel, Giselle Reis