| 2006 | ||
|---|---|---|
| 5 | EE | Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin: Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA 2006: 56-68 |
| 4 | EE | Alexander Bolotov, Artie Basukoski: A clausal resolution method for branching-time logic ECTL+. Ann. Math. Artif. Intell. 46(3): 235-263 (2006) |
| 3 | EE | Alexander Bolotov, Artie Basukoski: A clausal resolution method for extended computation tree logic ECTL. J. Applied Logic 4(2): 141-167 (2006) |
| 2005 | ||
| 2 | EE | Artie Basukoski, Alexander Bolotov: Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. TIME 2005: 195-197 |
| 2004 | ||
| 1 | EE | Alexander Bolotov, Artie Basukoski: A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME 2004: 140-147 |
| 1 | Alexander Bolotov | [1] [2] [3] [4] [5] |
| 2 | Oleg Grigoriev | [5] |
| 3 | Vasilyi Shangin | [5] |