Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adam Walker
@article{DBLP:journals/corr/abs-2206-00251,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {CoRR},
volume = {abs/2206.00251},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00251},
doi = {10.48550/ARXIV.2206.00251},
eprinttype = {arXiv},
eprint = {2206.00251},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChoyCBTWGPOP21,
author = {Wei Juin Choy and
Alessandro Costabeber and
Giampaolo Buticchi and
Andrew Trentin and
Adam Walker and
Michael Galea and
Krzysztof Paciura and
John O'Brien and
Bradford Palmer},
title = {A Multiport Power Electronics Converter for Hybrid Traction Applications},
journal = {{IEEE} Access},
volume = {9},
pages = {99181--99192},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3089371},
doi = {10.1109/ACCESS.2021.3089371},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/ChoyCBTWGPOP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/KhowjaGVPOW021,
author = {Muhammad Raza Khowja and
Chris Gerada and
Gaurang Vakil and
Chintan Patel and
Shafiq Odhano and
Adam Walker and
Patrick Wheeler},
title = {Novel Permanent Magnet Synchronous Motor With Integrated Filter Inductor,
Using Motor's Inherent Magnetics},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {68},
number = {7},
pages = {5638--5649},
year = {2021},
url = {https://doi.org/10.1109/TIE.2020.3000110},
doi = {10.1109/TIE.2020.3000110},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/KhowjaGVPOW021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/MadonnaWGSGG19,
author = {Vincenzo Madonna and
Adam Walker and
Paolo Giangrande and
Giovanni Serra and
Chris Gerada and
Michael Galea},
title = {Improved Thermal Management and Analysis for Stator End-Windings of
Electrical Machines},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {66},
number = {7},
pages = {5057--5069},
year = {2019},
url = {https://doi.org/10.1109/TIE.2018.2868288},
doi = {10.1109/TIE.2018.2868288},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/MadonnaWGSGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/KumarFZRVGWGPM19,
author = {R. M. Ram Kumar and
B. G. Fernandes and
Tianjie Zou and
Antonino la Rocca and
Gaurang Vakil and
David Gerada and
Adam Walker and
Chris Gerada and
Krzysztof Paciura and
Alastair McQueen},
title = {High Power High Speed PM-Assisted SynRel Machines with Ferrite and
Rare Earth Magnets for Future Electric Commercial Vehicles},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {1083--1088},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927523},
doi = {10.1109/IECON.2019.8927523},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/KumarFZRVGWGPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/KumarFVGWRAGPM19,
author = {R. M. Ram Kumar and
B. G. Fernandes and
Gaurang Vakil and
David Gerada and
Adam Walker and
Salvatore la Rocca and
Mahir Al{-}Ani and
Chris Gerada and
Krzysztof Paciura and
Alastair McQueen},
title = {Enhancing the Torque Density of Conventional PM-SynRel Machine with
Hybrid Flux Barrier},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {4347--4352},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8926624},
doi = {10.1109/IECON.2019.8926624},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/KumarFVGWRAGPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Al-AniPMWVRZRRG19,
author = {Mahir Al{-}Ani and
Krzysztof Paciura and
Alastair McQueen and
Adam Walker and
Gaurang Vakil and
Ramkumar Ramanathan and
Tianjie Zou and
Salvatore la Rocca and
Antonino la Rocca and
David Gerada and
Chris Gerada},
title = {Multi-physics Design Optimisation of PM-assisted Synchronous Reluctance
Motor for Traction Application},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {4353--4359},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8926697},
doi = {10.1109/IECON.2019.8926697},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/Al-AniPMWVRZRRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07736,
author = {Swen Jacobs and
Roderick Bloem and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Philipp J. Meyer and
Thibaud Michaud and
Mouhammad Sakr and
Salomon Sickert and
Leander Tentrup and
Adam Walker},
title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
Participants {\&} Results},
journal = {CoRR},
volume = {abs/1904.07736},
year = {2019},
url = {http://arxiv.org/abs/1904.07736},
eprinttype = {arXiv},
eprint = {1904.07736},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JacobsBBEHKPRRS17,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The first reactive synthesis competition {(SYNTCOMP} 2014)},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {3},
pages = {367--390},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0416-3},
doi = {10.1007/S10009-016-0416-3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/JacobsBBEHKPRRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/ArumugamAWG17,
author = {Puvan Arumugam and
Emmanuel Amankwah and
Adam Walker and
Chris Gerada},
title = {Design Optimization of a Short-Term Duty Electrical Machine for Extreme
Environment},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {64},
number = {12},
pages = {9784--9794},
year = {2017},
url = {https://doi.org/10.1109/TIE.2017.2711555},
doi = {10.1109/TIE.2017.2711555},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/ArumugamAWG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Walker16,
author = {Adam Walker},
title = {Automatic Device Driver Synthesis},
school = {University of New South Wales, Sydney, Australia},
year = {2016},
url = {http://handle.unsw.edu.au/1959.4/55981},
timestamp = {Thu, 15 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Walker16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RyzhykW16,
author = {Leonid Ryzhyk and
Adam Walker},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {Developing a Practical Reactive Synthesis Tool: Experience and Lessons
Learned},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {84--99},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.8},
doi = {10.4204/EPTCS.229.8},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/RyzhykW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBK0KKLNP16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Ayrat Khalimov and
Felix Klein and
Robert K{\"{o}}nighofer and
Jens Kreber and
Alexander Legg and
Nina Narodytska and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Ruzica Piskac and
Rayna Dimitrova},
title = {The 3rd Reactive Synthesis Competition {(SYNTCOMP} 2016): Benchmarks,
Participants {\&} Results},
booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada,
July 17-18, 2016},
series = {{EPTCS}},
volume = {229},
pages = {149--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.229.12},
doi = {10.4204/EPTCS.229.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsBBKPRRSST16,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
editor = {Pavol Cern{\'{y}} and
Viktor Kuncak and
Parthasarathy Madhusudan},
title = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)},
booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco,
CA, USA, 18th July 2015},
series = {{EPTCS}},
volume = {202},
pages = {27--57},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.202.4},
doi = {10.4204/EPTCS.202.4},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JacobsBBEHKPRRS15,
author = {Swen Jacobs and
Roderick Bloem and
Romain Brenguier and
R{\"{u}}diger Ehlers and
Timotheus Hell and
Robert K{\"{o}}nighofer and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin and
Leonid Ryzhyk and
Ocan Sankur and
Martina Seidl and
Leander Tentrup and
Adam Walker},
title = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)},
journal = {CoRR},
volume = {abs/1506.08726},
year = {2015},
url = {http://arxiv.org/abs/1506.08726},
eprinttype = {arXiv},
eprint = {1506.08726},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JacobsBBEHKPRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NarodytskaLBRW14,
author = {Nina Narodytska and
Alexander Legg and
Fahiem Bacchus and
Leonid Ryzhyk and
Adam Walker},
editor = {Armin Biere and
Roderick Bloem},
title = {Solving Games without Controllable Predecessor},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {533--540},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_35},
doi = {10.1007/978-3-319-08867-9\_35},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/NarodytskaLBRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WalkerR14,
author = {Adam Walker and
Leonid Ryzhyk},
title = {Predicate abstraction for reactive synthesis},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {219--226},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987617},
doi = {10.1109/FMCAD.2014.6987617},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WalkerR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/RyzhykWKLRSV14,
author = {Leonid Ryzhyk and
Adam Walker and
John Keys and
Alexander Legg and
Arun Raghunath and
Michael Stumm and
Mona Vij},
editor = {Jason Flinn and
Hank Levy},
title = {User-Guided Device Driver Synthesis},
booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
pages = {661--676},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk},
timestamp = {Tue, 02 Feb 2021 08:05:58 +0100},
biburl = {https://dblp.org/rec/conf/osdi/RyzhykWKLRSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/KuzKLW10,
author = {Ihor Kuz and
Gerwin Klein and
Corey Lewis and
Adam Walker},
editor = {Chandramohan A. Thekkath and
Ramakrishna Kotla and
Lidong Zhou},
title = {capDL: a language for describing capability-based systems},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Asia-Pacific Workshop on Systems,
ApSys 2010, New Delhi, India, August 30, 2010},
pages = {31--36},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1851276.1851284},
doi = {10.1145/1851276.1851284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/KuzKLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MalikSGWL09,
author = {Avinash Malik and
Zoran A. Salcic and
Alain Girault and
Adam Walker and
Sung Chul Lee},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {A customizable multiprocessor for Globally Asynchronous Locally Synchronous
execution},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {120--129},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620423},
doi = {10.1145/1620405.1620423},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/MalikSGWL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/WalkerW95,
author = {Adam Walker and
Michael J. Wooldridge},
editor = {Victor R. Lesser and
Les Gasser},
title = {Understanding the Emergence of Conventions in Multi-Agent Systems},
booktitle = {Proceedings of the First International Conference on Multiagent Systems,
June 12-14, 1995, San Francisco, California, {USA}},
pages = {384--389},
publisher = {The {MIT} Press},
year = {1995},
timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmas/WalkerW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 01:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
