Login / Signup
Eugene V. Bodin
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Automated Verification
Reactive Systems
Text Analysis
Top Venues
Ershov Memorial Conference
MOD*
</>
Publications
</>
Natalia Olegovna Garanina
,
Eugene V. Bodin
,
Elena A. Sidorova
An Approach to Model Checking of Multi-agent Data Analysis.
MOD*
(2014)
Natalia Olegovna Garanina
,
Elena A. Sidorova
,
Eugene V. Bodin
A Multi-agent Text Analysis Based on Ontology of Subject Domain.
Ershov Memorial Conference
(2014)