This map shows the geographic impact of Diego Latella'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 Diego Latella with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Diego Latella more than expected).
This network shows the impact of papers produced by Diego Latella. 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 Diego Latella. The network helps show where Diego Latella may publish in the future.
Co-authorship network of co-authors of Diego Latella
This figure shows the co-authorship network connecting the top 25 collaborators of Diego Latella.
A scholar is included among the top collaborators of Diego Latella 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 Diego Latella. Diego Latella is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
All Works
20 of 20 papers shown
1.
Ciancia, Vincenzo, Diego Latella, Michele Loreti, & Mieke Massink. (2017). Model Checking Spatial Logics for Closure Spaces. Logical Methods in Computer Science. Volume 12, Issue 4.21 indexed citations
Beek, Maurice H. ter, Luca Bortolussi, Vincenzo Ciancia, et al.. (2014). A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM news/ERCIM news online edition. 2014.1 indexed citations
5.
Derrick, John, Stefania Gnesi, Diego Latella, & Helen Treharne. (2012). Proceedings of the 9th international conference on Integrated Formal Methods.2 indexed citations
6.
Massink, Mieke, Diego Latella, Andrea Bracciali, & Michael D. Harrison. (2010). A process algebraic fluid flow model of emergency egress. Stirling Online Research Repository (University of Stirling).1 indexed citations
7.
Nicola, Rocco De, Joost-Pieter Katoen, Diego Latella, Michele Loreti, & Mieke Massink. (2007). Model checking mobile stochastic logic. Theoretical Computer Science. 382(1). 42–70.25 indexed citations
Beek, Maurice H. ter, Mieke Massink, Diego Latella, & Stefania Gnesi. (2004). Model Checking Groupware Protocols.. OpenGrey (Institut de l'Information Scientifique et Technique). 179–194.5 indexed citations
10.
Mazzini, Silvia, et al.. (2004). PRIDE: An Integrated Software Development Environment for Dependable Systems. ESASP. 570. 3.1 indexed citations
Bondavalli, Andrea, et al.. (2001). Dependability analysis in the early phases of UML-based system design. Florence Research (University of Florence). 16(5). 265–275.66 indexed citations
Bolognesi, Tommaso, et al.. (2000). Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. Kluwer Academic Publishers eBooks.13 indexed citations
15.
Gnesi, Stefania, et al.. (2000). A Formal Specification and Validation of a Safety Critical Railway Control System. University of Twente Research Information.2 indexed citations
16.
Katoen, Joost-Pieter, Ed Brinksma, Diego Latella, & Rom Langerak. (1996). Stochastic Simulation of Event Structures. University of Twente Research Information. 21–40.7 indexed citations
17.
Katoen, Joost-Pieter, Rom Langerak, & Diego Latella. (1993). Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach. University of Twente Research Information. 253–268.12 indexed citations
18.
Katoen, Joost-Pieter, Rom Langerak, & Diego Latella. (1993). Modelling Systems by Probabilitstic Process Algebra: An Event Structures Approach.1 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.