C-CoRN, the constructive Coq repository at Nijmegen L Cruz-Filipe, H Geuvers, F Wiedijk Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004 | 129 | 2004 |
Efficient certified RAT verification L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 124 | 2017 |
A core model for choreographic programming L Cruz-Filipe, F Montesi Theoretical Computer Science 802, 38-66, 2020 | 70 | 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 | 65 | 2017 |
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007 | 53 | 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 | 52 | 2014 |
A constructive formalization of the fundamental theorem of calculus L Cruz-Filipe International Workshop on Types for Proofs and Programs, 108-126, 2002 | 47 | 2002 |
Procedural Choreographic Programming L Cruz-Filipe, F Montesi FORTE, LNCS 10321, 2017 | 41* | 2017 |
Constructive real analysis: a type-theoretical formalization and applications L Cruz-Filipe [Sl: sn], 2004 | 39 | 2004 |
Formalising a Turing-Complete Choreographic Language in Coq L Cruz-Filipe, F Montesi, M Peressotti arXiv preprint arXiv:2102.02627, 2021 | 37 | 2021 |
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 | 36 | 2019 |
Program extraction from large proof developments L Cruz-Filipe, B Spitters Theorem Proving in Higher Order Logics: 16th International Conference …, 2003 | 33 | 2003 |
The paths to choreography extraction L Cruz-Filipe, KS Larsen, F Montesi International Conference on Foundations of Software Science and Computation …, 2017 | 30 | 2017 |
Choreographies in Practice L Cruz-Filipe, F Montesi International Conference on Formal Techniques for Distributed Objects …, 2016 | 28 | 2016 |
Certifying choreography compilation L Cruz-Filipe, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 115-133, 2021 | 27 | 2021 |
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 | 25 | 2019 |
Fixpoint semantics for active integrity constraints B Bogaerts, L Cruz-Filipe Artificial Intelligence 255, 43-70, 2018 | 22 | 2018 |
A large-scale experiment in executing extracted programs L Cruz-Filipe, P Letouzey Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006 | 22 | 2006 |
Sorting nine inputs requires twenty-five comparisons M Codish, L Cruz-Filipe, M Frank, P Schneider-Kamp Journal of Computer and System Sciences 82 (3), 551-563, 2016 | 21 | 2016 |
Optimizing computation of repairs from active integrity constraints L Cruz-Filipe International Symposium on Foundations of Information and Knowledge Systems …, 2014 | 20 | 2014 |