Franco Raimondi

University College London, Middlesex University

论文数

6

总引用数

405

H-Index

5

关于

暂无简介。

研究焦点

Computer science6 · 405 次引用
Software engineering4 · 308 次引用
Programming language4 · 308 次引用
Artificial intelligence3 · 305 次引用
Computer security2 · 299 次引用
Multimodal logic1 · 290 次引用
Multi-agent system1 · 290 次引用
Rotation formalisms in three dimensions1 · 290 次引用
Description logic1 · 290 次引用
Model checking1 · 290 次引用
Anonymity1 · 290 次引用
Epistemic modal logic1 · 290 次引用

主要成就

5
H 指数
6
论文
405
总引用数
68
篇均引用
🏆 最高被引论文
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
290 次引用 · 2009
📈 最高产年份: 2016 (3 论文)
🤝 主要合作者: 25
🏛 所属机构: University College London, Middlesex University

代表论文

  1. 1
    MCMAS: A Model Checker for the Verification of Multi-Agent Systems
    290 次引用 · 2009
  2. 2
    Taking Arduino to the Internet of Things: The ASIP programming model
    88 次引用 · 2016
  3. 3
    A Racket-Based Robot to Teach First-Year Computer Science
    9 次引用 · 2014
  4. 4
    Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper)
    9 次引用 · 2016
  5. 5
    Teaching Functional Patterns through Robotic Applications
    6 次引用 · 2016
  6. 6
    MIRTO
    3 次引用 · 2018

主要合作者

GPGiuseppe Primiero4 篇合著论文MLMartin Loomes3 篇合著论文NWNick Weldin3 篇合著论文NGNikos Gorogiannis2 篇合著论文KAKelly Androutsopoulos2 篇合著论文JBJaap Boender2 篇合著论文FPFilippo Palumbo2 篇合著论文EHEdward H. Currie2 篇合著论文MBMichele Bottone2 篇合著论文MMM. Margolis2 篇合著论文LAL. Aristodemou1 篇合著论文MHMichael Heeney1 篇合著论文IEI. El-Aroussi1 篇合著论文MMMichael Margolis1 篇合著论文AZAleksandar Zivanovic1 篇合著论文PVPuja Varsani1 篇合著论文HQHongyang Qu1 篇合著论文MMMichael Micheletti1 篇合著论文MPMiltos Petridis1 篇合著论文APA. Piermarteri1 篇合著论文
尚未生成