Multi-weighted automata models and quantitative logics. - Vitaly Perevoshchikov (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. - Manfred Droste; Vitaly Perevoshchikov (ICALP (2), 2014)

Logics for Weighted Timed Pushdown Automata. - Manfred Droste; Vitaly Perevoshchikov (Fields of Logic and Computation II, 2015)

A Logical Characterization of Timed Pushdown Languages. - Manfred Droste; Vitaly Perevoshchikov (CSR, 2015)

Weight Assignment Logic. - Vitaly Perevoshchikov (DLT, 2015)

Multi-weighted Automata Models and Quantitative Logics - Vitaly Perevoshchikov (2015)

Multi-weighted Automata and MSO Logic. - Manfred Droste; Vitaly Perevoshchikov (Theory Comput. Syst., 2016)

Weighted register automata and weighted logic on data words. - Parvaneh Babari; Manfred Droste; Vitaly Perevoshchikov (Theor. Comput. Sci., 2018)