Franco Raimondi
Papers
6
Total Citations
405
H-Index
5
About
No biography available yet.
Research Focus
Computer science6 · 405 citations
Software engineering4 · 308 citations
Programming language4 · 308 citations
Artificial intelligence3 · 305 citations
Computer security2 · 299 citations
Multimodal logic1 · 290 citations
Multi-agent system1 · 290 citations
Rotation formalisms in three dimensions1 · 290 citations
Description logic1 · 290 citations
Model checking1 · 290 citations
Anonymity1 · 290 citations
Epistemic modal logic1 · 290 citations
Key Achievements
5
H-Index
6
Papers
405
Total Citations
68
Avg Citations/Paper
🏆 Most Cited Paper
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
290 citations · 2009
📈 Most Prolific Year: 2016 (3 Papers)
🤝 Key Collaborators: 25
🏛 Institutions: University College London, Middlesex University
Top Papers
- 1MCMAS: A Model Checker for the Verification of Multi-Agent Systems290 citations · 2009
- 2Taking Arduino to the Internet of Things: The ASIP programming model88 citations · 2016
- 3A Racket-Based Robot to Teach First-Year Computer Science9 citations · 2014
- 4
- 5Teaching Functional Patterns through Robotic Applications6 citations · 2016
- 6MIRTO3 citations · 2018
Key Collaborators
GPGiuseppe Primiero4 shared papersMLMartin Loomes3 shared papersNWNick Weldin3 shared papersNGNikos Gorogiannis2 shared papersKAKelly Androutsopoulos2 shared papersJBJaap Boender2 shared papersFPFilippo Palumbo2 shared papersEHEdward H. Currie2 shared papersMBMichele Bottone2 shared papersMMM. Margolis2 shared papersLAL. Aristodemou1 shared papersMHMichael Heeney1 shared papersIEI. El-Aroussi1 shared papersMMMichael Margolis1 shared papersAZAleksandar Zivanovic1 shared papersPVPuja Varsani1 shared papersHQHongyang Qu1 shared papersMMMichael Micheletti1 shared papersMPMiltos Petridis1 shared papersAPA. Piermarteri1 shared papers
Not generated yet