Adam Walker

24 papers A* 2A 1B 1C 3Misc 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A conf
"I Felt Like I Was in a Fishbowl": Lived Experience with Telepresence and Non-Visible Disabilities in Higher Education.
ASSETS
Hanlin Zhang, Yifan Feng, Adam Walker, Jennifer A. Rode
2024 Misc conf
Playful Telepresence Robots with School Children.
NordiCHI
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, Houda Elmimouni
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2021 J jnl
A Multiport Power Electronics Converter for Hybrid Traction Applications.
IEEE Access
Wei Juin Choy, Alessandro Costabeber, Giampaolo Buticchi, Andrew Trentin, Adam Walker, Michael Galea, Krzysztof Paciura, John O'Brien, Bradford Palmer
2021 J jnl
Novel Permanent Magnet Synchronous Motor With Integrated Filter Inductor, Using Motor's Inherent Magnetics.
IEEE Trans. Ind. Electron.
Muhammad Raza Khowja, Chris Gerada, Gaurang Vakil, Chintan Patel, Shafiq Odhano, Adam Walker, Patrick Wheeler
2019 C conf
Enhancing the Torque Density of Conventional PM-SynRel Machine with Hybrid Flux Barrier.
IECON
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
2019 C conf
High Power High Speed PM-Assisted SynRel Machines with Ferrite and Rare Earth Magnets for Future Electric Commercial Vehicles.
IECON
R. M. Ram Kumar, Baylon G. Fernandes, Tianjie Zou, Antonino la Rocca, Gaurang Vakil, David Gerada, Adam Walker, Chris Gerada, Krzysztof Paciura, Alastair McQueen
2019 J jnl
Improved Thermal Management and Analysis for Stator End-Windings of Electrical Machines.
IEEE Trans. Ind. Electron.
Vincenzo Madonna, Adam Walker, Paolo Giangrande, Giovanni Serra, Chris Gerada, Michael Galea
2019 C conf
Multi-physics Design Optimisation of PM-assisted Synchronous Reluctance Motor for Traction Application.
IECON
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
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
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
2017 J jnl
Design Optimization of a Short-Term Duty Electrical Machine for Extreme Environment.
IEEE Trans. Ind. Electron.
Puvan Arumugam, Emmanuel Amankwah, Adam Walker, Chris Gerada
2017 J jnl
The first reactive synthesis competition (SYNTCOMP 2014).
Int. J. Softw. Tools Technol. Transf.
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
2016 — —
Automatic Device Driver Synthesis.
Adam Walker
2016 — conf
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned.
SYNT@CAV
Leonid Ryzhyk, Adam Walker
2016 — conf
The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
SYNT@CAV
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
2015 J jnl
The First Reactive Synthesis Competition (SYNTCOMP 2014).
CoRR
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
2015 — conf
The Second Reactive Synthesis Competition (SYNTCOMP 2015).
SYNT
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
2014 B conf
Predicate abstraction for reactive synthesis.
FMCAD
Adam Walker, Leonid Ryzhyk
2014 A* conf
Solving Games without Controllable Predecessor.
CAV
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
2014 A* conf
User-Guided Device Driver Synthesis.
OSDI
Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij
2010 — conf
capDL: a language for describing capability-based systems.
ApSys
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
2009 — conf
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.
JTRES
Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee
1995 — conf
Understanding the Emergence of Conventions in Multi-Agent Systems.
ICMAS
Adam Walker, Michael J. Wooldridge