Vitaly Perevoshchikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2013–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICTAC | Weighted Register Automata and Weighted Logic on Data Words. | Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov |
| 2015 | CSR | A Logical Characterization of Timed Pushdown Languages. | Manfred Droste, Vitaly Perevoshchikov |
| 2015 | DLT | Weight Assignment Logic. | Vitaly Perevoshchikov |
| 2014 | ICALP | A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. | Manfred Droste, Vitaly Perevoshchikov |
| 2013 | CSR | Multi-weighted Automata and MSO Logic. | Manfred Droste, Vitaly Perevoshchikov |