The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Adam Walker" ( http://dblp.L3S.de/Authors/Adam_Walker )

  Author page on DBLP  Author page in RDF  Community of Adam Walker in ASPL-2

Publication years (Num. hits)
1995-2019 (15)
Publication types (Num. hits)
article(5) inproceedings(9) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vincenzo Madonna, Adam Walker, Paolo Giangrande, Giovanni Serra, Chris Gerada, Michael Galea Improved Thermal Management and Analysis for Stator End-Windings of Electrical Machines. Search on Bibsonomy IEEE Trans. Industrial Electronics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein 0001, 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. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Puvan Arumugam, Emmanuel Amankwah, Adam Walker, Chris Gerada Design Optimization of a Short-Term Duty Electrical Machine for Extreme Environment. Search on Bibsonomy IEEE Trans. Industrial Electronics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Swen 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). Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Adam Walker Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein 0001, 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. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adam Walker Automatic Device Driver Synthesis. Search on Bibsonomy 2016   RDF
1Swen 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). Search on Bibsonomy SYNT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Swen 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). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker Solving Games without Controllable Predecessor. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij User-Guided Device Driver Synthesis. Search on Bibsonomy OSDI The full citation details ... 2014 DBLP  BibTeX  RDF
1Adam Walker, Leonid Ryzhyk Predicate abstraction for reactive synthesis. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker capDL: a language for describing capability-based systems. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF SEL4, capability distribution, capabilities, security analysis, isabelle
1Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. Search on Bibsonomy JTRES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
1Adam Walker, Michael J. Wooldridge Understanding the Emergence of Conventions in Multi-Agent Systems. Search on Bibsonomy ICMAS The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license