Sergey I. Salishev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2009–2013
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DSD | A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. | Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev |
| 2009 | VEE | Demystifying magic: high-level low-level programming. | Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev |