Checking NFA equivalence with bisimulations up to congruence F Bonchi, D Pous Principles of Programming Languages 48 (1), 457-468, 2013 | 210 | 2013 |
Enhancements of the bisimulation proof method D Pous, D Sangiorgi Advanced Topics in Bisimulation and Coinduction, 2012 | 86 | 2012 |
Coinduction all the way up D Pous Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 68 | 2016 |
Complete lattices and up-to techniques D Pous Asian Symposium on Programming Languages and Systems, 351-366, 2007 | 68 | 2007 |
An efficient Coq tactic for deciding Kleene algebras T Braibant, D Pous Interactive Theorem Proving, 163-178, 2010 | 66 | 2010 |
Coinduction up to in a fibrational setting F Bonchi, D Petrisan, D Pous, J Rot CSL-LICS, 20, 2014 | 62 | 2014 |
Robust reconfigurations of component assemblies F Boyer, O Gruber, D Pous International Conference on Software Engineering, 13-22, 2013 | 59 | 2013 |
Deciding Kleene algebras in Coq T Braibant, D Pous Logical Methods in Computer Science 8 (1:16), 1-42, 2011 | 56 | 2011 |
Kleene algebra with tests and Coq tools for while programs D Pous Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 55 | 2013 |
A cut-free cyclic proof system for Kleene algebra A Das, D Pous International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 52 | 2017 |
A general account of coinduction up-to F Bonchi, D Petrişan, D Pous, J Rot Acta Informatica 54, 127-190, 2017 | 49 | 2017 |
Non-wellfounded proof theory for (Kleene+ action)(algebras+ lattices) A Das, D Pous Computer Science Logic (CSL), 2018 | 46 | 2018 |
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests D Pous POPL'15, 2015 | 42 | 2015 |
Tactics for reasoning modulo AC in Coq T Braibant, D Pous International Conference on Certified Programs and Proofs, 167-182, 2011 | 42* | 2011 |
Enhancements of the coinductive proof method D Pous, D Sangiorgi, J Rutten Advanced Topics in Bisimulation and Coinduction 52, 2011 | 34 | 2011 |
Enhanced coalgebraic bisimulation J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva to appear in MSCS, 2014 | 33 | 2014 |
Hacking nondeterminism with induction and coinduction F Bonchi, D Pous Communications of the ACM 58 (2), 87-95, 2015 | 31 | 2015 |
Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. A Das, A Doumane, D Pous LPAR, 271-289, 2018 | 28 | 2018 |
Innocent strategies as presheaves and interactive equivalences for CCS T Hirschowitz, D Pous Scientific Annals of Computer Science 22 (1), 147-199, 2012 | 26* | 2012 |
Cyclic proofs, system T, and the power of contraction D Kuperberg, L Pinault, D Pous Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 25 | 2021 |