Richard Stocker

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 3

Top Topics

Agent Oriented Programming Language

Reactive Agents

Multi Agent Systems

Top Venues

J. Supercomput.

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Mohammed Alharbi, Gerard Edwards, Richard Stocker
Novel ultra-energy-efficient reversible designs of sequential logic quantum-dot cellular automata flip-flop circuits. J. Supercomput. 79 (10) (2023)
Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace
Modeling complex air traffic management systems. MiSE@ICSE (2016)
Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker
Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). CloudNet (2016)
Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich
An Approach to Quantify Workload in a System of Agents. AAMAS (2015)
Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker
A synergistic and extensible framework for multi-agent system verification. AAMAS (2013)
Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher
Verifying Brahms Human-Robot Teamwork Models. JELIA (2012)
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
A Formal Semantics for Brahms. CLIMA (2011)