Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vitaly Perevoshchikov
Map detail
Vitaly Perevoshchikov4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipVitaly PerevoshchikovAVitaly PerevoshchikovResearcherWeight Assignment LogicWWeight Assignment Logicpreprint / 2015A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance LogicWA Nivat Theorem for Wei...preprint / 2015Multi-weighted Automata and MSO LogicWMulti-weighted Automata...preprint / 2015
Person3 links

Vitaly Perevoshchikov

Researcher