×

zbMATH — the first resource for mathematics

Cruz-Filipe, Luís

Compute Distance To:
Author ID: cruz-filipe.luis Recent zbMATH articles by "Cruz-Filipe, Luís"
Published as: Cruz-Filipe, L.; Cruz-Filipe, Luís
Documents Indexed: 35 Publications since 2003

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 75 times in 50 Documents Cited by Year
C-CoRN, the constructive Coq repository at Nijmegen. Zbl 1108.68586
Cruz-Filipe, Luís; Geuvers, Herman; Wiedijk, Freek
10
2004
Efficient certified RAT verification. Zbl 06778406
Cruz-Filipe, Luís; Heule, Marijn J. H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter
6
2017
Sorting nine inputs requires twenty-five comparisons. Zbl 1333.68087
Codish, Michael; Cruz-Filipe, Luís; Frank, Michael; Schneider-Kamp, Peter
6
2016
Sorting networks: the end game. Zbl 1423.68443
Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter
6
2015
Reasoning about probabilistic sequential programs. Zbl 1121.68028
Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.
5
2007
A large-scale experiment in executing extracted programs. Zbl 1273.68317
Cruz-Filipe, Luís; Letouzey, Pierre
5
2006
Program extraction from large proof developments. Zbl 1279.68287
Cruz-Filipe, Luís; Spitters, Bas
4
2003
Applying sorting networks to synthesize optimized sorting libraries. Zbl 1362.68062
Codish, Michael; Cruz-Filipe, Luís; Nebel, Markus; Schneider-Kamp, Peter
3
2015
Formalizing size-optimal sorting networks: extracting a certified proof checker. Zbl 06481861
Cruz-Filipe, Luís; Schneider-Kamp, Peter
3
2015
Optimizing computation of repairs from active integrity constraints. Zbl 1407.68127
Cruz-Filipe, Luís
3
2014
A constructive formalization of the fundamental theorem of calculus. Zbl 1023.03059
Cruz-Filipe, Luís
3
2003
Fixpoint semantics for active integrity constraints. Zbl 1423.68134
Bogaerts, Bart; Cruz-Filipe, Luís
2
2018
The paths to choreography extraction. Zbl 06721004
Cruz-Filipe, Luís; Larsen, Kim S.; Montesi, Fabrizio
2
2017
Integrity constraints for general-purpose knowledge bases. Zbl 06582823
Cruz-Filipe, Luís; Nunes, Isabel; Schneider-Kamp, Peter
2
2016
Optimizing a certified proof checker for a large-scale computer-generated proof. Zbl 1417.68180
Cruz-Filipe, Luís; Schneider-Kamp, Peter
2
2015
Complete axiomatization of discrete-measure almost-everywhere quantification. Zbl 1157.03014
Cruz-Filipe, Luís; Rasga, João; Sernadas, Amílcar; Sernadas, Cristina
2
2008
A core model for choreographic programming. Zbl 1436.68078
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2020
Formally verifying the solution to the Boolean Pythagorean triples problem. Zbl 07100460
Cruz-Filipe, Luís; Marques-Silva, Joao; Schneider-Kamp, Peter
1
2019
Active integrity constraints for general-purpose knowledge bases. Zbl 1459.68198
Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter
1
2018
That’s enough: asynchrony with standard choreography primitives. Zbl 1416.68119
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2017
Formally proving the Boolean Pythagorean triples conjecture. Zbl 1403.68222
Cruz-Filipe, Luís; Schneider-Kamp, Peter
1
2017
Formally proving size optimality of sorting networks. Zbl 1425.68372
Cruz-Filipe, Luís; Larsen, Kim S.; Schneider-Kamp, Peter
1
2017
Optimal-depth sorting networks. Zbl 1353.68062
Bundala, Daniel; Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter; Závodný, Jakub
1
2017
The finitistic consistency of Heck’s predicative Fregean system. Zbl 1356.03101
Cruz-Filipe, Luís; Ferreira, Fernando
1
2015
Description logics, rules and multi-context systems. Zbl 1362.68273
Cruz-Filipe, Luís; Henriques, Rita; Nunes, Isabel
1
2013
Heterogeneous fibring of deductive systems via abstract proof systems. Zbl 1138.03011
Cruz-Filipe, Luís; Sernadas, Amílcar; Sernadas, Cristina
1
2008
Hierarchical reflection. Zbl 1099.68722
Cruz-Filipe, Luís; Wiedijk, Freek
1
2004
A core model for choreographic programming. Zbl 1436.68078
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2020
Formally verifying the solution to the Boolean Pythagorean triples problem. Zbl 07100460
Cruz-Filipe, Luís; Marques-Silva, Joao; Schneider-Kamp, Peter
1
2019
Fixpoint semantics for active integrity constraints. Zbl 1423.68134
Bogaerts, Bart; Cruz-Filipe, Luís
2
2018
Active integrity constraints for general-purpose knowledge bases. Zbl 1459.68198
Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter
1
2018
Efficient certified RAT verification. Zbl 06778406
Cruz-Filipe, Luís; Heule, Marijn J. H.; Hunt Jr., Warren A.; Kaufmann, Matt; Schneider-Kamp, Peter
6
2017
The paths to choreography extraction. Zbl 06721004
Cruz-Filipe, Luís; Larsen, Kim S.; Montesi, Fabrizio
2
2017
That’s enough: asynchrony with standard choreography primitives. Zbl 1416.68119
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2017
Formally proving the Boolean Pythagorean triples conjecture. Zbl 1403.68222
Cruz-Filipe, Luís; Schneider-Kamp, Peter
1
2017
Formally proving size optimality of sorting networks. Zbl 1425.68372
Cruz-Filipe, Luís; Larsen, Kim S.; Schneider-Kamp, Peter
1
2017
Optimal-depth sorting networks. Zbl 1353.68062
Bundala, Daniel; Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter; Závodný, Jakub
1
2017
Sorting nine inputs requires twenty-five comparisons. Zbl 1333.68087
Codish, Michael; Cruz-Filipe, Luís; Frank, Michael; Schneider-Kamp, Peter
6
2016
Integrity constraints for general-purpose knowledge bases. Zbl 06582823
Cruz-Filipe, Luís; Nunes, Isabel; Schneider-Kamp, Peter
2
2016
Sorting networks: the end game. Zbl 1423.68443
Codish, Michael; Cruz-Filipe, Luís; Schneider-Kamp, Peter
6
2015
Applying sorting networks to synthesize optimized sorting libraries. Zbl 1362.68062
Codish, Michael; Cruz-Filipe, Luís; Nebel, Markus; Schneider-Kamp, Peter
3
2015
Formalizing size-optimal sorting networks: extracting a certified proof checker. Zbl 06481861
Cruz-Filipe, Luís; Schneider-Kamp, Peter
3
2015
Optimizing a certified proof checker for a large-scale computer-generated proof. Zbl 1417.68180
Cruz-Filipe, Luís; Schneider-Kamp, Peter
2
2015
The finitistic consistency of Heck’s predicative Fregean system. Zbl 1356.03101
Cruz-Filipe, Luís; Ferreira, Fernando
1
2015
Optimizing computation of repairs from active integrity constraints. Zbl 1407.68127
Cruz-Filipe, Luís
3
2014
Description logics, rules and multi-context systems. Zbl 1362.68273
Cruz-Filipe, Luís; Henriques, Rita; Nunes, Isabel
1
2013
Complete axiomatization of discrete-measure almost-everywhere quantification. Zbl 1157.03014
Cruz-Filipe, Luís; Rasga, João; Sernadas, Amílcar; Sernadas, Cristina
2
2008
Heterogeneous fibring of deductive systems via abstract proof systems. Zbl 1138.03011
Cruz-Filipe, Luís; Sernadas, Amílcar; Sernadas, Cristina
1
2008
Reasoning about probabilistic sequential programs. Zbl 1121.68028
Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.
5
2007
A large-scale experiment in executing extracted programs. Zbl 1273.68317
Cruz-Filipe, Luís; Letouzey, Pierre
5
2006
C-CoRN, the constructive Coq repository at Nijmegen. Zbl 1108.68586
Cruz-Filipe, Luís; Geuvers, Herman; Wiedijk, Freek
10
2004
Hierarchical reflection. Zbl 1099.68722
Cruz-Filipe, Luís; Wiedijk, Freek
1
2004
Program extraction from large proof developments. Zbl 1279.68287
Cruz-Filipe, Luís; Spitters, Bas
4
2003
A constructive formalization of the fundamental theorem of calculus. Zbl 1023.03059
Cruz-Filipe, Luís
3
2003
all top 5

Cited by 92 Authors

13 Cruz-Filipe, Luís
9 Schneider-Kamp, Peter
6 Codish, Michael
3 Ehlers, Thorsten
3 Rasga, João
3 Sernadas, Cristina S.
2 Baltazar, Pedro
2 Biere, Armin
2 Bogaerts, Bart
2 Frank, Michael
2 Gaspar, Graça
2 Heule, Marijn J. H.
2 Kiesl, Benjamin
2 Lammich, Peter
2 Montesi, Fabrizio
2 Müller, Mike
2 Nebel, Markus E.
2 Nunes, Isabel
2 O’Connor, Russell
2 Spitters, Bas
1 Alviano, Mario
1 Asperti, Andrea
1 Blanchette, Jasmin Christian
1 Boldo, Sylvie
1 Bright, Curtis
1 Bundala, Daniel
1 Carbone, Marco
1 Castellani, Ilaria
1 Cheung, Kevin K. H.
1 Denecker, Marc
1 Devries, Edsko
1 Dezani-Ciancaglini, Mariangiola
1 Dodaro, Carmine
1 Dolev, Danny
1 Ferreira, Fernando A. F.
1 Fichte, Johannes Klaus
1 Fischer, Charles N.
1 Fleury, Mathias
1 Ganesh, Vijay
1 Geuvers, Jan Herman
1 Giannini, Paola
1 Hecher, Markus
1 Heljanko, Keijo
1 Horne, Ross
1 Jacobs, Bart
1 Järvisalo, Matti
1 Julien, Nicolas
1 Kaliszyk, Cezary
1 Korhonen, Janne H.
1 Kotsireas, Ilias S.
1 Koutavas, Vasileios
1 Krebbers, Robbert
1 Larsen, Kim Skak
1 Lelay, Catherine
1 Lenzen, Christoph
1 Li, Wenda
1 Liblit, Ben
1 Lotfallah, Wafik Boulos
1 Marques-Silva, João P.
1 Mateus, Paulo C.
1 Melquiond, Guillaume
1 Moore, J Strother
1 Mulhern, Anne
1 Paşca, Ioana
1 Paulson, Lawrence Charles
1 Philipp, Tobias
1 Rand, Robert C.
1 Rath, Jakob
1 Rebola-Pardo, Adrián
1 Rioboo, Renaud
1 Roy, Dominique
1 Rybicki, Joel
1 Sacerdoti Coen, Claudio
1 Schechter, Joshua
1 Schürmann, Carsten
1 Sernadas, Amilcar C.
1 Sernadas, Amlcar
1 Simpson, Carlos Tschudi
1 Smetsers, Sjaak
1 Steinberg, Florian
1 Stevens, Brett
1 Suomela, Jukka
1 Tassi, Enrico
1 Théry, Laurent
1 Thies, Holger
1 Vennekens, Joost
1 Weidenbach, Christoph
1 Wichers Schreur, Ronny
1 Wieringa, Siert
1 Zacchiroli, Stefano
1 Závodný, Jakub
1 Zdancewic, Steve

Citations by Year