Maxim A. Krivchikov

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Owl Dl Ontology

Pattern Matching

Formal Semantics

Intermediate Representations

Top Venues

Program. Comput. Softw.

J. Comput. Virol. Hacking Tech.

Publications

Valery Vasenin, Alexander Itkes, Maxim A. Krivchikov, Evgeniya Yavtushenko
ChRelBAC data access control model for large-scale interactive informational-analytical systems. J. Comput. Virol. Hacking Tech. 16 (4) (2020)
V. A. Vasenin, Maxim A. Krivchikov
Intermediate Representation of Programs with Type Specification Based on Pattern Matching. Program. Comput. Softw. 46 (1) (2020)
V. A. Vasenin, Maxim A. Krivchikov
A model of dynamical concurrent program execution. Program. Comput. Softw. 39 (1) (2013)
V. A. Vasenin, Maxim A. Krivchikov
ECMA-335 static formal semantics. Program. Comput. Softw. 38 (4) (2012)