Maxim A. Krivchikov

According to our database¹, Maxim A. Krivchikov authored at least 4 papers between 2012 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

ChRelBAC data access control model for large-scale interactive informational-analytical systems.

[BibT_eX]

[DOI]

J. Comput. Virol. Hacking Tech., 2020

Intermediate Representation of Programs with Type Specification Based on Pattern Matching.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2020

2013

A model of dynamical concurrent program execution.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2013

2012

ECMA-335 static formal semantics.

[BibT_eX]

[DOI]

Program. Comput. Softw., 2012