Loris D’Antoni
- Software top 2%
- Software Testing and Debugging Techniques 20
- Hardware and Architecture top 5%
- Artificial Intelligence top 5%
- Logic, programming, and type systems 14
- Machine Learning and Algorithms 11
- Information Systems top 5%
- Software Engineering Research 14
-
- Formal Methods in Verification 15
- semigroups and automata theory 10
-
- Software-Defined Networks and 5G 8
- Software System Performance and Reliability 6
- Co-authors
- Margus VeanesBjörn HartmannRajeev AlurAws AlbarghouthiAditya AkellaGustavo SoaresElena L. GlassmanRyo Suzuki
- Journals
- Proceedings of the ACM on Programming Languages (10 papers)ACM SIGPLAN Notices (8 papers)Communications of the ACM (2 papers)
- Partner nations
- United StatesUnited KingdomBrazil
In The Last Decade
Loris D’Antoni
52 papers receiving 659 citations
Peers
Comparison fields: 5 of 51
- Software 197
- Computer Science Applications 143
- Hardware and Architecture 115
- Artificial Intelligence 341
- Information Systems 222
Countries citing papers authored by Loris D’Antoni
This map shows the geographic impact of Loris D’Antoni'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 Loris D’Antoni with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Loris D’Antoni more than expected).
Fields of papers citing papers by Loris D’Antoni
This network shows the impact of papers produced by Loris D’Antoni. 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 Loris D’Antoni. The network helps show where Loris D’Antoni may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Loris D’Antoni, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2025 | 0 | |
| 2 | 2024 | 0 | |
| 3 | 2024 | 2 | |
| 4 | 2024 | 1 | |
| 5 | 2024 | 0 | |
| 6 | 2023 | 5 | |
| 7 | 2023 | 3 | |
| 8 | 2023 | 5 | |
| 9 | 2023 | 3 | |
| 10 | 2022 | 7 | |
| 11 | 2020 | 9 | |
| 12 | 2018 | 9 | |
| 13 | 2017 | 2 | |
| 14 | 2017 | 3 | |
| 15 | Supporting Proofs for Control-Flow Recovery from Partial Failure Reports | 2017 | 1 |
| 16 | 2016 | 38 | |
| 17 | 2016 | 27 | |
| 18 | 2016 | 29 | |
| 19 | Operating system support for augmented reality applications | 2013 | 26 |
| 20 | 2013 | 31 |
About Loris D’Antoni
Loris D’Antoni is a scholar working on Software, Computational Theory and Mathematics, Computer Science Applications, Artificial Intelligence and Hardware and Architecture, having authored 56 papers that have together received 679 indexed citations. Recurring topics across this work include Software Testing and Debugging Techniques (20 papers), Formal Methods in Verification (15 papers), Software Engineering Research (14 papers), Logic, programming, and type systems (14 papers), Machine Learning and Algorithms (11 papers), semigroups and automata theory (10 papers), Software-Defined Networks and 5G (8 papers) and Software System Performance and Reliability (6 papers). The work is most often cited by research in Software (197 citations), Computer Science Applications (143 citations), Hardware and Architecture (115 citations), Artificial Intelligence (341 citations) and Information Systems (222 citations). Loris D’Antoni has collaborated with scholars based in United States, United Kingdom and Brazil. Frequent co-authors include Margus Veanes, Björn Hartmann, Rajeev Alur, Aws Albarghouthi, Aditya Akella, Gustavo Soares, Elena L. Glassman, Ryo Suzuki, Andrew Head and Dávid Molnár. Their work appears in journals such as Proceedings of the ACM on Programming Languages, ACM SIGPLAN Notices, Communications of the ACM, Formal Methods in System Design and ACM Transactions on Programming Languages and Systems.
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.