Konstantin Verchinine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2007–2017
Best venue rank
Australasian
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICTERI | The SAD System: a Current State and Future Work. | Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine |
| 2010 | AISC | Evidence Algorithm and System for Automated Deduction: A Retrospective View. | Alexander V. Lyaletski, Konstantin Verchinine |
| 2008 | AISC | On Correctness of Mathematical Texts from a Logical and Practical Point of View. | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
| 2007 | CADE | System for Automated Deduction (SAD): A Tool for Proof Verification. | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich |