Elaine Pimentel - Concepedia

Author

Elaine Pimentel

Universidade Federal do Rio Grande do Norte ORCID

Also Known As

Ciabattoni, Agata, Despeyroux, Joelle, ELAINE PIMENTEL, Elaine Pimentel, Pimentel, Elaine

Publications

415

Citations

H-Index

Concepts

All Affiliations

Universidade Federal do Rio Grande do Norte Universidade Federal da Paraíba Universidad del Valle Laboratoire d'Informatique de l'École Polytechnique TU Wien

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	134
2	Computer Science	6	6	134
3	Language Studies	1	1	20
4	Linguistics	1	1	20
5	Operations Research	1	1	17

Elaine Pimentel

Publications

185

Citations

H-Index

Page 1

	Year	Citations
A formal framework for specifying sequent calculus proof systems Dale Miller, Elaine Pimentel Theoretical Computer Science EngineeringAutomated ReasoningVerificationFormal MethodsAutomated Proof	2012	46
An extended framework for specifying and reasoning about proof systems Vivek Nigam, Elaine Pimentel, Giselle Reis Journal of Logic and Computation ReasoningEngineeringSubstructural LogicAutomated ReasoningVerification	2014	30
Specifying Proof Systems in Linear Logic with Subexponentials Vivek Nigam, Elaine Pimentel, Giselle Reis Electronic Notes in Theoretical Computer Science	2011	21
An ecumenical notion of entailment Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva Synthese Formal SemanticsAutomated ReasoningEntailment (Linguistics)Textual EntailmentLanguage Studies	2019	20
Subexponential concurrent constraint programming Carlos Olarte, Elaine Pimentel, Vivek Nigam Theoretical Computer Science Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionFormal Methods	2015	17
From axioms to synthetic inference rules via focusing Sonia Marin, Dale Miller, Elaine Pimentel, Annals of Pure and Applied Logic EngineeringAutomated ReasoningSynthetic Inference RulesFormal MethodsFormal Mathematical Reasoning	2022	16
Intersection Types from a Proof-theoretic Perspective Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi Fundamenta Informaticae Applied LogicComputational LogicIntersection TypesProof-theoretical JustificationEngineering	2012	14
On subexponentials, focusing and modalities in concurrent systems Vivek Nigam, Carlos Olarte, Elaine Pimentel Theoretical Computer Science EngineeringConcurrent ProgrammingConcurrency TheoryFormal MethodsConcurrent Systems	2017	11
A uniform framework for substructural logics with modalities Björn Lellmann, Carlos Olarte, Elaine Pimentel EPiC series in computing	2018	10

Page 1