Valery A. Sokolov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8EEE. V. Kuzmin, Valery A. Sokolov: Modeling, specification, and verification of automaton programs. Programming and Computer Software 34(1): 27-43 (2008)
7EEValery A. Sokolov, Eugeny A. Timofeev: An Approach to the Implementation of the Dynamical Priorities Method. PaCT 2005: 74-78
6EEE. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov: Model Checking mu-Calculus in Well-Structured Transition Systems. TIME 2004: 152-155
5EEDmitry J. Chaly, Valery A. Sokolov: An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. PaCT 2003: 66-75
4EEIgor V. Alekseev, Valery A. Sokolov: Modeling and traffic analysis of the adaptive rate transport protocol. Future Generation Comp. Syst. 18(6): 813-827 (2002)
3EEValery A. Sokolov, Eugeny A. Timofeev: Dynamical Priorities without Time Measurement and Modification of the TCP. Ershov Memorial Conference 2001: 240-245
2EEIgor V. Alekseev, Valery A. Sokolov: ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. PaCT 2001: 159-174
1 Valery A. Sokolov, Ella E. Roubtsova, Serguei A. Roubtsov: On a Technology of Design and Analysis of Dataflow Programs. PaCT 1997: 115-120

Coauthor Index

1Igor V. Alekseev [2] [4]
2Dmitry J. Chaly [5]
3E. V. Kouzmin [6]
4E. V. Kuzmin [8]
5Serguei A. Roubtsov [1]
6Ella E. Roubtsova [1]
7Nikolay V. Shilov [6]
8Eugeny A. Timofeev [3] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)