A Nivat theorem for weighted timed automata and weighted relative distance logic M Droste, V Perevoshchikov Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014 | 21 | 2014 |
Multi-weighted automata and MSO logic M Droste, V Perevoshchikov Theory of Computing Systems 59 (2), 231-261, 2016 | 15 | 2016 |
Weighted register automata and weighted logic on data words P Babari, M Droste, V Perevoshchikov Theoretical Computer Science 744, 3-21, 2018 | 9 | 2018 |
A logical characterization of timed pushdown languages M Droste, V Perevoshchikov Computer Science--Theory and Applications: 10th International Computer …, 2015 | 9 | 2015 |
Logics for weighted timed pushdown automata M Droste, V Perevoshchikov Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015 | 7 | 2015 |
Multi-weighted automata models and quantitative logics V Perevoshchikov | 2 | 2015 |
Weight Assignment Logic V Perevoshchikov 19th International Conference on Developments in Language Theory (DLT 2015 …, 2015 | | 2015 |
On the Problems of Efficient Realization of Parallelized Pollard’s Rho Method. V Perevoshchikov, A Gritsenko, S Aleshnikov Junior Scientist Conference 2010, 95, 2010 | | 2010 |