| Efficient certified RAT verification L Cruz-Filipe, MJH Heule, WA Hunt Jr, M Kaufmann, P Schneider-Kamp International Conference on Automated Deduction, 220-236, 2017 | 165 | 2017 |
| C-CoRN, the constructive Coq repository at Nijmegen L Cruz-Filipe, H Geuvers, F Wiedijk International Conference on Mathematical Knowledge Management, 88-103, 2004 | 141 | 2004 |
| A core model for choreographic programming L Cruz-Filipe, F Montesi Theoretical Computer Science 802, 38-66, 2020 | 92* | 2020 |
| Efficient certified resolution proof checking L Cruz-Filipe, J Marques-Silva, P Schneider-Kamp International Conference on Tools and Algorithms for the Construction and …, 2017 | 76 | 2017 |
| Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007 | 61 | 2007 |
| Twenty-five comparators is optimal when sorting nine inputs (and twenty-nine for ten) M Codish, L Cruz-Filipe, M Frank, P Schneider-Kamp 2014 IEEE 26th International Conference on Tools with Artificial …, 2014 | 54 | 2014 |
| A constructive formalization of the fundamental theorem of calculus L Cruz-Filipe International Workshop on Types for Proofs and Programs, 108-126, 2002 | 51 | 2002 |
| Procedural Choreographic Programming L Cruz-Filipe, F Montesi FORTE, LNCS 10321, 2017 | 49* | 2017 |
| Formalising a Turing-Complete Choreographic Language in Coq L Cruz-Filipe, F Montesi, M Peressotti arXiv preprint arXiv:2102.02627, 2021 | 44 | 2021 |
| Constructive real analysis: a type-theoretical formalization and applications L Cruz-Filipe [Sl: sn], 2004 | 40 | 2004 |
| Sorting networks: to the end and back again M Codish, L Cruz-Filipe, T Ehlers, M Müller, P Schneider-Kamp Journal of Computer and System Sciences 104, 184-201, 2019 | 38 | 2019 |
| The paths to choreography extraction L Cruz-Filipe, KS Larsen, F Montesi International Conference on Foundations of Software Science and Computation …, 2017 | 35 | 2017 |
| Choreographies in Practice L Cruz-Filipe, F Montesi International Conference on Formal Techniques for Distributed Objects …, 2016 | 34 | 2016 |
| Program extraction from large proof developments L Cruz-Filipe, B Spitters International Conference on Theorem Proving in Higher Order Logics, 205-220, 2003 | 33 | 2003 |
| Certifying choreography compilation L Cruz-Filipe, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 115-133, 2021 | 32 | 2021 |
| Fixpoint semantics for active integrity constraints B Bogaerts, L Cruz-Filipe Artificial Intelligence 255, 43-70, 2018 | 31 | 2018 |
| Formally verifying the solution to the Boolean Pythagorean triples problem L Cruz-Filipe, J Marques-Silva, P Schneider-Kamp Journal of Automated Reasoning 63 (3), 695-722, 2019 | 30 | 2019 |
| Functional choreographic programming L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 212-237, 2022 | 25 | 2022 |
| A formal theory of choreographic programming L Cruz-Filipe, F Montesi, M Peressotti Journal of Automated Reasoning 67 (2), 21, 2023 | 24 | 2023 |
| A large-scale experiment in executing extracted programs L Cruz-Filipe, P Letouzey Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006 | 23 | 2006 |
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
