V. A. Vasenin

Orcid: 0000-0003-2499-6132

According to our database1, V. A. Vasenin authored at least 9 papers between 2003 and 2020.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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

2014
Environment for hybrid simulation of information security solutions for Grid and Cloud-systems.
Proceedings of the 4th International Conference On Simulation And Modeling Methodologies, 2014

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

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

2007
A formal model of a system for automated program parallelization.
Program. Comput. Softw., 2007

2005
Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas.
Program. Comput. Softw., 2005

2003
Functional Active Monitoring System FLAME.
Program. Comput. Softw., 2003

ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms.
Program. Comput. Softw., 2003


  Loading...