ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms. - V. A. Vasenin; E. E. Dolgalev (Program. Comput. Softw., 2003)

Functional Active Monitoring System FLAME. - V. A. Vasenin; V. V. Korneev; M. Yu. Landina; V. A. Roganov (Program. Comput. Softw., 2003)

Search Optimization in Semistructured Databases Using Hierarchy of Document Schemas. - S. S. Gorelov; V. A. Vasenin (Program. Comput. Softw., 2005)

A formal model of a system for automated program parallelization. - V. A. Vasenin; Alexander Vodomerov (Program. Comput. Softw., 2007)

ECMA-335 static formal semantics. - V. A. Vasenin; Maxim A. Krivchikov (Program. Comput. Softw., 2012)

A model of dynamical concurrent program execution. - V. A. Vasenin; Maxim A. Krivchikov (Program. Comput. Softw., 2013)

Environment for hybrid simulation of information security solutions for Grid and Cloud-systems. - Valeriy Vasenin; Vladimir Roganov; Andrey A. Zenzinov (SIMULTECH, 2014)

Intermediate Representation of Programs with Type Specification Based on Pattern Matching. - V. A. Vasenin; Maxim A. Krivchikov (Program. Comput. Softw., 2020)

ChRelBAC data access control model for large-scale interactive informational-analytical systems. - Valery Vasenin; Alexander Itkes; Maxim A. Krivchikov; Evgeniya Yavtushenko (J. Comput. Virol. Hacking Tech., 2020)

Guest Editorial Special Issue "Software Engineering". - V. A. Vasenin (Program. Comput. Softw., 2024)

Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data. - V. A. Vasenin; Andrey A. Zenzinov; V. A. Roganov (Program. Comput. Softw., 2024)