BibTeX records: Dominic Wist

download as .bib file

@phdthesis{DBLP:phd/dnb/Wist12,
  author    = {Dominic Wist},
  title     = {Attacking complexity in logic synthesis of asynchronous circuits},
  school    = {University of Potsdam},
  year      = {2012},
  url       = {http://opus.kobv.de/ubp/volltexte/2012/5970/},
  urn       = {urn:nbn:de:kobv:517-opus-59706},
  timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/dnb/Wist12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/WistSVW11,
  author    = {Dominic Wist and
               M. Schaefer and
               Walter Vogler and
               Ralf Wollowski},
  title     = {Signal transition graph decomposition: internal communication for
               speed independent circuit implementation},
  journal   = {{IET} Comput. Digit. Tech.},
  volume    = {5},
  number    = {6},
  pages     = {440--451},
  year      = {2011},
  url       = {https://doi.org/10.1049/iet-cdt.2010.0162},
  doi       = {10.1049/iet-cdt.2010.0162},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iet-cdt/WistSVW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AlekseyevKMWY11,
  author    = {Arseniy Alekseyev and
               Victor Khomenko and
               Andrey Mokhov and
               Dominic Wist and
               Alex Yakovlev},
  editor    = {Beno{\^{\i}}t Caillaud and
               Josep Carmona and
               Kunihiko Hiraishi},
  title     = {Improved Parallel Composition of Labelled Petri Nets},
  booktitle = {11th International Conference on Application of Concurrency to System
               Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages     = {131--140},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/ACSD.2011.11},
  doi       = {10.1109/ACSD.2011.11},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/AlekseyevKMWY11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/WistVW11,
  author    = {Dominic Wist and
               Walter Vogler and
               Ralf Wollowski},
  editor    = {Beno{\^{\i}}t Caillaud and
               Josep Carmona and
               Kunihiko Hiraishi},
  title     = {{STG} Decomposition: Partitioning Heuristics},
  booktitle = {11th International Conference on Application of Concurrency to System
               Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages     = {141--150},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/ACSD.2011.23},
  doi       = {10.1109/ACSD.2011.23},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/WistVW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/WistSVW10,
  author    = {Dominic Wist and
               Mark Sch{\"{a}}fer and
               Walter Vogler and
               Ralf Wollowski},
  editor    = {Lu{\'{\i}}s Gomes and
               Victor Khomenko and
               Jo{\~{a}}o M. Fernandes},
  title     = {{STG} Decomposition: Internal Communication for {SI} Implementability},
  booktitle = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages     = {13--23},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ACSD.2010.15},
  doi       = {10.1109/ACSD.2010.15},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/WistSVW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WistWSV09,
  author    = {Dominic Wist and
               Ralf Wollowski and
               Mark Sch{\"{a}}fer and
               Walter Vogler},
  title     = {Avoiding Irreducible {CSC} Conflicts by Internal Communication},
  journal   = {Fundam. Informaticae},
  volume    = {95},
  number    = {1},
  pages     = {1--29},
  year      = {2009},
  url       = {https://doi.org/10.3233/FI-2009-140},
  doi       = {10.3233/FI-2009-140},
  timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/WistWSV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchaferWW09,
  author    = {Mark Sch{\"{a}}fer and
               Dominic Wist and
               Ralf Wollowski},
  title     = {DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous
               Controllers},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {186--190},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.20},
  doi       = {10.1109/ACSD.2009.20},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/SchaferWW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchaferVWW08,
  author    = {Mark Sch{\"{a}}fer and
               Walter Vogler and
               Dominic Wist and
               Ralf Wollowski},
  editor    = {Jonathan Billington and
               Zhenhua Duan and
               Maciej Koutny},
  title     = {Avoiding irreducible {CSC} conflicts by internal communication},
  booktitle = {8th International Conference on Application of Concurrency to System
               Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
  pages     = {3--12},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {https://doi.org/10.1109/ACSD.2008.4574588},
  doi       = {10.1109/ACSD.2008.4574588},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/SchaferVWW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics