Vitaly Perevoshchikov

According to our database, Vitaly Perevoshchikov authored at least 8 papers between 2013 and 2016.

Collaborative distances:

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

2016

Weighted Register Automata and Weighted Logic on Data Words.

Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Multi-weighted Automata Models and Quantitative Logics

Vitaly Perevoshchikov

PhD thesis, 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

2013

Multi-weighted Automata and MSO Logic.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Computer Science - Theory and Applications, 2013