| Checking NFA equivalence with bisimulations up to congruence F Bonchi, D Pous Principles of Programming Languages 48 (1), 457-468, 2013 | 218 | 2013 |
| Enhancements of the bisimulation proof method D Pous, D Sangiorgi Advanced Topics in Bisimulation and Coinduction, 2012 | 92 | 2012 |
| Complete lattices and up-to techniques D Pous Asian Symposium on Programming Languages and Systems, 351-366, 2007 | 77 | 2007 |
| Coinduction all the way up D Pous Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 75 | 2016 |
| 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 |
| Kleene algebra with tests and Coq tools for while programs D Pous Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 58 | 2013 |
| Deciding Kleene algebras in Coq T Braibant, D Pous Logical Methods in Computer Science 8 (1:16), 1-42, 2011 | 58 | 2011 |
| Non-wellfounded proof theory for (Kleene+ action)(algebras+ lattices) A Das, D Pous Computer Science Logic (CSL), 2018 | 51 | 2018 |
| A cut-free cyclic proof system for Kleene algebra A Das, D Pous International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 51 | 2017 |
| A general account of coinduction up-to F Bonchi, D Petrişan, D Pous, J Rot Acta Informatica 54, 127-190, 2017 | 51 | 2017 |
| Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests D Pous POPL'15, 2015 | 45 | 2015 |
| Tactics for reasoning modulo AC in Coq T Braibant, D Pous International Conference on Certified Programs and Proofs, 167-182, 2011 | 44* | 2011 |
| Enhancements of the coinductive proof method D Pous, D Sangiorgi, J Rutten Advanced Topics in Bisimulation and Coinduction 52, 2011 | 38 | 2011 |
| Graph theory in Coq: Minors, treewidth, and isomorphisms C Doczkal, D Pous Journal of Automated Reasoning 64 (5), 795-825, 2020 | 36 | 2020 |
| Enhanced coalgebraic bisimulation J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva to appear in MSCS, 2014 | 34 | 2014 |
| Hacking nondeterminism with induction and coinduction F Bonchi, D Pous Communications of the ACM 58 (2), 87-95, 2015 | 33 | 2015 |
| Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. A Das, A Doumane, D Pous LPAR, 271-289, 2018 | 30 | 2018 |
| Innocent strategies as presheaves and interactive equivalences for CCS T Hirschowitz, D Pous Scientific Annals of Computer Science 22 (1), 147-199, 2012 | 29* | 2012 |
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
