| A formal framework for specifying sequent calculus proof systems D Miller, E Pimentel Theoretical Computer Science 474, 98-116, 2013 | 69 | 2013 |
| Modularisation of sequent calculi for normal and non-normal modalities B Lellmann, E Pimentel ACM Transactions on Computational Logic (TOCL) 20 (2), 1-46, 2019 | 52 | 2019 |
| An extended framework for specifying and reasoning about proof systems V Nigam, E Pimentel, G Reis Journal of Logic and Computation 26 (2), 539-576, 2016 | 47 | 2016 |
| A general proof system for modalities in concurrent constraint programming V Nigam, C Olarte, E Pimentel International Conference on Concurrency Theory, 410-424, 2013 | 38 | 2013 |
| Proof search in nested sequent calculi B Lellmann, E Pimentel Logic for Programming, Artificial Intelligence, and Reasoning, 558-574, 2015 | 33 | 2015 |
| Using linear logic to reason about sequent systems D Miller, E Pimentel International Conference on Automated Reasoning with Analytic Tableaux and …, 2002 | 33 | 2002 |
| From axioms to synthetic inference rules via focusing S Marin, D Miller, E Pimentel, M Volpe Annals of Pure and Applied Logic 173 (5), 103091, 2022 | 32 | 2022 |
| On the specification of sequent systems E Pimentel, D Miller International Conference on Logic for Programming Artificial Intelligence …, 2005 | 31 | 2005 |
| Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015 | 30 | 2015 |
| An ecumenical notion of entailment E Pimentel, LC Pereira, V de Paiva Synthese 198 (Suppl 22), 5391-5413, 2021 | 29 | 2021 |
| Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011 | 28 | 2011 |
| Linear logic as a framework for specifying sequent calculus D Miller, E Pimentel Logic Colloquium 99, 111-135, 2004 | 24 | 2004 |
| A uniform framework for substructural logics with modalities. B Lellmann, C Olarte, E Pimentel LPAR, 435-455, 2017 | 23 | 2017 |
| Intersection types from a proof-theoretic perspective E Pimentel, S Ronchi Della Rocca, L Roversi Fundamenta Informaticae 121 (1-4), 253-274, 2012 | 22 | 2012 |
| On subexponentials, focusing and modalities in concurrent systems V Nigam, C Olarte, E Pimentel Theoretical Computer Science 693, 35-58, 2017 | 18 | 2017 |
| Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca Electronic Notes in Theoretical Computer Science 136, 103-116, 2005 | 17 | 2005 |
| Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014 | 16 | 2014 |
| Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity T Dalmonte, B Lellmann, N Olivetti, E Pimentel Journal of Logic and Computation 31 (1), 67-111, 2021 | 15 | 2021 |
| Multi-focused proofs with different polarity assignments E Pimentel, V Nigam, J Neto Electronic Notes in Theoretical Computer Science 323, 163-179, 2016 | 15 | 2016 |
| Non-associative, non-commutative multi-modal linear logic E Blaisdell, M Kanovich, SL Kuznetsov, E Pimentel, A Scedrov International Joint Conference on Automated Reasoning, 449-467, 2022 | 14 | 2022 |
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordDirección de correo verificada de lipn.univ-paris13.fr
