Taras Panchenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2016–2018
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | QUATIC | Quality of Concurrent Shared Memory Programs. | Taras Panchenko, Sunmade Fabunmi |
| 2017 | ICTERI | A Formal Proof of Correctness of a Distributed Presentation Software System. | Ievgen Ivanov, Taras Panchenko |
| 2016 | ICTERI | Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems. | Taras Panchenko |