logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Michael Fisher

University of Manchester

47H-index
484Paper Count
8.7KCitation Count
Published Papers 26
Publication Date
logo
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts
errIEEE Robotics & Automation Magazine
IF7.1
err2025-11-10
err0
errOAAI
errDejanira Araiza-Illan; Kevin Baum; Helen Beebee; Raja Chatila; Sarah Moth-Lund Christensen; Simon Coghlan; Emily Collins; S.Kate Conroy; Alcino Cunha; Anna Dobrosovestnova; Hein Duijf; Vanessa Evers; Michael Fisher; Nico Hochgeschwender; Nadin Kökciyan; Séverin Lemaignan; Francisco Rodriguez-Lera; Sara Ljungblad; Martin Magnusson; Masoumeh Mansouri; Michael Milford; AJung Moon; Thomas M. Powers; Pericle Salvini; Teresa Scantamburlo; Nick Schuster; Marija Slavkovik; Ufuk Topcu; Daniel Vanegas; Andrzej Wasowski; Yi Yang
errShare
errSave
Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-09-01
err0
errOAAI
errKourtis, Georgios; Dixon, Clare; Fisher, Michael
errShare
errSave
FatPlants: a comprehensive information system for lipid-related genes and metabolic pathways in plants
errDATABASE-THE JOURNAL OF BIOLOGICAL DATABASES AND CURATION
IF3.6
err2024-08-05
err1
errOAAI
errXu, Chunhui; Shaw, Trey; Choppararu, Sai Akhil; Lu, Yiwei; Farooq, Shaik Naveed; Qin, Yongfang; Hudson, Matt; Weekley, Brock; Fisher, Michael; He, Fei; Nascimento, Jose Roberto Da Silva; Wergeles, Nicholas; Joshi, Trupti; Bates, Philip D.; Koo, Abraham J.; Allen, Doug K.; Cahoon, Edgar B.; Thelen, Jay J.; Xu, Dong
errShare
errSave
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition
errJOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
IF2.8
err2024-07-31
err0
errOAAI
errBecker, Leandro Buss; Downs, Anthony; Schlenoff, Craig; Albrecht, Justin; Kootbally, Zeid; Ferrando, Angelo; Cardoso, Rafael; Fisher, Michael
errShare
errSave
Security-Minded Verification of Cooperative Awareness Messages
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2024-07-01
err1
errOAAI
errFarrell, Marie; Bradbury, Matthew; Cardoso, Rafael C.; Fisher, Michael; Dennis, Louise A.; Dixon, Clare; Sheik, Al Tariq; Yuan, Hu; Maple, Carsten
errShare
errSave
Laser Scanning Method for High-Resolution Thickness Mapping of Lithium-Ion Pouch Cells
errJOURNAL OF THE ELECTROCHEMICAL SOCIETY
IF3.3
err2023-12-22
err3
errOAAI
errSimunovic, Zachary; Dressler, Reid; Alter, Ethan D.; Trussler, Simon; Harlow, Jessie; Johnson, Mike; McMonigle, Chris; Fisher, Michael; Metzger, Michael
errShare
errSave
REAL-WORLD EVALUATION OF A TECHNOLOGY-ENABLED SYSTEM FOR THE AUGMENTATION OF PHYSICAL ACTIVITY BEHAVIOUR CHANGE IN CARDIAC REHABILITATION
errHEART
IF4.4
err2022-11-21
err2
errOAAI
errRayner, Tom A.; Meenamkuzhy-Hariharan, Priyanka; Tew, Kirstie F.; Fisher, Michael
errShare
errSave
AI Journal Special Issue on Ethics for Autonomous Systems
errartificial intelligence review
IF4.6
err2022-04-01
err0
PREAI
errFisher, Michael; Koenig, Sven; Slavkovik, Marija
errShare
errSave
Verification of Autonomous Systems
errIEEE ROBOTICS & AUTOMATION MAGAZINE
IF7.1
err2022-03-01
err0
errOAAI
errAraiza-Illan, Dejanira; Fisher, Michael; Leahy, Kevin; Olszewska, Joanna Isabelle; Redfield, Signe
errShare
errSave
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations
errJOURNAL OF SENSOR AND ACTUATOR NETWORKS
IF4.2
err2021-06-25
err11
errOAAI
errAlves, Gleifer Vaz; Dennis, Louise; Fisher, Michael
errShare
errSave
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2021-05-10
err8
errOAAI
errFerrando, Angelo; Dennis, Louise A.; Cardoso, Rafael C.; Fisher, Michael; Ancona, Davide; Mascardi, Viviana
errShare
errSave
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods
errnature computational science
IF3.7
err2020-09-01
err4
errOAAI
errWebster, Matt; Breza, Michael; Dixon, Clare; Fisher, Michael; McCann, Julie
errShare
errSave
Verifiable Self-Aware Agent-Based Autonomous Systems
errPROCEEDINGS OF THE IEEE
IF25.9
err2020-07-01
err25
errOAAI
errDennis, Louise A.; Fisher, Michael
errShare
errSave
A corroborative approach to verification and validation of human-robot teams
errINTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
IF5
err2019-11-25
err40
errOAAI
errWebster, Matt; Western, David; Araiza-Illan, Dejanira; Dixon, Clare; Eder, Kerstin; Fisher, Michael; Pipe, Anthony G.
errShare
errSave
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
errACM COMPUTING SURVEYS
IF28
err2019-09-13
err181
errOAAI
errLuckcuck, Matt; Farrell, Marie; Dennis, Louise A.; Dixon, Clare; Fisher, Michael
errShare
errSave
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
errformal methods and software engineering icfem
IF0
err2019-09-09
err11
PREAI
errZhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
errShare
errSave
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
errPROCEEDINGS OF THE IEEE
IF25.9
err2019-03-01
err40
PREAI
errBremner, Paul; Dennis, Louise A.; Fisher, Michael; Winfield, Alan F.
errShare
errSave
Autonomous Nuclear Waste Management
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2018-11-01
err17
errOAAI
errAitken, Jonathan M.; Veres, Sandor M.; Shaukat, Affan; Gao, Yang; Cucco, Elisa; Dennis, Louise A.; Fisher, Michael; Kuo, Jeffrey A.; Robinson, Thomas; Mort, Paul E.
errShare
errSave
COST-EFFECTIVENESS OF NIRAPARIB VERSUS ROUTINE SURVEILLANCE AND OLAPARIB FOR THE MAINTENANCE TREATMENT OF ADULT PATIENTS WITH OVARIAN CANCER IN THE UNITED STATES
errVALUE IN HEALTH
IF6
err2018-05-01
err0
errOAAI
errFisher, M.; Guy, H.; Walder, L.
errShare
errSave
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
errIEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS
IF4.4
err2016-04-01
err50
errOAAI
errWebster, Matt; Dixon, Clare; Fisher, Michael; Salem, Maha; Saunders, Joe; Koay, Kheng Lee; Dautenhahn, Kerstin; Saez-Pons, Joan
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
D
Dong Xu
H-index: 87 · Papers: 687
K
Kerstin Dautenhahn
H-index: 82 · Papers: 635
E
Edgar B. Cahoon
H-index: 67 · Papers: 317
S
Sven Koenig
H-index: 67 · Papers: 505
J
Jay J. Thelen
H-index: 53 · Papers: 197
View more