BibTeX records: Vitaly Perevoshchikov

download as .bib file

@article{DBLP:journals/tcs/BabariDP18,
  author       = {Parvaneh Babari and
                  Manfred Droste and
                  Vitaly Perevoshchikov},
  title        = {Weighted register automata and weighted logic on data words},
  journal      = {Theor. Comput. Sci.},
  volume       = {744},
  pages        = {3--21},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.tcs.2018.01.004},
  doi          = {10.1016/J.TCS.2018.01.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BabariDP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mst/DrosteP16,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  title        = {Multi-weighted Automata and {MSO} Logic},
  journal      = {Theory Comput. Syst.},
  volume       = {59},
  number       = {2},
  pages        = {231--261},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00224-015-9658-9},
  doi          = {10.1007/S00224-015-9658-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/DrosteP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/BabariDP16,
  author       = {Parvaneh Babari and
                  Manfred Droste and
                  Vitaly Perevoshchikov},
  editor       = {Augusto Sampaio and
                  Farn Wang},
  title        = {Weighted Register Automata and Weighted Logic on Data Words},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International
                  Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9965},
  pages        = {370--384},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46750-4\_21},
  doi          = {10.1007/978-3-319-46750-4\_21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/BabariDP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/DrosteP15,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  editor       = {Lev D. Beklemishev and
                  Andreas Blass and
                  Nachum Dershowitz and
                  Bernd Finkbeiner and
                  Wolfram Schulte},
  title        = {Logics for Weighted Timed Pushdown Automata},
  booktitle    = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
                  on the Occasion of His 75th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9300},
  pages        = {153--173},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23534-9\_9},
  doi          = {10.1007/978-3-319-23534-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DrosteP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csr/DrosteP15,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  editor       = {Lev D. Beklemishev and
                  Daniil V. Musatov},
  title        = {A Logical Characterization of Timed Pushdown Languages},
  booktitle    = {Computer Science - Theory and Applications - 10th International Computer
                  Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
                  13-17, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9139},
  pages        = {189--203},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-20297-6\_13},
  doi          = {10.1007/978-3-319-20297-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/DrosteP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dlt/Perevoshchikov15,
  author       = {Vitaly Perevoshchikov},
  editor       = {Igor Potapov},
  title        = {Weight Assignment Logic},
  booktitle    = {Developments in Language Theory - 19th International Conference, {DLT}
                  2015, Liverpool, UK, July 27-30, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9168},
  pages        = {413--425},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21500-6\_33},
  doi          = {10.1007/978-3-319-21500-6\_33},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/Perevoshchikov15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DrosteP15,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  title        = {Multi-weighted Automata and {MSO} Logic},
  journal      = {CoRR},
  volume       = {abs/1506.06024},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.06024},
  eprinttype    = {arXiv},
  eprint       = {1506.06024},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DrosteP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DrosteP15a,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  title        = {A Nivat Theorem for Weighted Timed Automata and Weighted Relative
                  Distance Logic},
  journal      = {CoRR},
  volume       = {abs/1506.06038},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.06038},
  eprinttype    = {arXiv},
  eprint       = {1506.06038},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DrosteP15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Perevoshchikov15,
  author       = {Vitaly Perevoshchikov},
  title        = {Weight Assignment Logic},
  journal      = {CoRR},
  volume       = {abs/1508.06121},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.06121},
  eprinttype    = {arXiv},
  eprint       = {1508.06121},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Perevoshchikov15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dfg/Perevoshchikov14,
  author       = {Vitaly Perevoshchikov},
  editor       = {Anja Jentzsch and
                  Tobias Pape and
                  Sebastian Pasewaldt},
  title        = {Multi-weighted automata models and quantitative logics},
  booktitle    = {Proceedings of the 8th Joint Workshop of the German Research Training
                  Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June
                  15-18, 2014},
  pages        = {151},
  publisher    = {Pro Business GmbH},
  year         = {2014},
  timestamp    = {Wed, 03 Jun 2020 14:50:52 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/Perevoshchikov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/DrosteP14,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  editor       = {Javier Esparza and
                  Pierre Fraigniaud and
                  Thore Husfeldt and
                  Elias Koutsoupias},
  title        = {A Nivat Theorem for Weighted Timed Automata and Weighted Relative
                  Distance Logic},
  booktitle    = {Automata, Languages, and Programming - 41st International Colloquium,
                  {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8573},
  pages        = {171--182},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43951-7\_15},
  doi          = {10.1007/978-3-662-43951-7\_15},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/DrosteP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csr/DrosteP13,
  author       = {Manfred Droste and
                  Vitaly Perevoshchikov},
  editor       = {Andrei A. Bulatov and
                  Arseny M. Shur},
  title        = {Multi-weighted Automata and {MSO} Logic},
  booktitle    = {Computer Science - Theory and Applications - 8th International Computer
                  Science Symposium in Russia, {CSR} 2013, Ekaterinburg, Russia, June
                  25-29, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7913},
  pages        = {418--430},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38536-0\_36},
  doi          = {10.1007/978-3-642-38536-0\_36},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/DrosteP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.