| 2007 | ||
|---|---|---|
| 4 | Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI 2007: 1253-1266 | |
| 3 | EE | Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME 2007: 47-58 |
| 2006 | ||
| 2 | EE | Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68 |
| 1 | EE | Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium 2006: 175-183 |
| 1 | Artie Basukoski | [2] |
| 2 | Alexander Bolotov | [1] [2] [3] [4] |
| 3 | Vasilyi Shangin | [1] [2] [3] [4] |