V. P. Kulagin

Publications

Citations

H-Index

2014

Active since

Affiliations

National Research University Higher School of Economics(Current)

V. P. Kulagin is an author at National Research University Higher School of Economics specializing in digital design, systems engineering, and system software.

ORCID

Top concepts

EngineeringDigital DesignFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystem-level Design

Publications per year

2014–2016

Publications

Algebraic models of digital system design debugging decomposition

Alexander Ivannikov, V. P. Kulagin, A. Yu. Romanov et al. · 2016 · 19 citations

Engineering, Software Engineering, System-level Design +19

Near-Earth space as an object of global monitoring

I. V. Barmin, V. P. Kulagin, V. P. Savinykh et al. · Solar System Research · 2014 · 13 citations

Rows per page

1–2 of 2