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
International Conference on Mathematical Knowledge Management, 88-103, 2004
1012004
Efficient certified RAT verification
L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp
International Conference on Automated Deduction, 220-236, 2017
502017
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
462014
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
452007
Constructive real analysis: a type-theoretical formalization and applications
L Cruz-Filipe
[Sl: sn], 2004
342004
A constructive formalization of the fundamental theorem of calculus
L Cruz-Filipe
International Workshop on Types for Proofs and Programs, 108-126, 2002
342002
Program extraction from large proof developments
L Cruz-Filipe, B Spitters
International Conference on Theorem Proving in Higher Order Logics, 205-220, 2003
292003
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
272017
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
232019
A large-scale experiment in executing extracted programs
L Cruz-Filipe, P Letouzey
Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006
202006
The quest for optimal sorting networks: Efficient generation of two-layer prefixes
M Codish, L Cruz-Filipe, P Schneider-Kamp
2014 16th International Symposium on Symbolic and Numeric Algorithms for …, 2014
192014
Optimizing computation of repairs from active integrity constraints
L Cruz-Filipe
International Symposium on Foundations of Information and Knowledge Systems …, 2014
182014
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
172016
Procedural Choreographic Programming
L Cruz-Filipe, F Montesi
FORTE, LNCS 10321, 2017
16*2017
A core model for choreographic programming
L Cruz-Filipe, F Montesi
International Workshop on Formal Aspects of Component Software, 17-35, 2016
16*2016
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
162013
The paths to choreography extraction
L Cruz-Filipe, KS Larsen, F Montesi
International Conference on Foundations of Software Science and Computation …, 2017
152017
Optimal-depth sorting networks
D Bundala, M Codish, L Cruz-Filipe, P Schneider-Kamp, J Závodný
Journal of Computer and System Sciences 84, 185-204, 2017
142017
Sorting networks: the end game
M Codish, L Cruz-Filipe, P Schneider-Kamp
International Conference on Language and Automata Theory and Applications …, 2015
122015
The stream-based service-centred calculus: a foundation for service-oriented programming
L Cruz-Filipe, I Lanese, F Martins, A Ravara, VT Vasconcelos
Formal Aspects of Computing 26 (5), 865-918, 2014
122014
The system can't perform the operation now. Try again later.
Articles 1–20