Luís Cruz-Filipe

Процитировано

	Все	Начиная с 2020 г.
Статистика цитирования	1385	689
h-индекс	20	14
i10-индекс	32	18

200

100

150

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202530 15 9 25 38 25 16 20 14 36 20 42 77 114 106 91 90 99 127 164 187 21

Общий доступ

Просмотреть все

52 статьи

0 статей

доступно

недоступно

На основе финансирования

Соавторы

Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkПодтвержден адрес электронной почты в домене imada.sdu.dk
Peter Schneider-KampProfessor of Computer Science, University of Southern DenmarkПодтвержден адрес электронной почты в домене imada.sdu.dk
Marco PeressottiUniversity of Southern DenmarkПодтвержден адрес электронной почты в домене imada.sdu.dk
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevПодтвержден адрес электронной почты в домене cs.bgu.ac.il
Patrícia EngráciaPhD in Mathematics, ISCTE-IUL, Universidade AbertaПодтвержден адрес электронной почты в домене iscte-iul.pt
Bart BogaertsResearch Professor, DTAI lab, Department of Computer Science, KU LeuvenПодтвержден адрес электронной почты в домене kuleuven.be
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaПодтвержден адрес электронной почты в домене icrea.cat
Michael FrankDepartment of Computer Science, Ben-Gurion University of the NegevПодтвержден адрес электронной почты в домене post.bgu.ac.il
Herman GeuversRadboud University Nijmegen, the NetherlandsПодтвержден адрес электронной почты в домене cs.ru.nl
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEПодтвержден адрес электронной почты в домене uac.pt
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaПодтвержден адрес электронной почты в домене tecnico.ulisboa.pt
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityПодтвержден адрес электронной почты в домене cs.cmu.edu
Warren A. Hunt, JrProfessor of Computer Science, University of TexasПодтвержден адрес электронной почты в домене cs.utexas.edu
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaПодтвержден адрес электронной почты в домене di.fc.ul.pt
Isabel NunesLasige, Faculdade de Ciências, Universidade de LisboaПодтвержден адрес электронной почты в домене fc.ul.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonПодтвержден адрес электронной почты в домене fct.unl.pt
Ivan LaneseUniversity of BolognaПодтвержден адрес электронной почты в домене unibo.it
Bas SpittersAssociate Professor, Aarhus UniversityПодтвержден адрес электронной почты в домене cs.au.dk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalПодтвержден адрес электронной почты в домене math.ist.utl.pt
Rohit ChadhaUniversity of MissouriПодтвержден адрес электронной почты в домене missouri.edu

Luís Cruz-Filipe

University of Southern Denmark

Подтвержден адрес электронной почты в домене imada.sdu.dk

Logic Theorem Proving Concurrency Theory Choreographic Programming Artificial Intelligence


Название По числу цитат По году По названию	Процитировано Процитировано	Год
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	144	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	136	2004
A core model for choreographic programming L Cruz-Filipe, F Montesi Theoretical Computer Science 802, 38-66, 2020	76*	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	72	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	54	2014
A constructive formalization of the fundamental theorem of calculus L Cruz-Filipe International Workshop on Types for Proofs and Programs, 108-126, 2002	49	2002
Procedural Choreographic Programming L Cruz-Filipe, F Montesi FORTE, LNCS 10321, 2017	44*	2017
Formalising a Turing-Complete Choreographic Language in Coq L Cruz-Filipe, F Montesi, M Peressotti arXiv preprint arXiv:2102.02627, 2021	40	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	37	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	32	2017
Fixpoint semantics for active integrity constraints B Bogaerts, L Cruz-Filipe Artificial Intelligence 255, 43-70, 2018	29	2018
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	28	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	26	2019
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
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
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	21	2013

В данный момент система не может выполнить эту операцию. Повторите попытку позднее.

Статьи 1–20

Ссылок за год

Повторяющиеся цитирования

Объединенные цитирования

СоавторыСоавторы

Подписаться

Процитировано

Соавторы