Luís Cruz-Filipe

Cited by

	All	Since 2019
Citations	1326	725
h-index	20	14
i10-index	32	19

180

135

20042005200620072008200920102011201220132014201520162017201820192020202120222023202429 14 11 25 37 25 16 20 14 35 21 42 70 118 106 92 90 96 126 166 151

Public access

View all

52 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Peter Schneider-KampProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
Marco PeressottiUniversity of Southern DenmarkVerified email at imada.sdu.dk
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Patrícia EngráciaPhD in Mathematics, ISCTE-IUL, Universidade AbertaVerified email at iscte-iul.pt
Bart BogaertsAssociate Professor, AI Lab, Department of Computer Science, Vrije Universiteit BrusselVerified email at vub.be
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
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
Isabel NunesLasige, Faculdade de Ciências, Universidade de LisboaVerified email at 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
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
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
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Ivan LaneseUniversity of BolognaVerified email at unibo.it
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
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	132	2017
C-CoRN, the constructive Coq repository at Nijmegen L Cruz-Filipe, H Geuvers, F Wiedijk Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004	130	2004
A core model for choreographic programming L Cruz-Filipe, F Montesi Theoretical Computer Science 802, 38-66, 2020	71	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	67	2017
Reasoning about probabilistic sequential programs R Chadha, L Cruz-Filipe, P Mateus, A Sernadas Theoretical Computer Science 379 (1-2), 142-165, 2007	56	2007
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	53	2014
A constructive formalization of the fundamental theorem of calculus L Cruz-Filipe International Workshop on Types for Proofs and Programs, 108-126, 2002	48	2002
Procedural Choreographic Programming L Cruz-Filipe, F Montesi FORTE, LNCS 10321, 2017	42*	2017
Formalising a Turing-Complete Choreographic Language in Coq L Cruz-Filipe, F Montesi, M Peressotti arXiv preprint arXiv:2102.02627, 2021	39	2021
Constructive real analysis: a type-theoretical formalization and applications L Cruz-Filipe [Sl: sn], 2004	39	2004
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	36	2019
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	31	2017
Choreographies in Practice L Cruz-Filipe, F Montesi International Conference on Formal Techniques for Distributed Objects …, 2016	29	2016
Certifying choreography compilation L Cruz-Filipe, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 115-133, 2021	27	2021
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	25	2019
Fixpoint semantics for active integrity constraints B Bogaerts, L Cruz-Filipe Artificial Intelligence 255, 43-70, 2018	24	2018
A large-scale experiment in executing extracted programs L Cruz-Filipe, P Letouzey Electronic Notes in Theoretical Computer Science 151 (1), 75-91, 2006	22	2006
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	21	2016
Optimizing computation of repairs from active integrity constraints L Cruz-Filipe International Symposium on Foundations of Information and Knowledge Systems …, 2014	20	2014

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