BibTeX records: Arseniy Alekseyev

download as .bib file

@inproceedings{DBLP:conf/date/IliasovASM14,
  author    = {Alex Iliasov and
               Arseniy Alekseyev and
               Danil Sokolov and
               Andrey Mokhov},
  editor    = {Gerhard P. Fettweis and
               Wolfgang Nebel},
  title     = {Design of safety critical systems by refinement},
  booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages     = {1--4},
  publisher = {European Design and Automation Association},
  year      = {2014},
  url       = {https://doi.org/10.7873/DATE.2014.100},
  doi       = {10.7873/DATE.2014.100},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/date/IliasovASM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MokhovKAY12,
  author    = {Andrey Mokhov and
               Victor Khomenko and
               Arseniy Alekseyev and
               Alex Yakovlev},
  editor    = {Jens Brandt and
               Keijo Heljanko},
  title     = {Algebra of Parameterised Graphs},
  booktitle = {12th International Conference on Application of Concurrency to System
               Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012},
  pages     = {22--31},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/ACSD.2012.15},
  doi       = {10.1109/ACSD.2012.15},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/MokhovKAY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/MokhovAY11,
  author    = {Andrey Mokhov and
               Arseniy Alekseyev and
               Alex Yakovlev},
  title     = {Encoding of processor instruction sets with explicit concurrency control},
  journal   = {{IET} Comput. Digit. Tech.},
  volume    = {5},
  number    = {6},
  pages     = {427--439},
  year      = {2011},
  url       = {https://doi.org/10.1049/iet-cdt.2010.0158},
  doi       = {10.1049/iet-cdt.2010.0158},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iet-cdt/MokhovAY11.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/MokhovAY10,
  author    = {Andrey Mokhov and
               Arseniy Alekseyev and
               Alexandre Yakovlev},
  editor    = {Lu{\'{\i}}s Gomes and
               Victor Khomenko and
               Jo{\~{a}}o M. Fernandes},
  title     = {Automated Synthesis of Instruction Codes in the Context of Micro-architecture
               Design},
  booktitle = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages     = {3--12},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ACSD.2010.30},
  doi       = {10.1109/ACSD.2010.30},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/MokhovAY10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics