Richard Stocker
University of Chester(GB)
Publications by Year
Research Areas
Quantum-Dot Cellular Automata, Quantum and electron transport phenomena, Advanced Memory and Neural Computing, Botany and Plant Ecology Studies, Forest Ecology and Biodiversity Studies
Most-Cited Works
- → Reversible Quantum-Dot Cellular Automata-Based Arithmetic Logic Unit(2023)22 cited
- → A synergistic and extensible framework for multi-agent system verification(2013)21 cited
- → Verifying Brahms Human-Robot Teamwork Models(2012)16 cited
- → Novel ultra-energy-efficient reversible designs of sequential logic quantum-dot cellular automata flip-flop circuits(2023)14 cited
- → An Ultra-Energy-Efficient Reversible Quantum-Dot Cellular Automata 8:1 Multiplexer Circuit(2024)10 cited
- → Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper)(2016)9 cited
- → Electro-thermal modelling of redox flow-batteries with electrolyte swapping for an electric ferry(2022)9 cited
- → A Formal Semantics for Brahms(2011)9 cited
- → An Approach to Quantify Workload in a System of Agents(2015)7 cited
- → Modeling complex air traffic management systems(2016)6 cited