|
Search the dblp DataBase
Valery A. Sokolov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Valery A. Sokolov, Eugeny A. Timofeev
Dynamical Priorities without Time Measurement and Modification of the TCP. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:240-245 [Conf]
- Igor V. Alekseev, Valery A. Sokolov
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. [Citation Graph (0, 0)][DBLP] PaCT, 2001, pp:159-174 [Conf]
- Dmitry J. Chaly, Valery A. Sokolov
An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. [Citation Graph (0, 0)][DBLP] PaCT, 2003, pp:66-75 [Conf]
- Valery A. Sokolov, Ella E. Roubtsova, Serguei A. Roubtsov
On a Technology of Design and Analysis of Dataflow Programs. [Citation Graph (0, 0)][DBLP] PaCT, 1997, pp:115-120 [Conf]
- Valery A. Sokolov, Eugeny A. Timofeev
An Approach to the Implementation of the Dynamical Priorities Method. [Citation Graph (0, 0)][DBLP] PaCT, 2005, pp:74-78 [Conf]
- E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov
Model Checking mu-Calculus in Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP] TIME, 2004, pp:152-155 [Conf]
- Igor V. Alekseev, Valery A. Sokolov
Modeling and traffic analysis of the adaptive rate transport protocol. [Citation Graph (0, 0)][DBLP] Future Generation Comp. Syst., 2002, v:18, n:6, pp:813-827 [Journal]
Search in 0.001secs, Finished in 0.002secs
|