55
Publications
3.6K
Citations
29
H-Index
2009
Active since
Daniele Magazzeni is an author at King's College London specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringAutomationPlanningIntelligent SystemsArtificial IntelligenceRoboticsRobot LearningAutomated Reasoning
Publications per year
2009–2022
55
55
Proceedings of Thirtieth AAAI Conference on Artificial Intelligence
Lukáš Chrpa, Bart De Schutter, Daniele Magazzeni et al. · 2016 · 674 citations
Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2014)
Michael Cashmore, Maria Fox, Tom Larkworthy et al. · 2014 · 252 citations
Validation and Verification of Smart Contracts: A Research Agenda
Daniele Magazzeni, Peter McBurney, William L. Nash · Computer · 2017 · 189 citations · Full text
Engineering, Verification, Law +17
Rows per page
1–5 of 55