Alexander Bolotov

43 papers A 1B 4C 9Journal 13Unranked 15

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification. DATE Josu Oca, Montserrat Hermo, Alexander Bolotov
2024	B	`conf`	Applications Model: A High-Level Design Model for Rich Web-Based Applications. ENASE Nalaka R. Dissanayake, Alexander Bolotov
2023	J	`jnl`	Revisiting the specification decomposition for synthesis based on LTL solvers. CoRR Josu Oca, Montserrat Hermo, Alexander Bolotov
2023	J	`jnl`	Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. J. Log. Algebraic Methods Program. Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2023	J	`jnl`	Toward a reference architecture based science gateway framework with embedded e-learning support. Concurr. Comput. Pract. Exp. Gabriele Pierantoni, Tamás Kiss, Alexander Bolotov, Dimitrios Kagialis, James Deslauriers, Amjad Ullah, Huankai Chen, David Chan You Fee, Hai-Van Dang, József Kovács, Anna Belehaki, Themistocles Herekakis, Ioanna Tsagouri, Sandra Gesing
2022	—	`conf`	Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. CBI (1) Natalia Yerashenia, David Chan You Fee, Alexander Bolotov
2022	—	`conf`	On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. NCL Alexander Bolotov
2020	J	`jnl`	Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Theor. Comput. Sci. Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2020	C	`conf`	One-Pass Context-Based Tableaux Systems for CTL and ECTL. TIME Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2020	—	`conf`	Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. CBI (1) Natalia Yerashenia, Alexander Bolotov, David Chan You Fee, Gabriele Pierantoni
2019	—	`conf`	Computational Modelling for Bankruptcy Prediction: Semantic Data Analysis Integrating Graph Database and Financial Ontology. CBI (1) Natalia Yerashenia, Alexander Bolotov
2019	C	`conf`	Towards Certified Model Checking for PLTL Using One-Pass Tableaux. TIME Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio
2018	—	`conf`	EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. EC-TEL (Practitioner Proceedings) Alexander Bolotov, Gabriele Pierantoni, Ayleen Wisudha, Zebokhon Abduraimova, David Chan You Fee
2018	C	`conf`	Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. TIME Alexander Bolotov, Montserrat Hermo, Paqui Lucio
2018	J	`jnl`	Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. FLAP Alexander Bolotov, Daniil Kozhemiachenko, Vasilyi Shangin
2017	—	`conf`	Message from SETA 2017 Program Chairs. COMPSAC (1) Hridesh Rajan, Alexander Bolotov, Chang Xu
2014	B	`conf`	Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. COMPSAC Alexander Bolotov, Vasilyi Shangin
2012	J	`jnl`	Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. J. Intell. Syst. Alexander Bolotov, Vasilyi Shangin
2011	—	`conf`	Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. SSIRI (Companion) Alexander Bolotov
2011	—	`conf`	Natural Deduction System in Paraconsistent Setting: proof search for PCont. IICAI Alexander Bolotov, Vasilyi Shangin
2009	—	`conf`	Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus. IICAI Alexander Bolotov, Alessandro Basso, Oleg M. Grigoriev
2009	—	`conf`	Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment. SSIRI Alessandro Basso, Alexander Bolotov, Vladimir Getov
2007	—	`conf`	A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. IICAI Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2007	C	`conf`	Automated Natural Deduction for Propositional Linear-Time Temporal Logic. TIME Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2007	—	`conf`	Towards gcm re-configuration - extending specification by norms. CoreGRID Workshop - Making Grids Work Alessandro Basso, Alexander Bolotov
2006	J	`jnl`	A clausal resolution method for branching-time logic ECTL Ann. Math. Artif. Intell. Alexander Bolotov, Artie Basukoski
2006	J	`jnl`	A clausal resolution method for extended computation tree logic ECTL. J. Appl. Log. Alexander Bolotov, Artie Basukoski
2006	—	`conf`	Natural Deduction Calculus for Computation Tree Logic. John Vincent Atanasoff Symposium Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin
2006	B	`conf`	Natural Deduction Calculus for Linear-Time Temporal Logic. JELIA Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin
2005	J	`jnl`	Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. Clare Dixon, Alexander Bolotov, Michael Fisher
2005	—	`conf`	Automated First Order Natural Deduction. IICAI Alexander Bolotov, Vyacheslav Bocharov, Alexander Gorchakov, Vasilyi Shangin
2005	C	`conf`	Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. TIME Artie Basukoski, Alexander Bolotov
2004	C	`conf`	A Clausal Resolution Method for Branching-Time Logic ECTL+. TIME Alexander Bolotov, Artie Basukoski
2003	C	`conf`	A Clausal Resolution Method for Extended Computation Tree Logic ECTL. TIME Alexander Bolotov
2002	J	`jnl`	Clausal resolution in a logic of rational agency. Artif. Intell. Clare Dixon, Michael Fisher, Alexander Bolotov
2002	J	`jnl`	On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. Alexander Bolotov, Michael Fisher, Clare Dixon
2000	—	`conf`	Automata on Infinite Words and Temporal Logic Normal Forms. ARW Alexander Bolotov
2000	—	`—`	Clausal resolution for branching-time temporal logic. Alexander Bolotov
2000	C	`conf`	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME Alexander Bolotov, Clare Dixon
1999	J	`jnl`	A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. Alexander Bolotov, Michael Fisher
1999	B	`conf`	Clausal Resolution for CTL MFCS Alexander Bolotov, Clare Dixon, Michael Fisher
1998	J	`jnl`	Case-based reasoning for medical decision support tasks: The Inreca approach. Artif. Intell. Medicine Klaus-Dieter Althoff, Ralph Bergmann, Stefan Wess, Michel Manago, Eric Auriol, Oleg I. Larichev, Alexander Bolotov, Yurii I. Zhuravlev, Serge I. Gurov
1997	C	`conf`	A Resolution Method For CTL Branching-Time Temporal Logic. TIME Alexander Bolotov, Michael Fisher