Follow
Luís Cruz-Filipe
Title
Cited by
Cited by
Year
C-CoRN, the constructive Coq repository at Nijmegen
L Cruz-Filipe, H Geuvers, F Wiedijk
Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004
1302004
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
1152017
A core model for choreographic programming
L Cruz-Filipe, F Montesi
Theoretical Computer Science 802, 38-66, 2020
632020
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
602017
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
522014
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
502007
A constructive formalization of the fundamental theorem of calculus
L Cruz-Filipe
International Workshop on Types for Proofs and Programs, 108-126, 2002
422002
Procedural Choreographic Programming
L Cruz-Filipe, F Montesi
FORTE, LNCS 10321, 2017
39*2017
Constructive real analysis: a type-theoretical formalization and applications
L Cruz-Filipe
[Sl: sn], 2004
382004
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
352019
Formalising a Turing-Complete Choreographic Language in Coq
L Cruz-Filipe, F Montesi, M Peressotti
arXiv preprint arXiv:2102.02627, 2021
342021
Program extraction from large proof developments
L Cruz-Filipe, B Spitters
Theorem Proving in Higher Order Logics: 16th International Conference …, 2003
332003
The paths to choreography extraction
L Cruz-Filipe, KS Larsen, F Montesi
International Conference on Foundations of Software Science and Computation …, 2017
302017
Choreographies in Practice
L Cruz-Filipe, F Montesi
International Conference on Formal Techniques for Distributed Objects …, 2016
282016
Certifying choreography compilation
L Cruz-Filipe, F Montesi, M Peressotti
International Colloquium on Theoretical Aspects of Computing, 115-133, 2021
252021
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
222019
A large-scale experiment in executing extracted programs
L Cruz-Filipe, P Letouzey
Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006
222006
Optimizing computation of repairs from active integrity constraints
L Cruz-Filipe
International Symposium on Foundations of Information and Knowledge Systems …, 2014
202014
Computing repairs from active integrity constraints
L Cruz-Filipe, P Engrácia, G Gaspar, I Nunes
Theoretical Aspects of Software Engineering (TASE), 2013 International …, 2013
202013
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
192016
The system can't perform the operation now. Try again later.
Articles 1–20