Giselle Reis

Cited by

	All	Since 2019
Citations	383	188
h-index	11	8
i10-index	13	7

2013201420152016201720182019202020212022202320248 9 38 17 48 66 50 34 37 28 21 16

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Vivek NigamAppleVerified email at apple.com
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Bruno Woltzenlogel Paleo.Verified email at logic.at
Gabriel EbnerMicrosoft ResearchVerified email at gebner.org
Kaustuv ChaudhuriINRIAVerified email at chaudhuri.info
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Tomer LibalUniversity of LuxembourgVerified email at uni.lu
Martin RienerTU WienVerified email at derivation.org
Zakaria ChihaniCEAVerified email at cea.fr
Zan NaeemResearch Engineer at QCRIVerified email at hbku.edu.qa
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Sharjeel KhanGeorgia Institute of TechnologyVerified email at gatech.edu
Dragisa D. ZunicInstitute for Artificial Intelligence R&D of SerbiaVerified email at ivi.ac.rs
Harald RuessfortissVerified email at fortiss.org
Ammar KarkourResearch Associate - Carnegie Mellon UniversityVerified email at andrew.cmu.edu
David M. CernaCzech Academy of Sciences Institute of Computer ScienceVerified email at cs.cas.cz
Frédéric BlanquiINRIAVerified email at inria.fr
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Tewodros A. Beyenefortiss GmbHVerified email at fortiss.org

Giselle Reis

Carnegie Mellon University - Qatar

Verified email at cmu.edu - Homepage

Logic Proof theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An extended framework for specifying and reasoning about proof systems V Nigam, E Pimentel, G Reis Journal of Logic and Computation 26 (2), 539-576, 2016	48	2016
System description: GAPT 2.0 G Ebner, S Hetzl, G Reis, M Riener, S Wolfsteiner, S Zivota International Joint Conference on Automated Reasoning, 293-301, 2016	43	2016
Algorithmic introduction of quantified cuts S Hetzl, A Leitsch, G Reis, D Weller Theoretical Computer Science 549, 1-16, 2014	40	2014
Introducing quantified cuts in logic with equality S Hetzl, A Leitsch, G Reis, J Tapolczai, D Weller Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014	29	2014
Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011	27	2011
Mechanizing Focused Linear Logic in Coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018	23	2018
The Proof Certifier Checkers Z Chihani, T Libal, G Reis Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015	22	2015
Formalized meta-theory of sequent calculi for substructural logics K Chaudhuri, L Lima, G Reis Electronic Notes in Theoretical Computer Science 332, 57-73, 2017	19	2017
Importing SMT and Connection proofs as expansion trees G Reis arXiv preprint arXiv:1507.08715, 2015	18	2015
On the generation of quantified lemmas G Ebner, S Hetzl, A Leitsch, G Reis, D Weller Journal of Automated Reasoning 63, 95-126, 2019	17	2019
Formalized meta-theory of sequent calculi for linear logics K Chaudhuri, L Lima, G Reis Theoretical Computer Science 781, 24-38, 2019	15	2019
An adequate compositional encoding of bigraph structure in linear logic with subexponentials K Chaudhuri, G Reis Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015	10	2015
Quati: An Automated Tool for Proving Permutation Lemmas V Nigam, G Reis, L Lima	10	2014
Cut-elimination by resolution in intuitionistic logic G Reis PhD thesis, Vienna University of Technology, 2014	7	2014
Towards CERes in intuitionistic logic A Leitsch, G Reis, B Woltzenlogel Paleo Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012	7	2012
Sequoia: A Playground for Logicians: (System Description) G Reis, Z Naeem, M Hashim Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020	6	2020
Formalization of Automated Trading Systems in a Concurrent Linear Framework I Cervesato, S Khan, G Reis, D Žunić arXiv preprint arXiv:1904.06844, 2019	6	2019
Checking Proof Transformations with ASP V NIGAM, L LIMA, G REIS	6	2013
Facilitating Meta-Theory Reasoning G Reis arXiv preprint arXiv:2107.07661, 2021	4	2021
The ILLTP Library for Intuitionistic Linear Logic C Olarte, V de Paiva, E Pimentel, G Reis arXiv preprint arXiv:1904.06850, 2019	3	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors