Seguir
Luís Cruz-Filipe
Título
Citado por
Citado por
Ano
C-CoRN, the constructive Coq repository at Nijmegen
L Cruz-Filipe, H Geuvers, F Wiedijk
International Conference on Mathematical Knowledge Management, 88-103, 2004
1232004
Efficient certified RAT verification
L Cruz-Filipe, MJH Heule, WA Hunt, M Kaufmann, P Schneider-Kamp
International Conference on Automated Deduction, 220-236, 2017
822017
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
502014
Reasoning about probabilistic sequential programs
R Chadha, L Cruz-Filipe, P Mateus, A Sernadas
Theoretical Computer Science 379 (1-2), 142-165, 2007
482007
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
452017
A core model for choreographic programming
L Cruz-Filipe, F Montesi
Theoretical Computer Science 802, 38-66, 2020
39*2020
A constructive formalization of the fundamental theorem of calculus
L Cruz-Filipe
International Workshop on Types for Proofs and Programs, 108-126, 2002
392002
Constructive real analysis: a type-theoretical formalization and applications
L Cruz-Filipe
[Sl: sn], 2004
352004
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
342019
Program extraction from large proof developments
L Cruz-Filipe, B Spitters
International Conference on Theorem Proving in Higher Order Logics, 205-220, 2003
332003
Procedural Choreographic Programming
L Cruz-Filipe, F Montesi
FORTE, LNCS 10321, 2017
30*2017
The paths to choreography extraction
L Cruz-Filipe, KS Larsen, F Montesi
International Conference on Foundations of Software Science and Computation …, 2017
232017
A large-scale experiment in executing extracted programs
L Cruz-Filipe, P Letouzey
Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006
232006
Choreographies in Practice
L Cruz-Filipe, F Montesi
International Conference on Formal Techniques for Distributed Objects …, 2016
202016
Optimizing computation of repairs from active integrity constraints
L Cruz-Filipe
International Symposium on Foundations of Information and Knowledge Systems …, 2014
202014
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 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
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
182013
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
162019
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
162017
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20