Elaine Pimentel

87 papers A 2B 16C 7Misc 1Journal 41Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	A	`ed.`	42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, Jena, Germany, March 4-7, 2025 STACS Olaf Beyersdorff, Michal Pilipczuk, Elaine Pimentel, Kim Thang Nguyen
2025	B	`conf`	A Proof-Theoretic Approach to the Semantics of Classical Linear Logic. MFPS Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel
2025	B	`conf`	A Sequent Calculus Perspective on Base-Extension Semantics. TABLEAUX Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel
2025	J	`jnl`	A Sequent Calculus Perspective on Base-Extension Semantics. CoRR Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel
2025	J	`jnl`	Bilateralist base-extension semantics with incompatible proofs and refutations. CoRR Victor Barroso-Nascimento, Maria Osório Costa, Elaine Pimentel
2025	B	`conf`	Playing with Modalities (Invited Talk). CSL Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller
2025	J	`jnl`	Separability and harmony in ecumenical systems. J. Log. Comput. Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2025	B	`conf`	The Modal Cube Revisited: Semantics Without Worlds. TABLEAUX Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio
2025	J	`jnl`	The Modal Cube Revisited: Semantics without Worlds. CoRR Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo E. Coniglio
2025	J	`jnl`	Translations and Prawitz's Ecumenical System. Stud Logica Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva
2024	J	`jnl`	Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study. CoRR Carlos Olarte, Elaine Pimentel
2024	—	`ch.`	On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case. Perspectives on Deduction Luiz Carlos Pereira, Elaine Pimentel
2024	J	`jnl`	Preface - MSCS. Math. Struct. Comput. Sci. Agata Ciabattoni, Elaine Pimentel, Ruy José Guerra Barretto de Queiroz
2024	J	`jnl`	Proof Representations: From Theory to Applications (Dagstuhl Seminar 24341). Dagstuhl Reports Anupam Das, Elaine Pimentel, Lutz Straßburger, Robin Martinot
2024	B	`conf`	Reasoning About Group Polarization: From Semantic Games to Sequent Systems. LPAR Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2024	J	`jnl`	Reasoning About Group Polarization: From Semantic Games to Sequent Systems. CoRR Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2024	J	`jnl`	Report on WiL 2024. ACM SIGLOG News Daniele Nantes-Sobrinho, Elaine Pimentel, Tephilla Prince
2024	C	`ed.`	Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings CiE Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea
2023	B	`ed.`	31st EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, Poland, February 13-16, 2023 CSL Bartek Klin, Elaine Pimentel
2023	B	`conf`	A Tour on Ecumenical Systems (Invited Talk). CALCO Elaine Pimentel, Luiz Carlos Pereira
2023	J	`jnl`	A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. J. Log. Algebraic Methods Program. Carlos Olarte, Elaine Pimentel, Camilo Rocha
2023	J	`jnl`	An ecumenical view of proof-theoretic semantics. CoRR Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
2023	—	`conf`	Explorations in Subexponential Non-associative Non-commutative Linear Logic. AMSLO@ESSLLI Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
2023	J	`jnl`	Explorations in Subexponential non-associative non-commutative Linear Logic (extended version). CoRR Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
2022	J	`jnl`	A linear logic framework for multimodal logics. Math. Struct. Comput. Sci. Bruno Xavier, Carlos Olarte, Elaine Pimentel
2022	J	`jnl`	From axioms to synthetic inference rules via focusing. Ann. Pure Appl. Log. Sonia Marin, Dale Miller, Elaine Pimentel, Marco Volpe
2022	C	`ed.`	Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings WoLLIC Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
2022	A	`conf`	Non-associative, Non-commutative Multi-modal Linear Logic. IJCAR Eben Blaisdell, Max I. Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov
2022	J	`jnl`	On an ecumenical natural deduction with stoup - Part I: The propositional case. CoRR Luiz Carlos Pereira, Elaine Pimentel
2022	J	`jnl`	Separability and harmony in ecumenical systems. CoRR Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2021	C	`conf`	A Pure View of Ecumenical Modalities. WoLLIC Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2021	J	`jnl`	A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems. CoRR Carlos Olarte, Elaine Pimentel, Camilo Rocha
2021	J	`jnl`	An ecumenical notion of entailment. Synth. Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva
2021	J	`jnl`	Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity. J. Log. Comput. Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2021	—	`ed.`	Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021. LFMTP Elaine Pimentel, Enrico Tassi
2021	B	`conf`	Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk). FSCD Elaine Pimentel, Carlos Olarte, Vivek Nigam
2020	—	`conf`	A Fresh View of Linear Logic as a Logical Framework. LSFA Carlos Olarte, Elaine Pimentel, Bruno Xavier
2020	Misc	`conf`	Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. LFCS Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2020	—	`conf`	Ecumenical Modal Logic. DaLí Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2020	J	`jnl`	Ecumenical modal logic. CoRR Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales
2020	J	`jnl`	Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity. CoRR Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel
2019	B	`conf`	A Game Model for Proofs with Costs. TABLEAUX Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019	J	`jnl`	A Game Model for Proofs with Costs. CoRR Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019	J	`jnl`	Hybrid linear logic, revisited. Math. Struct. Comput. Sci. Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
2019	J	`jnl`	Modularisation of Sequent Calculi for Normal and Non-normal Modalities. ACM Trans. Comput. Log. Björn Lellmann, Elaine Pimentel
2019	B	`conf`	Sequentialising Nested Systems. TABLEAUX Elaine Pimentel, Revantha Ramanayake, Björn Lellmann
2018	J	`jnl`	A Concurrent Constraint Programming Interpretation of Access Permissions. CoRR Carlos Olarte, Elaine Pimentel, Camilo Rueda
2018	C	`conf`	A Semantical View of Proof Systems. WoLLIC Elaine Pimentel
2018	J	`jnl`	A concurrent constraint programming interpretation of access permissions. Theory Pract. Log. Program. Carlos Olarte, Elaine Pimentel, Camilo Rueda
2018	J	`jnl`	Brasilia Spring on Automated Reasoning. ACM SIGLOG News Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
2018	J	`jnl`	Proof systems: from nestings to sequents and back. CoRR Elaine Pimentel
2018	—	`conf`	Proving Structural Properties of Sequent Systems in Rewriting Logic. WRLA Carlos Olarte, Elaine Pimentel, Camilo Rocha
2018	—	`conf`	The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
2017	B	`conf`	A uniform framework for substructural logics with modalities. LPAR Björn Lellmann, Carlos Olarte, Elaine Pimentel
2017	J	`jnl`	Modularisation of Sequent Calculi for Normal and Non-normal Modalities. CoRR Björn Lellmann, Elaine Pimentel
2017	J	`jnl`	On concurrent behaviors and focusing in linear logic. Theor. Comput. Sci. Carlos Olarte, Elaine Pimentel
2017	J	`jnl`	On subexponentials, focusing and modalities in concurrent systems. Theor. Comput. Sci. Vivek Nigam, Carlos Olarte, Elaine Pimentel
2016	J	`jnl`	An extended framework for specifying and reasoning about proof systems. J. Log. Comput. Vivek Nigam, Elaine Pimentel, Giselle Reis
2016	—	`conf`	From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. LSFA Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
2016	J	`jnl`	Hybrid and Subexponential Linear Logics Technical Report. CoRR Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
2016	—	`conf`	Hybrid and Subexponential Linear Logics. LSFA Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
2015	—	`conf`	Multi-focused Proofs with Different Polarity Assignments. LSFA Elaine Pimentel, Vivek Nigam, João Neto
2015	B	`conf`	Proof Search in Nested Sequent Calculi. LPAR Björn Lellmann, Elaine Pimentel
2015	J	`jnl`	Subexponential concurrent constraint programming. Theor. Comput. Sci. Carlos Olarte, Elaine Pimentel, Vivek Nigam
2014	J	`jnl`	A Proof Theoretic Study of Soft Concurrent Constraint Programming. CoRR Elaine Pimentel, Carlos Olarte, Vivek Nigam
2014	J	`jnl`	A Proof Theoretic Study of Soft Concurrent Constraint Programming. Theory Pract. Log. Program. Elaine Pimentel, Carlos Olarte, Vivek Nigam
2014	—	`ed.`	Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013 IMLA@UNILOG Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2014	—	`conf`	Proving Concurrent Constraint Programming Correct, Revisited. LSFA Carlos Olarte, Elaine Pimentel
2013	B	`conf`	A General Proof System for Modalities in Concurrent Constraint Programming. CONCUR Vivek Nigam, Carlos Olarte, Elaine Pimentel
2013	J	`jnl`	A formal framework for specifying sequent calculus proof systems. Theor. Comput. Sci. Dale Miller, Elaine Pimentel
2013	—	`conf`	Dynamic Spaces in Concurrent Constraint Programming. LSFA Carlos Olarte, Vivek Nigam, Elaine Pimentel
2013	—	`conf`	Preface. IMLA@UNILOG Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2012	C	`conf`	A linear concurrent constraint approach for the automatic verification of access permissions. PPDP Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño
2012	J	`jnl`	Intersection Types from a Proof-theoretic Perspective. Fundam. Informaticae Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi
2011	J	`jnl`	Preface. Theor. Comput. Sci. Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine
2011	—	`ed.`	Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011. LSFA Simona Ronchi Della Rocca, Elaine Pimentel
2011	J	`jnl`	Strong normalization from an unusual point of view. Theor. Comput. Sci. Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2010	—	`ed.`	Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. ITRS Elaine Pimentel, Betti Venneri, Joe B. Wells
2010	—	`conf`	Specifying Proof Systems in Linear Logic with Subexponentials. LSFA Vivek Nigam, Elaine Pimentel, Giselle Reis
2009	—	`ed.`	Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008 LSFA Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
2008	—	`conf`	Preface. LSFA Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
2006	B	`conf`	An Operational Characterization of Strong Normalization. FoSSaCS Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2005	B	`conf`	On the Specification of Sequent Systems. LPAR Elaine Pimentel, Dale Miller
2004	—	`conf`	Lazy Strong Normalization. ITRS Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2003	C	`ed.`	10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003 WoLLIC Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
2003	C	`conf`	Preface. WoLLIC Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo
2002	B	`conf`	Using Linear Logic to Reason about Sequent Systems. TABLEAUX Dale Miller, Elaine Pimentel