×
Edit Profile (opens in new tab)

Reis, Giselle

Co-Author Distance
Author ID: reis.giselle Recent zbMATH articles by "Reis, Giselle"
Published as: Reis, Giselle
Documents Indexed: 20 Publications since 2011
4 Contributions as Editor
Co-Authors: 28 Co-Authors with 24 Joint Publications
315 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
6 Leitsch, Alexander
5 Nigam, Vivek
4 Hetzl, Stefan
3 Chaudhuri, Kaustuv
3 Pimentel, Elaine
3 Weller, Daniel S.
3 Woltzenlogel Paleo, Bruno
2 Ebner, Gabriel
2 Olarte, Carlos
2 Wolfsteiner, Simon
1 Baaz, Matthias
1 Barbosa, Haniel
1 Cerna, David M.
1 Chihani, Zakaria
1 de Paiva, Valeria
1 Felty, Amy P.
1 Hashim, Mohammed Homod
1 Khan, Sharjeel
1 Libal, Tomer
1 Naeem, Zan
1 Nalon, Cláudia
1 Rahmouni, Samar
1 Riener, Martin
1 Rueß, Harald
1 Tapolczai, Janos
1 Xavier, Bruno
1 Zivota, Sebastian
1 Žunić, Dragisa
all top 5

Serials

2 Theoretical Computer Science
2 Mathematical Structures in Computer Science
1 Annals of Pure and Applied Logic
1 Journal of Automated Reasoning
1 Journal of Logic and Computation
1 Electronic Notes in Theoretical Computer Science
1 Electronic Proceedings in Theoretical Computer Science (EPTCS)

Fields

20 Mathematical logic and foundations (03-XX)
17 Computer science (68-XX)
4 General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

16 Publications have been cited 102 times in 66 Documents Cited by ▼ Year ▼
An extended framework for specifying and reasoning about proof systems. Zbl 1403.03125
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle
16
2016
Algorithmic introduction of quantified cuts. Zbl 1393.03050
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
16
2014
Specifying proof systems in linear logic with subexponentials. Zbl 1347.03103
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle
11
2011
Introducing quantified cuts in logic with equality. Zbl 1423.68418
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Tapolczai, Janos; Weller, Daniel
11
2014
System description: GAPT 2.0. Zbl 1475.68433
Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian
8
2016
An adequate compositional encoding of bigraph structure in linear logic with subexponentials. Zbl 1471.03086
Chaudhuri, Kaustuv; Reis, Giselle
6
2015
Mechanizing focused linear logic in Coq. Zbl 1433.68586
Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek
6
2018
Formalized meta-theory of sequent calculi for substructural logics. Zbl 1401.03033
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle
5
2017
The proof certifier checkers. Zbl 1471.68305
Chihani, Zakaria; Libal, Tomer; Reis, Giselle
5
2015
On the generation of quantified lemmas. Zbl 1459.03011
Ebner, Gabriel; Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
4
2019
Formalized meta-theory of sequent calculi for linear logics. Zbl 1425.03007
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle
4
2019
Quati: an automated tool for proving permutation lemmas. Zbl 1423.68422
Nigam, Vivek; Reis, Giselle; Lima, Leonardo
3
2014
An encyclopaedia of proof systems. 2nd edition. Zbl 1395.03001
3
2017
The ILLTP library for intuitionistic linear logic. Zbl 1486.03026
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle
2
2019
Towards CERes in intuitionistic logic. Zbl 1252.03124
Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno
1
2012
Proceedings of the sixth workshop on proof eXchange for theorem proving, Natal, Brazil, August 26, 2019. Zbl 1490.68029
1
2019
On the generation of quantified lemmas. Zbl 1459.03011
Ebner, Gabriel; Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
4
2019
Formalized meta-theory of sequent calculi for linear logics. Zbl 1425.03007
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle
4
2019
The ILLTP library for intuitionistic linear logic. Zbl 1486.03026
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle
2
2019
Proceedings of the sixth workshop on proof eXchange for theorem proving, Natal, Brazil, August 26, 2019. Zbl 1490.68029
1
2019
Mechanizing focused linear logic in Coq. Zbl 1433.68586
Xavier, Bruno; Olarte, Carlos; Reis, Giselle; Nigam, Vivek
6
2018
Formalized meta-theory of sequent calculi for substructural logics. Zbl 1401.03033
Chaudhuri, Kaustuv; Lima, Leonardo; Reis, Giselle
5
2017
An encyclopaedia of proof systems. 2nd edition. Zbl 1395.03001
3
2017
An extended framework for specifying and reasoning about proof systems. Zbl 1403.03125
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle
16
2016
System description: GAPT 2.0. Zbl 1475.68433
Ebner, Gabriel; Hetzl, Stefan; Reis, Giselle; Riener, Martin; Wolfsteiner, Simon; Zivota, Sebastian
8
2016
An adequate compositional encoding of bigraph structure in linear logic with subexponentials. Zbl 1471.03086
Chaudhuri, Kaustuv; Reis, Giselle
6
2015
The proof certifier checkers. Zbl 1471.68305
Chihani, Zakaria; Libal, Tomer; Reis, Giselle
5
2015
Algorithmic introduction of quantified cuts. Zbl 1393.03050
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Weller, Daniel
16
2014
Introducing quantified cuts in logic with equality. Zbl 1423.68418
Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; Tapolczai, Janos; Weller, Daniel
11
2014
Quati: an automated tool for proving permutation lemmas. Zbl 1423.68422
Nigam, Vivek; Reis, Giselle; Lima, Leonardo
3
2014
Towards CERes in intuitionistic logic. Zbl 1252.03124
Leitsch, Alexander; Reis, Giselle; Woltzenlogel Paleo, Bruno
1
2012
Specifying proof systems in linear logic with subexponentials. Zbl 1347.03103
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle
11
2011
all cited Publications top 5 cited Publications
all top 5

Cited by 89 Authors

12 Olarte, Carlos
11 Hetzl, Stefan
11 Pimentel, Elaine
10 Reis, Giselle
8 Nigam, Vivek
5 Leitsch, Alexander
4 Chaudhuri, Kaustuv
4 Wolfsteiner, Simon
4 Xavier, Bruno
3 Eberhard, Sebastian
3 Ebner, Gabriel
3 Kanovich, Max Iosifovich
3 Kuznetsov, Stepan L’vovich
3 Ščedrov, Andrej
3 Weller, Daniel S.
2 Afshari, Bahareh
2 Bibel, Wolfgang
2 Cerna, David M.
2 de Paiva, Valeria
2 Despeyroux, Joëlle
2 Felty, Amy P.
2 Goré, Rajeev Prabhakar
2 Leigh, Graham Emil
2 Libal, Tomer
2 Volpe, Marco
2 Wernhard, Christoph
2 Woltzenlogel Paleo, Bruno
1 Akbar Tabatabai, Amirhossein
1 Aschieri, Federico
1 Baaz, Matthias
1 Barbosa, Haniel
1 Barrett, Clark W.
1 Blaisdell, Eben
1 Blanchette, Jasmin Christian
1 Burel, Guillaume
1 Caleiro, Carlos
1 Chen, Shuwei
1 Chihani, Zakaria
1 Ciabattoni, Agata
1 D’Abrera, Caitlin
1 Dawson, Jeremy E.
1 Fervari, Raul
1 Fleuriot, Jacques D.
1 Fleury, Mathias
1 Fontaine, Pascal
1 Fukuda, Yosuke
1 Gerasimov, Aleksandr Sergeevich
1 Gorzny, Jan
1 Hagemeier, Christian
1 Hashim, Mohammed Homod
1 He, Xingxing
1 Iemhoff, Rosalie
1 Jalali, Raheleh
1 Kirst, Dominik
1 Kutsia, Temur
1 Lahav, Ori
1 Lettmann, Michael Peter
1 Liu, Jun
1 Lolic, Anela
1 Mahmoud, Mohamed Yousri
1 Michaelis, Julius
1 Miller, Dale Allen
1 Naeem, Zan
1 Niemetz, Aina
1 Nipkow, Tobias
1 Orchard, Dominic A.
1 Otten, Jens
1 Preiner, Mathias
1 Rahmouni, Samar
1 Renaud, Fabien
1 Reynolds, Andrew
1 Riener, Martin
1 Rocha, Camilo
1 Rueß, Harald
1 Shillito, Ian
1 Smola, Filip
1 Spendier, Lara
1 Tarau, Paul
1 Tinelli, Cesare
1 Trucco, Francisco
1 van der Giessen, Iris
1 Viganò, Luca
1 Xu, Yang
1 Yoshimizu, Akira
1 Zamansky, Anna
1 Zhong, Xiaomei
1 Ziliani, Beta
1 Zivota, Sebastian
1 Zombori, Zsolt
all top 5

Cited in 12 Serials

9 Mathematical Structures in Computer Science
8 Theoretical Computer Science
6 Journal of Automated Reasoning
4 Annals of Pure and Applied Logic
2 Journal of Logical and Algebraic Methods in Programming
1 Information Sciences
1 Information and Computation
1 Formal Aspects of Computing
1 Formal Methods in System Design
1 Theory and Practice of Logic Programming
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Logica Universalis

Cited in 4 Fields

50 Mathematical logic and foundations (03-XX)
44 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Quantum theory (81-XX)

Citations by Year