Publications

I try to keep this list updated, but in case I fail, there is always DBLP and GoogleScholar.
Files marked with a * have more content than their published counterpart.

TitleAuthorsVenue/JournalYearFileLink
Automated Checking of Proof TransformationsVivek Nigam, Giselle Reis and Leonardo LimaJAR (submitted)2017
On the Generation of Quantified LemmasGabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel WellerJAR (submitted)2017
Ceres in Intuitionistic LogicDavid Cerna, Alexander Leitsch, Giselle Reis and Simon WolfsteinerAPAL2017pdfAPAL
System Description: GAPT 2.0Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner and Sebastian ZivotaIJCAR2016pdfLNCS
Formalized Meta-Theory of Sequent Calculi for Substructural LogicsKaustuv Chaudhuri, Leonardo Lima and Giselle ReisLSFA2016pdf
Epsilon Terms in Intuitionistic Sequent CalculusGiselle Reis and Bruno Woltzenlogel PaleoFLAP (accepted)2016draft
Towards the Automated Generation of Focused Proof SystemsVivek Nigam, Giselle Reis and Leonardo LimaWorkshop on Focusing2015pdfarXiv
An adequate compositional encoding of bigraph structure in linear logic with subexponentialsKaustuv Chaudhuri and Giselle ReisLPAR2015pdfLNCS
The proof certifier CheckersZakaria Chihani, Tomer Libal and Giselle ReisTABLEAUX2015pdfLNAI
Importing SMT and Connection proofs as expansion treesGiselle ReisPxTP2015pdf*arXiv
Epsilon Terms in Intuitionistic Sequent Calculus (abstract)Alexander Leitsch, Giselle Reis and Bruno Woltzenlogel PaleoHilbert’s Epsilon and Tau in Logic, Informatics and Linguistics2015pdf
A note on the complexity of classical and intuitionistic proofsMatthias Baaz, Alexander Leitsch and Giselle ReisLICS2015pdfIEEE
Cut-elimination by resolution in intuitionistic logicGiselle ReisPhD thesis2014pdf
Algorithmic introduction of quantified cutsStefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel WellerTCS2014pdf*TCS
Introducing quantified cuts in logic with equalityStefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai and Daniel WellerIJCAR2014pdfLNCS
Quati: An Automated Tool for Proving Permutation LemmasVivek Nigam, Giselle Reis and Leonardo LimaIJCAR2014pdfLNCS
Quati: From Linear Logic Specifications to Inference RulesVivek Nigam, Giselle Reis and Leonardo LimaEBL2014pdf
An Extended Framework for Specifying and Reasoning about Proof SystemsVivek Nigam, Elaine Pimentel and Giselle ReisJLC (Special issue in honour of Roy Dyckhoff)2014pdfJLC
Checking Proof Transformations with ASPVivek Nigam, Giselle Reis and Leonardo LimaICLP2013pdfTPLP
Towards CERes in intuitionistic logicAlexander Leitsch, Giselle Reis and Bruno Woltzenlogel PaleoCSL2012pdfDROPS
Specifying proof systems in linear logic with subexponentialsVivek Nigam, Elaine Pimentel and Giselle ReisLSFA2010pdfENTCS
Using Linear Logic with Subexponentials to Implement Logic InterpretersGiselle Reis and Elaine PimentelSBMF2010pdf