Chroma Voltmeter Measurement Techniques for Analog LSI Devices. - Robert Craven; Joseph Schissler; Peter Konde (ITC, 1983)

Some Logical Properties of Nonmonotonic Causal Theories. - Marek J. Sergot; Robert Craven (LPNMR, 2005)

Distant Causation in C+. - Robert Craven; Marek J. Sergot (Stud Logica, 2005)

The Deontic Component of Action Language nC+. - Marek J. Sergot; Robert Craven (DEON, 2006)

Agent strands in the action language nC+. - Robert Craven; Marek J. Sergot (J. Appl. Log., 2008)

Expressive policy analysis with enhanced system dynamicity. - Robert Craven; Jorge Lobo 001; Jiefei Ma; Alessandra Russo; Emil C. Lupu; Arosha K. Bandara (AsiaCCS, 2009)

Security policy refinement using data integration: a position paper. - Robert Craven; Jorge Lobo 001; Emil Lupu; Alessandra Russo; Morris Sloman (SafeConfig, 2009)

Decomposition techniques for policy refinement. - Robert Craven; Jorge Lobo 001; Emil C. Lupu; Alessandra Russo; Morris Sloman (CNSM, 2010)

Policy refinement: Decomposition and operationalization for dynamic domains. - Robert Craven; Jorge Lobo 001; Emil Lupu; Alessandra Russo; Morris Sloman (CNSM, 2011)

Rumpole: a flexible break-glass access control model. - Srdjan Marinovic; Robert Craven; Jiefei Ma; Naranker Dulay (SACMAT, 2011)

Argumentation-Based Reinforcement Learning for RoboCup Keepaway. - Yang Gao 021; Francesca Toni; Robert Craven (COMMA, 2012)

Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. - Yang Gao 021; Francesca Toni; Robert Craven (ECAI, 2012)

Efficient Argumentation for Medical Decision-Making. - Robert Craven; Francesca Toni; Cristian Cadar; Adrian Hadad; Matthew Williams 001 (KR, 2012)

Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. - Xiuyi Fan; Robert Craven; Ramsay Singer; Francesca Toni; Matthew Williams 001 (CLIMA, 2013)

Graph-Based Dispute Derivations in Assumption-Based Argumentation. - Robert Craven; Francesca Toni; Matthew Williams 001 (TAFA, 2013)

Automated Error-Detection and Repair for Compositional Software Specifications. - Dalal Alrajeh; Robert Craven (SEFM, 2014)

Argument graphs and assumption-based argumentation. - Robert Craven; Francesca Toni (Artif. Intell., 2016)

Adaptive Immune System reinforcement Learning-Based algorithm for real-time Cascading Failures prevention. - Adeniyi Abdulrasheed Babalola; Rabie Belkacemi; Sina Zarrabian; Robert Craven (Eng. Appl. Artif. Intell., 2017)

Development of A Wireless Power Transmission System for Agriculture Sensor Devices. - Charles A. Robinson; Brandon T. Nieman; Robert Craven; Muhammad Enagi Bima; Charles W. Van Neste (IEEE BigData, 2020)

Testbed for Evaluating and Analyzing Smart Grid Behavior in Demand Response Scenarios. - Rajesh Manicavasagam; Anthony Palmer; Mike Rogers; Satish Mahajan; Robert Craven; Chikezie Emeghara; Ryan Senz (ICUMT, 2022)

Survey on Vulnerability Testing in the Smart Grid. - Shampa Banik; Michael Rogers 004; Satish M. Mahajan; Chikezie Emeghara; Trapa Banik; Robert Craven (IEEE Access, 2024)