| Checking NFA equivalence with bisimulations up to congruence F Bonchi, D Pous Principles of Programming Languages 48 (1), 457-468, 2013 | 191 | 2013 |
| Enhancements of the bisimulation proof method D Pous, D Sangiorgi Advanced Topics in Bisimulation and Coinduction, 2012 | 82 | 2012 |
| An efficient Coq tactic for deciding Kleene algebras T Braibant, D Pous Interactive Theorem Proving, 163-178, 2010 | 65 | 2010 |
| Complete lattices and up-to techniques D Pous Asian Symposium on Programming Languages and Systems, 351-366, 2007 | 60 | 2007 |
| Coinduction up to in a fibrational setting F Bonchi, D Petrisan, D Pous, J Rot CSL-LICS, 20, 2014 | 59 | 2014 |
| Robust reconfigurations of component assemblies F Boyer, O Gruber, D Pous International Conference on Software Engineering, 13-22, 2013 | 57 | 2013 |
| Coinduction all the way up D Pous Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 55 | 2016 |
| Deciding Kleene algebras in Coq T Braibant, D Pous Logical Methods in Computer Science 8 (1:16), 1-42, 2011 | 55 | 2011 |
| Kleene algebra with tests and Coq tools for while programs D Pous Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 49 | 2013 |
| A cut-free cyclic proof system for Kleene algebra A Das, D Pous International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 42 | 2017 |
| A general account of coinduction up-to F Bonchi, D Petrişan, D Pous, J Rot Acta Informatica 54, 127-190, 2017 | 41 | 2017 |
| Tactics for reasoning modulo AC in Coq T Braibant, D Pous International Conference on Certified Programs and Proofs, 167-182, 2011 | 38* | 2011 |
| Non-wellfounded proof theory for (Kleene+ action)(algebras+ lattices) A Das, D Pous | 35 | 2018 |
| Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests D Pous POPL'15, 2015 | 33 | 2015 |
| Enhanced coalgebraic bisimulation J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva to appear in MSCS, 2014 | 32 | 2014 |
| Enhancements of the coinductive proof method D Pous, D Sangiorgi, J Rutten Advanced Topics in Bisimulation and Coinduction 52, 2011 | 31 | 2011 |
| Hacking nondeterminism with induction and coinduction F Bonchi, D Pous Communications of the ACM 58 (2), 87-95, 2015 | 28 | 2015 |
| 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 |
| A distribution law for CCS and a new congruence result for the π-calculus D Hirschkoff, D Pous Logical Methods in Computer Science 4 (2:4), 1-20, 2008 | 25 | 2008 |
| New up-to techniques for weak bisimulation D Pous Theoretical Computer Science 380 (1-2), 164-180, 2007 | 23 | 2007 |
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
