Login / Signup
Nikolay Shilov
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Computer Science
Colored Petri Nets
Propositional Logic
Higher Education
Top Venues
CoRR
Ershov Memorial Conference
FedCSIS
</>
Publications
</>
Nikolai Kudasov
,
Mikhail Olokin
,
Oleksii Potyomkin
,
Nikolay Shilov
,
Maxim Stepanov
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.
CoRR
(2022)
Tatiana V. Liakh
,
Andrei Rozov
,
Vladimir Zyubin
,
Sergey M. Staroletov
,
Thomas Baar
,
Horst Schulte
,
Ivan Konyukhov
,
Nikolay Shilov
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.
FedCSIS
(2021)
Antonio Cerone
,
Markus Roggenbach
,
James Davenport
,
Casey Denner
,
Marie Farrell
,
Magne Haveraaen
,
Faron Moller
,
Philipp Koerner
,
Sebastian Krings
,
Peter Csaba Ölveczky
,
Bernd-Holger Schlingloff
,
Nikolay Shilov
,
Rustam Zhumagambetov
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
CoRR
(2020)
Nikolay Shilov
Program Schemata Technique to Solve Propositional Program Logics Revised.
Ershov Memorial Conference
(2015)