A Formal Semantics for Brahms. - Richard Stocker 001; Maarten Sierhuis; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (CLIMA, 2011)

Verifying Brahms Human-Robot Teamwork Models. - Richard Stocker 001; Louise A. Dennis; Clare Dixon; Michael Fisher 001 (JELIA, 2012)

A synergistic and extensible framework for multi-agent system verification. - Josie Hunter; Franco Raimondi; Neha Rungta; Richard Stocker 001 (AAMAS, 2013)

Towards the formal verification of human-agent-robot teamwork. - Richard Stocker 001 (2013)

An Approach to Quantify Workload in a System of Agents. - Richard Stocker 001; Neha Rungta; Eric Mercer; Franco Raimondi; Jon Holbrook; Colleen Cardoza; Michael A. Goodrich (AAMAS, 2015)

Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper). - Michele Bottone; Filippo Palumbo; Giuseppe Primiero; Franco Raimondi; Richard Stocker 001 (CloudNet, 2016)

Modeling complex air traffic management systems. - Neha Rungta; Eric G. Mercer; Franco Raimondi; Bjorn C. Krantz; Richard Stocker 001; Andrew Wallace (MiSE@ICSE, 2016)

Novel ultra-energy-efficient reversible designs of sequential logic quantum-dot cellular automata flip-flop circuits. - Mohammed Alharbi; Gerard Edwards; Richard Stocker 001 (J. Supercomput., 2023)

Designing a Quantum-Dot Cellular Automata-Based Half-Adder Circuit Using Partially Reversible Majority Gates. - Mohammed Alharbi; Gerard Edwards; Richard Stocker 001 (MWSCAS, 2024)

The Affective Audio Dataset (AAD) for Non-Musical, Non-Vocalized, Audio Emotion Research. - Harrison Ridley; Stuart Cunningham 001; John Darby; John M. Henry; Richard Stocker 001 (IEEE Trans. Affect. Comput., 2025)