Luís Cruz-Filipe

Cited by

	All	Since 2018
Citations	1050	564
h-index	18	13
i10-index	27	17

160

120

2003200420052006200720082009201020112012201320142015201620172018201920202021202220235 26 13 14 24 36 24 17 21 14 31 22 44 66 121 104 93 81 101 142 42

Public access

View all

39 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Peter Schneider-KampProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Graça GasparFaculty of Sciences, University of LisbonVerified email at fc.ul.pt
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Marco PeressottiUniversity of Southern DenmarkVerified email at imada.sdu.dk
Michael FrankDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at post.bgu.ac.il
Herman GeuversRadboud University Nijmegen, the NetherlandsVerified email at cs.ru.nl
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEVerified email at uac.pt
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Isabel NunesLasige, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt
Bart BogaertsAssistant Professor, AI Lab, Department of Computer Science, Vrije Universiteit BrusselVerified email at vub.be
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Warren A. Hunt, JrProfessor of Computer Science, University of TexasVerified email at cs.utexas.edu
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerified email at math.ist.utl.pt
Rohit ChadhaUniversity of MissouriVerified email at missouri.edu

Luís Cruz-Filipe

University of Southern Denmark

Verified email at imada.sdu.dk

Logic Theorem Proving Concurrency Theory Choreographic Programming Artificial Intelligence


Title Sort by citations Sort by year Sort by 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	122	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	85	2017
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
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	51	2007
A core model for choreographic programming L Cruz-Filipe, F Montesi Theoretical Computer Science 802, 38-66, 2020	47	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	45	2017
A constructive formalization of the fundamental theorem of calculus L Cruz-Filipe Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en …, 2003	40	2003
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	35	2019
Constructive real analysis: a type-theoretical formalization and applications L Cruz-Filipe [Sl: sn], 2004	35	2004
Procedural Choreographic Programming L Cruz-Filipe, F Montesi FORTE, LNCS 10321, 2017	34*	2017
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	26	2017
Choreographies in Practice L Cruz-Filipe, F Montesi International Conference on Formal Techniques for Distributed Objects …, 2016	23	2016
A large-scale experiment in executing extracted programs L Cruz-Filipe, P Letouzey Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006	23	2006
Formalising a Turing-Complete Choreographic Language in Coq L Cruz-Filipe, F Montesi, M Peressotti arXiv preprint arXiv:2102.02627, 2021	22	2021
Optimizing computation of repairs from active integrity constraints L Cruz-Filipe International Symposium on Foundations of Information and Knowledge Systems …, 2014	20	2014
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	19	2016
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	19	2014
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	18	2013
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	17	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors