Understanding the Emergence of Conventions in Multi-Agent Systems. - Adam Walker; Michael J. Wooldridge (ICMAS, 1995)

A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. - Avinash Malik; Zoran A. Salcic; Alain Girault; Adam Walker; Sung Chul Lee (JTRES, 2009)

capDL: a language for describing capability-based systems. - Ihor Kuz; Gerwin Klein; Corey Lewis; Adam Walker (ApSys, 2010)

Solving Games without Controllable Predecessor. - Nina Narodytska; Alexander Legg; Fahiem Bacchus; Leonid Ryzhyk; Adam Walker (CAV, 2014)

Predicate abstraction for reactive synthesis. - Adam Walker; Leonid Ryzhyk (FMCAD, 2014)

User-Guided Device Driver Synthesis. - Leonid Ryzhyk; Adam Walker; John Keys; Alexander Legg; Arun Raghunath; Michael Stumm; Mona Vij (OSDI, 2014)

The Second Reactive Synthesis Competition (SYNTCOMP 2015). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; Adam Walker (SYNT, 2015)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. - Leonid Ryzhyk; Adam Walker (SYNT@CAV, 2016)

Automatic Device Driver Synthesis. - Adam Walker (2016)

The first reactive synthesis competition (SYNTCOMP 2014). - Swen Jacobs; Roderick Bloem; Romain Brenguier; Rüdiger Ehlers; Timotheus Hell; Robert Könighofer; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; Ocan Sankur; Martina Seidl; Leander Tentrup; et al. (Int. J. Softw. Tools Technol. Transf., 2017)

Design Optimization of a Short-Term Duty Electrical Machine for Extreme Environment. - Puvan Arumugam; Emmanuel Amankwah; Adam Walker; Chris Gerada (IEEE Trans. Ind. Electron., 2017)

Multi-physics Design Optimisation of PM-assisted Synchronous Reluctance Motor for Traction Application. - Mahir Al-Ani; Krzysztof Paciura; Alastair McQueen; Adam Walker; Gaurang Vakil; Ramkumar Ramanathan; Tianjie Zou; Salvatore la Rocca; Antonino la Rocca; David Gerada; Chris Gerada (IECON, 2019)

Enhancing the Torque Density of Conventional PM-SynRel Machine with Hybrid Flux Barrier. - R. M. Ram Kumar; Baylon G. Fernandes; Gaurang Vakil; David Gerada; Adam Walker; Salvatore la Rocca; Mahir Al-Ani; Chris Gerada; Krzysztof Paciura; Alastair McQueen (IECON, 2019)

High Power High Speed PM-Assisted SynRel Machines with Ferrite and Rare Earth Magnets for Future Electric Commercial Vehicles. - R. M. Ram Kumar; Baylon G. Fernandes; Tianjie Zou; Antonino la Rocca; Gaurang Vakil; David Gerada; Adam Walker; Chris Gerada; Krzysztof Paciura; Alastair McQueen (IECON, 2019)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

Improved Thermal Management and Analysis for Stator End-Windings of Electrical Machines. - Vincenzo Madonna; Adam Walker; Paolo Giangrande; Giovanni Serra; Chris Gerada; Michael Galea (IEEE Trans. Ind. Electron., 2019)

A Multiport Power Electronics Converter for Hybrid Traction Applications. - Wei Juin Choy; Alessandro Costabeber; Giampaolo Buticchi; Andrew Trentin; Adam Walker; Michael Galea; Krzysztof Paciura; John O'Brien; Bradford Palmer (IEEE Access, 2021)

Novel Permanent Magnet Synchronous Motor With Integrated Filter Inductor, Using Motor's Inherent Magnetics. - Muhammad Raza Khowja; Chris Gerada; Gaurang Vakil; Chintan Patel; Shafiq Odhano; Adam Walker; Patrick Wheeler 001 (IEEE Trans. Ind. Electron., 2021)

Playful Telepresence Robots with School Children. - Jennifer A. Rode; Yifan Feng; Hanlin Zhang; Ria Rosman; Amanda S. Bastaman; John King; Madeline H. Samson; Xinyue Dong; Adam Walker; Matthew Horton; Janet C. Read; Martin Oliver; et al. (NordiCHI, 2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)