| 2024 | DATE | A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. | Josu Oca, Montserrat Hermo, Alexander Bolotov |
| 2024 | ENASE | Applications Model: A High-Level Design Model for Rich Web-Based Applications. | Nalaka R. Dissanayake, Alexander Bolotov |
| 2020 | TIME | One-Pass Context-Based Tableaux Systems for CTL and ECTL. | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2019 | TIME | Towards Certified Model Checking for PLTL Using One-Pass Tableaux. | Alex Abuin, Alexander Bolotov, Unai Daz-de-Cerio, Montserrat Hermo, Paqui Lucio |
| 2018 | TIME | Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. | Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2017 | COMPSAC | Message from SETA 2017 Program Chairs. | Hridesh Rajan, Alexander Bolotov, Chang Xu |
| 2014 | COMPSAC | Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. | Alexander Bolotov, Vasilyi Shangin |
| 2007 | TIME | Automated Natural Deduction for Propositional Linear-Time Temporal Logic. | Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin |
| 2006 | JELIA | Natural Deduction Calculus for Linear-Time Temporal Logic. | Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin |
| 2005 | TIME | Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. | Artie Basukoski, Alexander Bolotov |
| 2004 | TIME | A Clausal Resolution Method for Branching-Time Logic ECTL+. | Alexander Bolotov, Artie Basukoski |
| 2003 | TIME | A Clausal Resolution Method for Extended Computation Tree Logic ECTL. | Alexander Bolotov |
| 2000 | TIME | Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. | Alexander Bolotov, Clare Dixon |
| 1999 | MFCS | Clausal Resolution for CTL | Alexander Bolotov, Clare Dixon, Michael Fisher |
| 1997 | TIME | A Resolution Method For CTL Branching-Time Temporal Logic. | Alexander Bolotov, Michael Fisher |