V. A. Vasenin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Intermediate representation of programs with type specification based on pattern matching Programming and Computer Software	2020-12-18	Paper
A model of dynamical concurrent program execution Programming and Computer Software	2013-04-10	Paper
A formal model of a system for automated program parallelization Programming and Computer Software	2008-06-09	Paper
Search optimization in semistructured databases using hierarchy of document schemas Programming and Computer Software	2006-08-16	Paper
On expressiveness of a language for describing definitions and process realizations	2006-07-18	Paper
Mathematical models of traffic control in internet: new approaches based of TCP/AQM schemes Automation and Remote Control	2005-12-19	Paper
The information-expert system for investigation of structural and mechanical properties of materials Automation and Remote Control	2005-12-19	Paper
On the problem of impulse control of a leg with weight of a walking robot Moscow University Mechanics Bulletin	1981-01-01	Paper
Some properties of impact-impulse control of a linear system Moscow University Mechanics Bulletin	1979-01-01	Paper
scientific article; zbMATH DE number 3619720 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: V. A. Vasenin