Concepedia

Author

Giselle Reis

TU WienORCID

Also Known As

GISELLE REIS, Giselle Reis, Reis, Giselle

38

Publications

244

Citations

11

H-Index

21

Concepts

All Affiliations

TU WienUniversidade Federal da ParaíbaCarnegie Mellon University QatarLaboratoire d'Informatique de l'École PolytechniqueÉcole Polytechnique
GR

About

Giselle Reis is an author at TU Wien specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

96

2

Computer Science

3

3

54

3

Language Studies

1

1

11

4

Natural Sciences

1

1

29

5

Linguistics

1

1

11

Giselle Reis

×

8

Publications

145

Citations

8

H-Index

YearCitations

An extended framework for specifying and reasoning about proof systems

Vivek Nigam, Elaine Pimentel, Giselle Reis

Journal of Logic and Computation

2014

30

Algorithmic introduction of quantified cuts

Stefan Hetzl, Alexander Leitsch, Giselle Reis,

Theoretical Computer Science

2014

29

Specifying Proof Systems in Linear Logic with Subexponentials

Vivek Nigam, Elaine Pimentel, Giselle Reis

Electronic Notes in Theoretical Computer Science

2011

21

Mechanizing Focused Linear Logic in Coq

Bruno Xavier, Carlos Olarte, Giselle Reis,

Electronic Notes in Theoretical Computer Science

2018

16

Importing SMT and Connection proofs as expansion trees

Giselle Reis

Electronic Proceedings in Theoretical Computer Science

2015

13

Formalized meta-theory of sequent calculi for linear logics

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Theoretical Computer Science

2019

13

On the Generation of Quantified Lemmas

Gabriel Ebner, Stefan Hetzl, Alexander Leitsch,

Journal of Automated Reasoning

2018

12

Formalized Meta-Theory of Sequent Calculi for Substructural Logics

Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis

Electronic Notes in Theoretical Computer Science

2017

11

Page 1