Vitaly Perevoshchikov

13 papers C 2Misc 2Journal 5Unranked 3

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