Concepedia

Н. В. Шилов

НВ

Statistics

Publications

2

Citations

36

H-Index

2

Active since

2002

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Н. В. Шилов is an author at Korea Advanced Institute of Science and Technology specializing in computer science, model checking, and computing.

ORCID

Publications per year

2002–2006

2

Publications

2

Model checking knowledge and fixpoints.

Н. В. Шилов, Natalia Garanina · Fixed Points in Computer Science · 2002 · 21 citations

, , +8

Update and Abstraction in Model Checking of Knowledge and Branching Time

Н. В. Шилов, Natalia Garanina, K. CHOE · Fundamenta Informaticae · 2006 · 15 citations

, , +12

1–2 of 2