Valery A. Sokolov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1997–2005
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | PACT | An Approach to the Implementation of the Dynamical Priorities Method. | Valery A. Sokolov, Eugeny A. Timofeev |
| 2004 | TIME | Model Checking mu-Calculus in Well-Structured Transition Systems. | E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov |
| 2003 | PACT | An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. | Dmitry J. Chaly, Valery A. Sokolov |
| 2001 | PACT | ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. | Igor V. Alekseev, Valery A. Sokolov |
| 1997 | PACT | On a Technology of Design and Analysis of Dataflow Programs. | Valery A. Sokolov, Ella E. Roubtsova, Serguei A. Roubtsov |