Vitaly Perevoshchikov

According to our database, Vitaly Perevoshchikov authored at least 7 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Weighted register automata and weighted logic on data words.

Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov

Theor. Comput. Sci., 2018

2016

Multi-weighted Automata and MSO Logic.

Manfred Droste, Vitaly Perevoshchikov

Theory Comput. Syst., 2016

2015

Weight Assignment Logic.

Vitaly Perevoshchikov

Proceedings of the Developments in Language Theory - 19th International Conference, 2015

A Logical Characterization of Timed Pushdown Languages.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Computer Science - Theory and Applications, 2015

Logics for Weighted Timed Pushdown Automata.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Fields of Logic and Computation II, 2015

2014

A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Multi-weighted automata models and quantitative logics.

Vitaly Perevoshchikov

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014