Franco Raimondi
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
-
- Formal Methods in Verification
Papers in
-
- Logic, Reasoning, and Knowledge 17
- Multi-Agent Systems and Negotiation 16
- Advanced Software Engineering Methodologies 12
- Security and Verification in Computing 7
-
- Formal Methods in Verification 27
- Co-authors
- Alessio Lomuscio (14 shared papers)Hongyang Qu (4 shared papers)James Skene (2 shared papers)Wolfgang Emmerich (2 shared papers)Giuseppe Primiero (16 shared papers)Charles Pecheur (8 shared papers)David S. Rosenblum (3 shared papers)Sebastian Elbaum (1 shared paper)
- Journals
- International Journal on Software Tools for Technology Transfer (2 papers)IEEE Transactions on Software Engineering (2 papers)Applied Network Science (1 paper)Journal of Computer and System Sciences (1 paper)Studia Logica (1 paper)
- Partner nations
- United KingdomItalyUnited States
In The Last Decade
Franco Raimondi
68 papers receiving 902 citations
Peers
Comparison fields: 5 of 75
- Software 148
- Computational Theory and Mathematics 335
- Artificial Intelligence 551
- Computer Networks and Communications 289
- Information Systems 246
Countries citing papers authored by Franco Raimondi
This map shows the geographic impact of Franco Raimondi'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 Franco Raimondi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Franco Raimondi more than expected).
Fields of papers citing papers by Franco Raimondi
This network shows the impact of papers produced by Franco Raimondi. 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 Franco Raimondi. The network helps show where Franco Raimondi may publish in the future.
Co-authors
The 25 scholars most cited alongside Franco Raimondi, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 70 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2015 | 109 | |
| 2 | 2008 | 93 | |
| 3 | 2010 | 74 | |
| 4 | 2016 | 58 | |
| 5 | 2006 | 53 | |
| 6 | 2006 | 35 | |
| 7 | Automatic verification of knowledge and time with NuSMV | 2007 | 32 |
| 8 | 2009 | 29 | |
| 9 | Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol | 2006 | 27 |
| 10 | 2004 | 25 | |
| 11 | 2006 | 21 | |
| 12 | 2017 | 18 | |
| 13 | 2007 | 17 | |
| 14 | Introducing Binary Decision Diagrams in the explicit-state verification of Java code | 2011 | 17 |
| 15 | 2017 | 16 | |
| 16 | 2018 | 16 | |
| 17 | Automatic verification of deontic interpreted systems by model checking via OBDD's | 2004 | 15 |
| 18 | 2013 | 14 | |
| 19 | 2015 | 14 | |
| 20 | 2015 | 14 |
About Franco Raimondi
Franco Raimondi is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Software and Sociology and Political Science, having authored 70 papers that have together received 945 indexed citations. Recurring topics across this work include Formal Methods in Verification (27 papers), Logic, Reasoning, and Knowledge (17 papers), Multi-Agent Systems and Negotiation (16 papers), Advanced Software Engineering Methodologies (12 papers), Access Control and Trust (9 papers), Software Testing and Debugging Techniques (8 papers), Security and Verification in Computing (7 papers) and Model-Driven Software Engineering Techniques (6 papers). The work is most often cited by research in Software (148 citations), Computational Theory and Mathematics (335 citations), Artificial Intelligence (551 citations), Computer Networks and Communications (289 citations) and Information Systems (246 citations). Franco Raimondi has collaborated with scholars based in United Kingdom, Italy and United States. Frequent co-authors include Alessio Lomuscio, Hongyang Qu, James Skene, Wolfgang Emmerich, Giuseppe Primiero, Charles Pecheur, David S. Rosenblum, Sebastian Elbaum, Zhimin Wang and Filippo Palumbo. Their work appears in journals such as International Journal on Software Tools for Technology Transfer, IEEE Transactions on Software Engineering, Applied Network Science, Journal of Computer and System Sciences and Studia Logica.
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.