Concepedia

Elaine Pimentel

EP

Statistics

Publications

9

Citations

185

H-Index

9

Active since

2011

Affiliations

Universidade Federal do Rio Grande do Norte(Current)

Universidade Federal da Paraíba

Universidad del Valle

Laboratoire d'Informatique de l'École Polytechnique

TU Wien

Elaine Pimentel is an author at Universidade Federal do Rio Grande do Norte specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationLanguageReasoningSemanticsLinguistics

Publications per year

2011–2022

9

Publications

9

A formal framework for specifying sequent calculus proof systems

Dale Miller, Elaine Pimentel · Theoretical Computer Science · 2012 · 46 citations

Engineering, Automated Reasoning, Verification +7

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

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

An ecumenical notion of entailment

Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva · Synthese · 2019 · 20 citations

Formal Semantics, Automated Reasoning, Entailment (Linguistics) +5

Subexponential concurrent constraint programming

Carlos Olarte, Elaine Pimentel, Vivek Nigam · Theoretical Computer Science · 2015 · 17 citations · Full text

Mathematical Programming, Constraint Solving, Engineering +8

1–5 of 9