Adam Walker

ORCID

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 12

Top Venues

IECON

CoRR

IEEE Trans. Ind. Electron.

SYNT@CAV

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Muhammad Raza Khowja, Chris Gerada, Gaurang Vakil, Chintan Patel, Shafiq Odhano, Adam Walker, Patrick Wheeler
Novel Permanent Magnet Synchronous Motor With Integrated Filter Inductor, Using Motor's Inherent Magnetics. IEEE Trans. Ind. Electron. 68 (7) (2021)
Wei Juin Choy, Alessandro Costabeber, Giampaolo Buticchi, Andrew Trentin, Adam Walker, Michael Galea, Krzysztof Paciura, John O'Brien, Bradford Palmer
A Multiport Power Electronics Converter for Hybrid Traction Applications. IEEE Access 9 (2021)
R. M. Ram Kumar, B. G. Fernandes, Tianjie Zou, Antonino la Rocca, Gaurang Vakil, David Gerada, Adam Walker, Chris Gerada, Krzysztof Paciura, Alastair McQueen
High Power High Speed PM-Assisted SynRel Machines with Ferrite and Rare Earth Magnets for Future Electric Commercial Vehicles. IECON (2019)
Vincenzo Madonna, Adam Walker, Paolo Giangrande, Giovanni Serra, Chris Gerada, Michael Galea
Improved Thermal Management and Analysis for Stator End-Windings of Electrical Machines. IEEE Trans. Ind. Electron. 66 (7) (2019)
R. M. Ram Kumar, B. G. Fernandes, Gaurang Vakil, David Gerada, Adam Walker, Salvatore la Rocca, Mahir Al-Ani, Chris Gerada, Krzysztof Paciura, Alastair McQueen
Enhancing the Torque Density of Conventional PM-SynRel Machine with Hybrid Flux Barrier. IECON (2019)
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
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
Multi-physics Design Optimisation of PM-assisted Synchronous Reluctance Motor for Traction Application. IECON (2019)
Puvan Arumugam, Emmanuel Amankwah, Adam Walker, Chris Gerada
Design Optimization of a Short-Term Duty Electrical Machine for Extreme Environment. IEEE Trans. Ind. Electron. 64 (12) (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The first reactive synthesis competition (SYNTCOMP 2014). Int. J. Softw. Tools Technol. Transf. 19 (3) (2017)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. SYNT@CAV (2016)
Leonid Ryzhyk, Adam Walker
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. SYNT@CAV (2016)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The Second Reactive Synthesis Competition (SYNTCOMP 2015). SYNT (2015)
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
The First Reactive Synthesis Competition (SYNTCOMP 2014). CoRR (2015)
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
Solving Games without Controllable Predecessor. CAV (2014)
Adam Walker, Leonid Ryzhyk
Predicate abstraction for reactive synthesis. FMCAD (2014)
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
User-Guided Device Driver Synthesis. OSDI (2014)
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
capDL: a language for describing capability-based systems. ApSys (2010)
Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. JTRES (2009)
Adam Walker, Michael J. Wooldridge
Understanding the Emergence of Conventions in Multi-Agent Systems. ICMAS (1995)

Adam Walker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adam Walker