Maxim A. Krivchikov

Orcid: 0000-0002-2576-4408

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
ChRelBAC data access control model for large-scale interactive informational-analytical systems.
J. Comput. Virol. Hacking Tech., 2020

Intermediate Representation of Programs with Type Specification Based on Pattern Matching.
Program. Comput. Softw., 2020

2013
A model of dynamical concurrent program execution.
Program. Comput. Softw., 2013

2012
ECMA-335 static formal semantics.
Program. Comput. Softw., 2012


  Loading...