Diego Latella
Diego Latella publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Advanced Software Engineering Methodologies and Model-Driven Software Engineering Techniques.
- World rank
- #390,480 of 1,633,909 ranked researchers
- Rank in Italy
- #13,188 of 65,712
- Works
- 49
- Citations
- 169
- Citations per work
- 3.4
What does Diego Latella research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence26% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Computer Networks and Communications11% of their works
- 4Software8% of their works
- 5Computer Vision and Pattern Recognition7% of their works
- 6Management Information Systems4% of their works
Research topics
Which keywords describe Diego Latella's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing, Domain-Specific Languages, Model-Driven Engineering and Self-Adaptive Systems.
- Static Analysis
- Fault Tolerance
- Data Stream Management
- Petri Nets
- Deadlock Prevention
- Self-Adaptive Systems
- Domain-Specific Languages
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Autonomic Computing
- Model-Driven Engineering
- Answer Set Programming
- Modal Logic
- Continuous Queries
- Distributed Systems
- Formal Verification
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking143 topics
- Temporal Logic122 topics
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Autonomic Computing61 topic
- Domain-Specific Languages61 topic
- Model-Driven Engineering61 topic
- Self-Adaptive Systems61 topic
- Answer Set Programming41 topic
- Deadlock Prevention41 topic
- Modal Logic41 topic
- Petri Nets41 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Distributed Systems21 topic
- Fault Tolerance21 topic
- Formal Verification21 topic
- Static Analysis21 topic
Where does Diego Latella work?
Diego Latella's main affiliation in the publication record is Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy.
How many publications and citations does Diego Latella have?
Science Explorer counts 49 works and 169 citations for Diego Latella, ranking #390,480 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.