Vitaly Perevoshchikov

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 3

Top Topics

Logical Framework

Relative Distance

Predicate Logic

Top Venues

Theory Comput. Syst.

Publications

Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov
Weighted register automata and weighted logic on data words. Theor. Comput. Sci. 744 (2018)
Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov
Weighted Register Automata and Weighted Logic on Data Words. ICTAC (2016)
Manfred Droste, Vitaly Perevoshchikov
Multi-weighted Automata and MSO Logic. Theory Comput. Syst. 59 (2) (2016)
Manfred Droste, Vitaly Perevoshchikov
A Logical Characterization of Timed Pushdown Languages. CSR (2015)
Manfred Droste, Vitaly Perevoshchikov
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. CoRR (2015)
Vitaly Perevoshchikov
Weight Assignment Logic. DLT (2015)
Manfred Droste, Vitaly Perevoshchikov
Multi-weighted Automata and MSO Logic. CoRR (2015)
Manfred Droste, Vitaly Perevoshchikov
Logics for Weighted Timed Pushdown Automata. Fields of Logic and Computation II (2015)
Vitaly Perevoshchikov
Weight Assignment Logic. CoRR (2015)
Vitaly Perevoshchikov
Multi-weighted automata models and quantitative logics. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Manfred Droste, Vitaly Perevoshchikov
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. ICALP (2) (2014)
Manfred Droste, Vitaly Perevoshchikov
Multi-weighted Automata and MSO Logic. CSR (2013)