Vitaly Perevoshchikov

Vitaly Perevoshchikov

Universität Leipzig - Leipzig / Germany
Others
AD Scientific Index ID: 5643929
Leipzig University
person_outline Vitaly Perevoshchikov's MOST POPULAR ARTICLES
1-) A Nivat theorem for weighted timed automata and weighted relative distance logicM Droste, V PerevoshchikovAutomata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014212014
2-) Multi-weighted automata and MSO logicM Droste, V PerevoshchikovTheory of Computing Systems 59 (2), 231-261, 2016142016
3-) Weighted register automata and weighted logic on data wordsP Babari, M Droste, V PerevoshchikovTheoretical Computer Science 744, 3-21, 201892018
4-) A logical characterization of timed pushdown languagesM Droste, V PerevoshchikovComputer Science--Theory and Applications: 10th International Computer …, 201592015
5-) Logics for weighted timed pushdown automataM Droste, V PerevoshchikovFields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 201572015