Luı́s Cruz-Filipe

768 total citations
36 papers, 129 citations indexed

About

Luı́s Cruz-Filipe is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Luı́s Cruz-Filipe has authored 36 papers receiving a total of 129 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. Recurrent topics in Luı́s Cruz-Filipe's work include Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (13 papers) and Semantic Web and Ontologies (9 papers). Luı́s Cruz-Filipe is often cited by papers focused on Logic, Reasoning, and Knowledge (18 papers), Logic, programming, and type systems (13 papers) and Semantic Web and Ontologies (9 papers). Luı́s Cruz-Filipe collaborates with scholars based in Denmark, Portugal and Belarus. Luı́s Cruz-Filipe's co-authors include Peter Schneider–Kamp, Fabrizio Montesi, Bart Bogaerts, Michael Codish, Amı́lcar Sernadas, Rohit Chadha, Paulo Mateus, Pierre Letouzey, Mike Müller and Cristina Sernadas and has published in prestigious journals such as SHILAP Revista de lepidopterología, Artificial Intelligence and Theoretical Computer Science.

In The Last Decade

Luı́s Cruz-Filipe

26 papers receiving 125 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Luı́s Cruz-Filipe Denmark	7	109	52	42	13	10	36	129
Simona Orzan Netherlands	6	77 0.7×	92 1.8×	35 0.8×	7 0.5×	11 1.1×	11	129
Silvia Ghilezan Serbia	9	138 1.3×	97 1.9×	34 0.8×	4 0.3×	10 1.0×	36	165
Andreas Lochbihler Switzerland	7	95 0.9×	27 0.5×	40 1.0×	4 0.3×	12 1.2×	27	122
Musab A. Alturki United States	6	87 0.8×	46 0.9×	57 1.4×	7 0.5×	39 3.9×	16	117
Matthew Fairbairn United Kingdom	4	64 0.6×	40 0.8×	75 1.8×	9 0.7×	14 1.4×	7	126
Rainer Feldmann Germany	8	47 0.4×	46 0.9×	69 1.6×	37 2.8×	9 0.9×	11	137
Aleksandr Karbyshev Israel	5	54 0.5×	26 0.5×	129 3.1×	25 1.9×	9 0.9×	7	151
Amitabh Trehan Israel	8	38 0.3×	33 0.6×	137 3.3×	12 0.9×	8 0.8×	23	161
Andreas Holzer Austria	4	76 0.7×	42 0.8×	32 0.8×	12 0.9×	22 2.2×	13	142
Ashish Choudhury India	8	137 1.3×	32 0.6×	78 1.9×	13 1.0×	59 5.9×	24	158

Countries citing papers authored by Luı́s Cruz-Filipe

Since Specialization

Citations

This map shows the geographic impact of Luı́s Cruz-Filipe's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Luı́s Cruz-Filipe with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luı́s Cruz-Filipe more than expected).

Fields of papers citing papers by Luı́s Cruz-Filipe

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luı́s Cruz-Filipe. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Luı́s Cruz-Filipe. The network helps show where Luı́s Cruz-Filipe may publish in the future.

Co-authorship network of co-authors of Luı́s Cruz-Filipe

This figure shows the co-authorship network connecting the top 25 collaborators of Luı́s Cruz-Filipe. A scholar is included among the top collaborators of Luı́s Cruz-Filipe based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Luı́s Cruz-Filipe. Luı́s Cruz-Filipe is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Cruz-Filipe, Luı́s, et al.. (2023). A Formal Theory of Choreographic Programming. Journal of Automated Reasoning. 67(2). 3 indexed citations

Cruz-Filipe, Luı́s, et al.. (2023). Modular Compilation for Higher-Order Functional Choreographies. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Cruz-Filipe, Luı́s, et al.. (2023). Keep me out of the loop: a more flexible choreographic projection. EPiC series in computing. 94. 144–123.

Cruz-Filipe, Luı́s & Fabrizio Montesi. (2023). Now It Compiles! Certified Automatic Repair of Uncompilable Protocols. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).

Cruz-Filipe, Luı́s & Fabrizio Montesi. (2019). A core model for choreographic programming. Theoretical Computer Science. 802. 38–66. 11 indexed citations

Cruz-Filipe, Luı́s & Peter Schneider–Kamp. (2018). Formally Proving the Boolean Pythagorean Triples Conjecture. EPiC series in computing. 46. 509–494. 1 indexed citations

Cruz-Filipe, Luı́s, João Marques‐Silva, & Peter Schneider–Kamp. (2018). Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. Journal of Automated Reasoning. 63(3). 695–722. 6 indexed citations

Cruz-Filipe, Luı́s, et al.. (2018). Complete and Efficient DRAT Proof Checking. University of Southern Denmark Research Portal (University of Southern Denmark). 1–9.

Cruz-Filipe, Luı́s & Peter Schneider–Kamp. (2017). Formally Proving the Boolean Triples Conjecture. University of Southern Denmark Research Portal (University of Southern Denmark). 509–522.

10.

Cruz-Filipe, Luı́s & Fabrizio Montesi. (2017). On Asynchrony and Choreographies. SHILAP Revista de lepidopterología. 261. 76–90. 3 indexed citations

11.

Bogaerts, Bart & Luı́s Cruz-Filipe. (2017). Fixpoint semantics for active integrity constraints. Artificial Intelligence. 255. 43–70. 8 indexed citations

12.

Cruz-Filipe, Luı́s & Fabrizio Montesi. (2017). Encoding asynchrony in choreographies. University of Southern Denmark Research Portal (University of Southern Denmark). 1175–1177. 1 indexed citations

13.

Cruz-Filipe, Luı́s. (2016). Grounded Fixpoints and Active Integrity Constraints. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 3 indexed citations

14.

Codish, Michael, et al.. (2016). Optimal-depth sorting networks. Journal of Computer and System Sciences. 84. 185–204. 8 indexed citations

15.

Codish, Michael, Luı́s Cruz-Filipe, Michael Frank, & Peter Schneider–Kamp. (2015). Sorting nine inputs requires twenty-five comparisons. Journal of Computer and System Sciences. 82(3). 551–563. 8 indexed citations

16.

Cruz-Filipe, Luı́s & Fernando Ferreira. (2015). The Finitistic Consistency of Heck’s Predicative Fregean System. Notre Dame Journal of Formal Logic. 56(1).

17.

Cruz-Filipe, Luı́s, et al.. (2013). Viewing dl-programs as multi-context systems. Repositório da Universidade de Lisboa (University of Lisbon).

18.

Cruz-Filipe, Luı́s, et al.. (2012). Patterns for Programming in the Semantic Web. Repositório da Universidade de Lisboa (University of Lisbon). 1 indexed citations

19.

Chadha, Rohit, Luı́s Cruz-Filipe, Paulo Mateus, & Amı́lcar Sernadas. (2007). Reasoning about probabilistic sequential programs. Theoretical Computer Science. 379(1-2). 142–165. 18 indexed citations

20.

Cruz-Filipe, Luı́s. (2003). A Constructive Formalization of the Fundamental Theorem of Calculus.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact