Using Linear Logic to Reason about Sequent Systems. - Dale Miller 001; Elaine Pimentel (TABLEAUX, 2002)

Preface. - Ruy J. G. B. de Queiroz; Elaine Pimentel; Lucília Figueiredo (WoLLIC, 2003)

Lazy Strong Normalization. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (ITRS, 2004)

On the Specification of Sequent Systems. - Elaine Pimentel; Dale Miller 001 (LPAR, 2005)

An Operational Characterization of Strong Normalization. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (FoSSaCS, 2006)

Preface. - Belo Horizonte; Elaine Pimentel; Mario R. F. Benevides (LSFA, 2008)

Specifying Proof Systems in Linear Logic with Subexponentials. - Vivek Nigam; Elaine Pimentel; Giselle Reis (LSFA, 2010)

Preface. - Mauricio Ayala-Rincón; Elaine Pimentel; Fairouz Kamareddine (Theor. Comput. Sci., 2011)

Strong normalization from an unusual point of view. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (Theor. Comput. Sci., 2011)

A linear concurrent constraint approach for the automatic verification of access permissions. - Carlos Olarte; Elaine Pimentel; Camilo Rueda; Néstor Cataño (PPDP, 2012)

Intersection Types from a Proof-theoretic Perspective. - Elaine Pimentel; Simona Ronchi Della Rocca; Luca Roversi (Fundam. Informaticae, 2012)

A General Proof System for Modalities in Concurrent Constraint Programming. - Vivek Nigam; Carlos Olarte; Elaine Pimentel (CONCUR, 2013)

Dynamic Spaces in Concurrent Constraint Programming. - Carlos Olarte; Vivek Nigam; Elaine Pimentel (LSFA, 2013)

Preface. - Valeria de Paiva; Mario R. F. Benevides; Vivek Nigam; Elaine Pimentel (IMLA@UNILOG, 2013)

A formal framework for specifying sequent calculus proof systems. - Dale Miller 001; Elaine Pimentel (Theor. Comput. Sci., 2013)

Proving Concurrent Constraint Programming Correct, Revisited. - Carlos Olarte; Elaine Pimentel (LSFA, 2014)

A Proof Theoretic Study of Soft Concurrent Constraint Programming. - Elaine Pimentel; Carlos Olarte; Vivek Nigam (Theory Pract. Log. Program., 2014)

Proof Search in Nested Sequent Calculi. - Björn Lellmann; Elaine Pimentel (LPAR, 2015)

Multi-focused Proofs with Different Polarity Assignments. - Elaine Pimentel; Vivek Nigam; João Neto 002 (LSFA, 2015)

Subexponential concurrent constraint programming. - Carlos Olarte; Elaine Pimentel; Vivek Nigam (Theor. Comput. Sci., 2015)

Hybrid and Subexponential Linear Logics Technical Report. - Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (CoRR, 2016)

From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. - Agata Ciabattoni; Björn Lellmann; Carlos Olarte; Elaine Pimentel (LSFA, 2016)

Hybrid and Subexponential Linear Logics. - Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (LSFA, 2016)

An extended framework for specifying and reasoning about proof systems. - Vivek Nigam; Elaine Pimentel; Giselle Reis (J. Log. Comput., 2016)

A uniform framework for substructural logics with modalities. - Björn Lellmann; Carlos Olarte; Elaine Pimentel (LPAR, 2017)

On subexponentials, focusing and modalities in concurrent systems. - Vivek Nigam; Carlos Olarte; Elaine Pimentel (Theor. Comput. Sci., 2017)

On concurrent behaviors and focusing in linear logic. - Carlos Olarte; Elaine Pimentel (Theor. Comput. Sci., 2017)

A Semantical View of Proof Systems. - Elaine Pimentel (WoLLIC, 2018)

Proving Structural Properties of Sequent Systems in Rewriting Logic. - Carlos Olarte; Elaine Pimentel; Camilo Rocha (WRLA@ETAPS, 2018)

Proof systems: from nestings to sequents and back. - Elaine Pimentel (CoRR, 2018)

The ILLTP Library for Intuitionistic Linear Logic. - Carlos Olarte; Valeria de Paiva; Elaine Pimentel; Giselle Reis (Linearity-TLLA@FLoC, 2018)

Brasilia Spring on Automated Reasoning. - Cláudia Nalon; Daniele Nantes Sobrinho; Elaine Pimentel; João Marcos 001 (ACM SIGLOG News, 2018)

A concurrent constraint programming interpretation of access permissions. - Carlos Olarte; Elaine Pimentel; Camilo Rueda (Theory Pract. Log. Program., 2018)

A Game Model for Proofs with Costs. - Timo Lang; Carlos Olarte; Elaine Pimentel; Christian G. Fermüller (TABLEAUX, 2019)

Sequentialising Nested Systems. - Elaine Pimentel; Revantha Ramanayake; Björn Lellmann (TABLEAUX, 2019)

Hybrid linear logic, revisited. - Kaustuv Chaudhuri; Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (Math. Struct. Comput. Sci., 2019)

Modularisation of Sequent Calculi for Normal and Non-normal Modalities. - Björn Lellmann; Elaine Pimentel (ACM Trans. Comput. Log., 2019)

Ecumenical Modal Logic. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (DaLí, 2020)

Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. - Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel (LFCS, 2020)

A Fresh View of Linear Logic as a Logical Framework. - Carlos Olarte; Elaine Pimentel; Bruno Xavier (LSFA, 2020)

Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). - Elaine Pimentel; Carlos Olarte; Vivek Nigam (FSCD, 2021)

A Pure View of Ecumenical Modalities. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (WoLLIC, 2021)

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. - Tiziano Dalmonte; Björn Lellmann; Nicola Olivetti; Elaine Pimentel (J. Log. Comput., 2021)

An ecumenical notion of entailment. - Elaine Pimentel; Luiz Carlos Pereira; Valeria de Paiva (Synth., 2021)

Non-associative, Non-commutative Multi-modal Linear Logic. - Eben Blaisdell; Max I. Kanovich; Stepan L. Kuznetsov; Elaine Pimentel; Andre Scedrov (IJCAR, 2022)

From axioms to synthetic inference rules via focusing. - Sonia Marin; Dale Miller 001; Elaine Pimentel; Marco Volpe 001 (Ann. Pure Appl. Log., 2022)

On an ecumenical natural deduction with stoup - Part I: The propositional case. - Luiz Carlos Pereira; Elaine Pimentel (CoRR, 2022)

A linear logic framework for multimodal logics. - Bruno Xavier; Carlos Olarte; Elaine Pimentel (Math. Struct. Comput. Sci., 2022)

A Tour on Ecumenical Systems (Invited Talk). - Elaine Pimentel; Luiz Carlos Pereira (CALCO, 2023)

An ecumenical view of proof-theoretic semantics. - Victor Nascimento; Luiz Carlos Pereira; Elaine Pimentel (CoRR, 2023)

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). - Eben Blaisdell; Max I. Kanovich; Stepan L. Kuznetsov; Elaine Pimentel; Andre Scedrov (CoRR, 2023)

Explorations in Subexponential Non-associative Non-commutative Linear Logic. - Eben Blaisdell; Max I. Kanovich; Stepan L. Kuznetsov; Elaine Pimentel; Andre Scedrov (AMSLO@ESSLLI, 2023)

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. - Carlos Olarte; Elaine Pimentel; Camilo Rocha (J. Log. Algebraic Methods Program., 2023)

On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case. - Luiz Carlos Pereira; Elaine Pimentel (Perspectives on Deduction, 2024)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems. - Robert Freiman; Carlos Olarte; Elaine Pimentel; Christian G. Fermüller (LPAR, 2024)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study. - Carlos Olarte; Elaine Pimentel (CoRR, 2024)

Proof Representations: From Theory to Applications (Dagstuhl Seminar 24341). - Anupam Das 002; Elaine Pimentel; Lutz Straßburger; Robin Martinot (Dagstuhl Reports, 2024)

Preface - MSCS. - Agata Ciabattoni; Elaine Pimentel; Ruy José Guerra Barretto de Queiroz (Math. Struct. Comput. Sci., 2024)

Report on WiL 2024. - Daniele Nantes-Sobrinho; Elaine Pimentel; Tephilla Prince (ACM SIGLOG News, 2024)

Playing with Modalities (Invited Talk). - Elaine Pimentel; Carlos Olarte; Timo Lang; Robert Freiman; Christian G. Fermüller (CSL, 2025)

Separability and harmony in ecumenical systems. - Sonia Marin; Luiz Carlos Pereira; Elaine Pimentel; Emerson Sales (J. Log. Comput., 2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic. - Victor Barroso-Nascimento; Ekaterina Piotrovskaya; Elaine Pimentel (CoRR, 2025)

Translations and Prawitz's Ecumenical System. - Luiz Carlos Pereira; Elaine Pimentel; Valeria de Paiva (Stud Logica, 2025)

The Modal Cube Revisited: Semantics without Worlds. - Renato Leme; Carlos Olarte; Elaine Pimentel; Marcelo E. Coniglio (CoRR, 2025)

A Sequent Calculus Perspective on Base-Extension Semantics. - Victor Barroso-Nascimento; Ekaterina Piotrovskaya; Elaine Pimentel (CoRR, 2025)