Luca de Alfaro

9.5k total citations · 1 hit paper
80 papers, 2.5k citations indexed

About

Luca de Alfaro is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Luca de Alfaro has authored 80 papers receiving a total of 2.5k indexed citations (citations by other indexed papers that have themselves been cited), including 51 papers in Artificial Intelligence, 33 papers in Computational Theory and Mathematics and 14 papers in Information Systems. Recurrent topics in Luca de Alfaro's work include Formal Methods in Verification (33 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (13 papers). Luca de Alfaro is often cited by papers focused on Formal Methods in Verification (33 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (13 papers). Luca de Alfaro collaborates with scholars based in United States, Italy and Switzerland. Luca de Alfaro's co-authors include Thomas A. Henzinger, B. Thomas Adler, Zohar Manna, Ian Pye, Rupak Majumdar, Marco Faella, Vishwanath Raman, Krishnendu Chatterjee, Mariëlle Stoelinga and Orna Kupferman and has published in prestigious journals such as Nucleic Acids Research, SHILAP Revista de lepidopterología and Communications of the ACM.

In The Last Decade

Luca de Alfaro

76 papers receiving 2.3k citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

Interface automata

2001 621 citations Luca de Alfaro, Thomas A. Henzinger profile →

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Luca de Alfaro United States	22	1.3k	1.1k	707	449	442	80	2.5k
Lucas Dixon United States	14	1.8k 1.4×	555 0.5×	554 0.8×	290 0.6×	196 0.4×	34	2.5k
Sampath Kannan United States	23	961 0.7×	745 0.7×	223 0.3×	194 0.4×	62 0.1×	67	1.8k
John Darlington United Kingdom	22	1.1k 0.8×	652 0.6×	577 0.8×	256 0.6×	41 0.1×	81	2.1k
Mehdi Jazayeri Switzerland	24	1.1k 0.8×	152 0.1×	1.6k 2.3×	708 1.6×	29 0.1×	109	2.3k
Patrick Lam Canada	15	739 0.6×	201 0.2×	924 1.3×	789 1.8×	33 0.1×	52	1.8k
Kevin Hammond United Kingdom	19	1.2k 0.9×	615 0.6×	335 0.5×	220 0.5×	25 0.1×	130	2.1k
William B. Frakes United States	19	2.0k 1.6×	94 0.1×	2.2k 3.1×	409 0.9×	34 0.1×	55	3.5k
David B. Skillicorn Canada	25	882 0.7×	199 0.2×	509 0.7×	63 0.1×	27 0.1×	166	2.2k
C. R. Ramakrishnan United States	22	1.1k 0.8×	227 0.2×	548 0.8×	115 0.3×	16 0.0×	86	1.7k
Walter F. Tichy Germany	29	1.7k 1.3×	143 0.1×	2.3k 3.3×	858 1.9×	18 0.0×	167	3.7k

Countries citing papers authored by Luca de Alfaro

Since Specialization

Citations

This map shows the geographic impact of Luca de Alfaro'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 Luca de Alfaro with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca de Alfaro more than expected).

Fields of papers citing papers by Luca de Alfaro

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luca de Alfaro. 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 Luca de Alfaro. The network helps show where Luca de Alfaro may publish in the future.

Co-authorship network of co-authors of Luca de Alfaro

This figure shows the co-authorship network connecting the top 25 collaborators of Luca de Alfaro. A scholar is included among the top collaborators of Luca de Alfaro 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 Luca de Alfaro. Luca de Alfaro 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

1.

Mazzia, Vittorio, Manuel Giollo, Thomas Gueudré, et al.. (2024). Leveraging Confidence Models for Identifying Challenging Data Subgroups in Speech Models. 33. 134–138.

2.

Mazzia, Vittorio, Manuel Giollo, Thomas Gueudré, et al.. (2024). Towards Comprehensive Subgroup Performance Analysis in Speech Models. IEEE/ACM Transactions on Audio Speech and Language Processing. 32. 1468–1480. 3 indexed citations

3.

Alfaro, Luca de, et al.. (2024). Prioritizing Data Acquisition for end-to-end Speech Model Improvement. 3. 7000–7004. 2 indexed citations

4.

Alfaro, Luca de, Can Zhang, & J.J. Garcia‐Luna‐Aceves. (2020). Approaching Fair Collision-Free Channel Access with Slotted ALOHA Using Collaborative Policy-Based Reinforcement Learning. eScholarship (California Digital Library). 262–270. 16 indexed citations

5.

Alfaro, Luca de, et al.. (2016). Dynamics of Peer Grading: An Empirical Study.. eScholarship (California Digital Library). 62–69. 6 indexed citations

6.

Alfaro, Luca de, et al.. (2016). Learning From Graph Neighborhoods Using LSTMs. National Conference on Artificial Intelligence. 3 indexed citations

7.

Alfaro, Luca de, et al.. (2013). Human-Powered Top-k Lists. 25–30. 17 indexed citations

8.

Chatterjee, Krishnendu, Luca de Alfaro, & Thomas A. Henzinger. (2012). Strategy improvement for concurrent reachability and turn-based stochastic safety games. Journal of Computer and System Sciences. 79(5). 640–657. 8 indexed citations

9.

Chatterjee, Krishnendu, Luca de Alfaro, & Thomas A. Henzinger. (2011). Qualitative concurrent parity games. ACM Transactions on Computational Logic. 12(4). 1–51. 10 indexed citations

10.

Chatterjee, Krishnendu, Luca de Alfaro, Rupak Majumdar, & Vishwanath Raman. (2010). Algorithms for Game Metrics (Full Version). Logical Methods in Computer Science. 6. 3 indexed citations

11.

Chatterjee, Krishnendu, Luca de Alfaro, Marco Faella, & Axel Legay. (2009). Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science. Volume 5, Issue 2. 1 indexed citations

12.

Chatterjee, Krishnendu, Luca de Alfaro, & Thomas A. Henzinger. (2009). Termination Criteria for Solving Concurrent Safety and Reachability Games. 197–206. 2 indexed citations

13.

Alfaro, Luca de, Thomas A. Henzinger, & Orna Kupferman. (2007). Concurrent reachability games. Theoretical Computer Science. 386(3). 188–217. 49 indexed citations

14.

Abadi, Martı́n & Luca de Alfaro. (2005). CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)).

15.

Alfaro, Luca de & Rupak Majumdar. (2003). Quantitative solution of omega-regular games. Journal of Computer and System Sciences. 68(2). 374–397. 48 indexed citations

16.

Alfaro, Luca de, Thomas A. Henzinger, & Orna Kupferman. (2002). Concurrent reachability games. 564–575. 38 indexed citations

17.

Passerone, Roberto, Luca de Alfaro, Thomas A. Henzinger, & Alberto Sangiovanni‐Vincentelli. (2002). Convertibility verification and converter synthesis. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 132–139. 59 indexed citations

18.

Alur, Rajeev, Luca de Alfaro, Radu Grosu, et al.. (2001). JMOCHA: a model checking tool that exploits design structure. International Conference on Software Engineering. 835–836. 33 indexed citations

19.

Alfaro, Luca de. (1999). The Verification of Probabilistic Systems Under Memoryless Partial-Information Policies is Hard. Defense Technical Information Center (DTIC). 6 indexed citations

20.

Manna, Zohar & Luca de Alfaro. (1997). Formal verification of probabilistic systems. 166 indexed citations

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