Agostino Cortesi
Agostino Cortesi publishes mostly in Artificial Intelligence, Information Systems and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Formal Methods in Verification.
- World rank
- #454,720 of 1,633,909 ranked researchers
- Rank in Italy
- #15,851 of 65,712
- Works
- 77
- Citations
- 195
- Citations per work
- 2.5
What does Agostino Cortesi research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence29% of their works
- 2Information Systems14% of their works
- 3Computer Networks and Communications12% of their works
- 4Computer Vision and Pattern Recognition7% of their works
- 5Computational Theory and Mathematics6% of their works
- 6Signal Processing6% of their works
Research topics
Which keywords describe Agostino Cortesi's research?
The keywords of their largest research topics: Model Checking, Machine Learning, Formal Verification, Static Analysis, Code Clone Detection, Refactoring, Satisfiability Modulo Theories and Security Policies.
- Software Fault Localization
- Open Educational Resources
- Autonomic Computing
- Detection
- Symbolic Model Checker
- Security Policies
- Refactoring
- Static Analysis
- Machine Learning
- Model Checking
- Formal Verification
- Code Clone Detection
- Satisfiability Modulo Theories
- Side-Channel Attacks
- Android Malware
- Automated Testing
- Learning Object Repositories
- Self-Adaptive Systems
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 Checking142 topics
- Machine Learning112 topics
- Formal Verification81 topic
- Static Analysis81 topic
- Code Clone Detection61 topic
- Refactoring61 topic
- Satisfiability Modulo Theories61 topic
- Security Policies61 topic
- Side-Channel Attacks61 topic
- Symbolic Model Checker61 topic
- Android Malware51 topic
- Detection51 topic
- Automated Testing31 topic
- Autonomic Computing31 topic
- Learning Object Repositories31 topic
- Open Educational Resources31 topic
- Self-Adaptive Systems31 topic
- Software Fault Localization31 topic
Where does Agostino Cortesi work?
Agostino Cortesi's main affiliation in the publication record is Ca' Foscari University of Venice, Italy.
How many publications and citations does Agostino Cortesi have?
Science Explorer counts 77 works and 195 citations for Agostino Cortesi, ranking #454,720 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.