Concepedia

Giselle Reis

GR

Statistics

Publications

8

Citations

145

H-Index

8

Active since

2011

Affiliations

TU Wien(Current)

Universidade Federal da Paraíba

Carnegie Mellon University Qatar

Laboratoire d'Informatique de l'École Polytechnique

École Polytechnique

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningVerificationComputer ScienceFormal VerificationLanguageReasoningSemanticsLinguistics

Publications per year

2011–2019

8

Publications

8

An extended framework for specifying and reasoning about proof systems

Vivek Nigam, Elaine Pimentel, Giselle Reis · Journal of Logic and Computation · 2014 · 30 citations

Reasoning, Engineering, Substructural Logic +14

Algorithmic introduction of quantified cuts

Stefan Hetzl, Alexander Leitsch, Giselle Reis et al. · Theoretical Computer Science · 2014 · 29 citations

Geometric Modeling, Mathematical Programming, Engineering +8

Specifying Proof Systems in Linear Logic with Subexponentials

Vivek Nigam, Elaine Pimentel, Giselle Reis · Electronic Notes in Theoretical Computer Science · 2011 · 21 citations · Full text

Mechanizing Focused Linear Logic in Coq

Bruno Xavier, Carlos Olarte, Giselle Reis et al. · Electronic Notes in Theoretical Computer Science · 2018 · 16 citations · Full text

Importing SMT and Connection proofs as expansion trees

Giselle Reis · Electronic Proceedings in Theoretical Computer Science · 2015 · 13 citations · Full text

Engineering, Theorem Provers Reason, Verification +16

1–5 of 8