N. Shilov
发表
Nikolay V. Shilov,
N. Shilov,
1997,
Theor. Comput. Sci..
N. Shilov,
T. Baar,
S. Staroletov,
2019
.
N. Shilov,
I. Anureev,
E. V. Bodin,
2009
.
N. Shilov,
2022
.
Kwangkeun Yi,
Nikolay V. Shilov,
K. Yi,
2002,
CACM.
N. Shilov,
K. YiResearch,
2007
.
K. Yi,
N. Shilov,
2000
.
K. Yi,
N. Shilov,
2022
.
N. Shilov,
2012
.
N. Shilov,
N. Garanina,
2005
.
N. Shilov,
P. Schreiner,
J. Grebeneva,
2007
.
Joseph Y. Halpern,
J. Reif,
N. Shilov,
1981,
FOCS.
K. Yi,
N. Shilov,
2000
.
K. Yi,
N. Shilov,
2022
.
N. Shilov,
2007
.
N. Shilov,
2006
.
N. Shilov,
N. Garanina,
N. Garanina,
2020,
Automatic Control and Computer Sciences.
N. Shilov,
E. V. Bodin,
S. Shilova,
2010
.
N. Shilov,
I. Anureev,
E. V. Bodin,
2008
.
N. Shilov,
Nikolai Kudasov,
Mikhail Olokin,
2022,
2209.01803.
N. Shilov,
S. Shilova,
A. Y. Bernshtein,
2016,
Programming and Computer Software.
Nikolay V. Shilov,
Natalya Olegovna Garanina,
N. Shilov,
2007,
KONT/KPP.
Nikolay Shilov,
Evgeniy Muravev,
Svetlana Shilova,
2021
.
Nikolay V. Shilov,
Danila Danko,
N. Shilov,
2019,
FISEE.
Nikolay Shilov,
S. O. Shilova,
N. Shilov,
2010
.
Ron van der Meyden,
Nikolay V. Shilov,
N. Shilov,
1999,
FSTTCS.
Nikolay V. Shilov,
N. Shilov,
2015,
EGC.
Nikolay Shilov,
Julia Grebeneva,
Nataliya Garanina,
2013
.
Nikolay V. Shilov,
N. Shilov,
2008,
Description Logics.
Nikolay V. Shilov,
Alexey V. Zubkov,
A. A. Akinin,
2011,
Ershov Memorial Conference.
Nikolay V. Shilov,
Natalya Olegovna Garanina,
N. Shilov,
2002,
FICS.
N. Shilov,
2012,
Automatic Control and Computer Sciences.
Nikolay V. Shilov,
Svetlana O. Shilova,
N. Shilov,
2004,
SIGA.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
V. A. Nepomniaschy,
N. V. Shilov,
N. Shilov,
1989
.