A formal framework for specifying sequent calculus proof systems D Miller, E Pimentel Theoretical Computer Science 474, 98-116, 2013 | 41 | 2013 |

Using linear logic to reason about sequent systems D Miller, E Pimentel International Conference on Automated Reasoning with Analytic Tableaux and …, 2002 | 33 | 2002 |

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 | 32 | 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 | 32 | 2013 |

On the specification of sequent systems E Pimentel, D Miller International Conference on Logic for Programming Artificial Intelligence …, 2005 | 30 | 2005 |

Proof search in nested sequent calculi B Lellmann, E Pimentel Logic for Programming, Artificial Intelligence, and Reasoning, 558-574, 2015 | 26 | 2015 |

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 | 24 | 2019 |

Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011 | 23 | 2011 |

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 |

Subexponential concurrent constraint programming C Olarte, E Pimentel, V Nigam Theoretical Computer Science 606, 98-120, 2015 | 21 | 2015 |

Linear logic as a framework for specifying sequent calculus D Miller, E Pimentel Logic Colloquium 99, 111-135, 1999 | 21 | 1999 |

Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca Electronic Notes in Theoretical Computer Science 136, 103-116, 2005 | 16 | 2005 |

Intersection types: a proof-theoretical approach E Pimentel, SR Della Rocca, L Roversi Fakultät Informatik, 189, 2005 | 14 | 2005 |

Dynamic spaces in concurrent constraint programming C Olarte, V Nigam, E Pimentel Electronic Notes in Theoretical Computer Science 305, 103-121, 2014 | 13 | 2014 |

Lógica Linear E a Especificação De Sistemas Computacionais EG Pimentel, MG Belo, HMG Brasil, D Miller | 12 | 2001 |

A proof theoretic study of soft concurrent constraint programming E Pimentel, C Olarte, V Nigam arXiv preprint arXiv:1405.2329, 2014 | 11 | 2014 |

A uniform framework for substructural logics with modalities. B Lellmann, C Olarte, E Pimentel LPAR, 435-455, 2017 | 9 | 2017 |

Hybrid and subexponential linear logics J Despeyroux, C Olarte, E Pimentel Electronic Notes in Theoretical Computer Science 332, 95-111, 2017 | 8 | 2017 |

Quantum programming made easy L Paolini, L Roversi, M Zorzi arXiv preprint arXiv:1711.00774, 2017 | 7 | 2017 |

On concurrent behaviors and focusing in linear logic C Olarte, E Pimentel Theoretical Computer Science 685, 46-64, 2017 | 7 | 2017 |