Yuri G. Karpov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
1
Active years
1995–2007
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | PACT | Application of Simulation Approaches to Creation of Decision Support System for IT Service Management. | Yuri G. Karpov, Rostislav I. Ivanovsky, Kirill A. Sotnikov |
| 2003 | PACT | Interval Approach to Parallel Timed Systems Verification. | Yuri G. Karpov, Dmitry Sotnikov |
| 2001 | PACT | Distributed Simulation of Hybrid Systems with HLA Support. | Andrei Borshchev, Yuri G. Karpov, Pavel Lebedev |
| 1999 | PACT | Creating and Running Mobile Agents with XJ DOME. | Kirill Bolshakov, Andrei Borshchev, Alex Filippoff, Yuri G. Karpov, Victor Roudakov |
| 1999 | PACT | DEALed - A Tool Suite for Distributed Real-Time Systems Development. | Kirill Bolshakov, Yuri G. Karpov, Alexei Sintotskij |
| 1997 | PACT | Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study. | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko |
| 1997 | PACT | COVERS 3.0 - A C++ Based Graphical Modeling and Simulation Tool. | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov, Alexei Filippov, Alexei Sintotskij, Sergei Fedorenko |
| 1995 | PACT | COVERS - A Tool for the Design of Real-time Concurrent Systems. | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov |