Software Systems Engineering

Group leaderDr Alexander Bolotov
Sort by Date Title

Intelligent Machines, Collectives, and Moral Responsibility

Journal article

Courtenage, S. 2024. Intelligent Machines, Collectives, and Moral Responsibility. AI and Ethics. 4, pp. 485-498. https://doi.org//10.1007/s43681-023-00285-6

Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models

Journal article

Bolotov, A., Garcia-Closas, M., Lucio, P. and Abuin, A. 2023. Tableaux and Sequent Calculi for CTL and ECTL: Satisfiability Test with Certifying Proofs and Models. Journal of Logical and Algebraic Methods in Programming. 130 100828. https://doi.org/10.1016/j.jlamp.2022.100828

The Digital Health Evidence Generator

Project report

Bolotov, A., Volpi, E. and Chan You Fee, D. 2022. The Digital Health Evidence Generator. University of Westminster. https://doi.org/10.34737/w6866

Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes

Conference paper

Yerashenia, N., Chan You Fee, D. and Bolotov, A. 2022. Developing a Generic Predictive Computational Model using Semantic data Pre-Processing with Machine Learning Techniques and its application for Stock Market Prediction Purposes. 24th IEEE International Conference on Business Informatics (IEEE CBI 2022). Amsterdam 15 - 17 Jun 2022 IEEE . https://doi.org/10.1109/CBI54897.2022.00013

On the Expressive Power of the Normal Form for Branching-Time Temporal Logics

Article

Bolotov, Alexander 2022. On the Expressive Power of the Normal Form for Branching-Time Temporal Logics. Electronic Proceedings in Theoretical Computer Science. 358, pp. 254-269. https://doi.org/10.4204/eptcs.358.19

SMARTEST - knowledge and learning repository

Online educational resource

Bolotov, A., Pierantoni, G., Chan You Fee, D., Wojtunik, D., Ivanauskaite, G., Tait, C., Makadicy, W., Wasowski, T., Kulczynska, A. and Yerashenia, N. 2020. SMARTEST - knowledge and learning repository . University of Westminster.

The Pragmatics of Modern Greek Cooking blogs

Conference paper

2020. The Pragmatics of Modern Greek Cooking blogs. Chondrogianni, M. (ed.) 13th International Conference on Greek Linguistics. London, University of Westminster ICGL13.

Proceedings of the 13th International Conference on Greek Linguistics (London 7-9/9/2017)

Book

Chondrogianni, M., Courtenage, S., Horrocks, G., Arvaniti, A. and Tsimpli, I. (ed.) 2020. Proceedings of the 13th International Conference on Greek Linguistics (London 7-9/9/2017). London Westminster Computation and Linguistics Group.

One-pass Context-based Tableaux Systems for CTL and ECTL

Conference paper

Abuin, A., Bolotov, A., Hermo, M. and Lucio, P. 2020. One-pass Context-based Tableaux Systems for CTL and ECTL. 27th International Symposium on Temporal Representation and Reasoning. Bozen-Bolzano, Italy 23 - 25 Sep 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2020.14

Science Gateways with Embedded Ontology-based E-learning Support

Conference paper

Kiss, T., Bolotov, A., Pierantoni, G., Deslauriers, J., MOSA, A., Kagialis, D., Terstyanszky, G. and Chan You Fee, D. 2020. Science Gateways with Embedded Ontology-based E-learning Support. Gesing, S., Taylor, I. and Barclay, I (ed.) 12th International Workshop on Science Gateways. On-line 10 - 11 Jun 2020 CEUR Workshop Proceedings.

Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model

Conference paper

Yerashenia, N., Bolotov, A., Chan You Fee, D. and Pierantoni, G. 2020. Semantic Data Pre-Processing for Machine Learning Based Bankruptcy Prediction Computational Model. 22nd IEEE International Conference on Business Informatics (IEEE CBI 2020) . Antwerp, Belgium 22 - 24 Jun 2020 IEEE . https://doi.org/10.1109/CBI49978.2020.00015

Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+

Journal article

Bolotov, A., Hermo, M. and Lucio, P. 2020. Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+. Theoretical Computer Science. 813, pp. 428-451. https://doi.org/10.1016/j.tcs.2020.02.015

Creating an Intelligent System for Bankruptcy Detection: Semantic data Analysis Integrating Graph Database and Financial Ontology

Workshop item

Yerashenia, N. and Bolotov, A. 2019. Creating an Intelligent System for Bankruptcy Detection: Semantic data Analysis Integrating Graph Database and Financial Ontology. Automated Reasoning Workshop 2019: Bridging the Gap between Theory and Practice. University of Middlesex 02 - 03 Sep 2019 Middlesex University.

Towards Certified Model Checking for PLTL using One-pass Tableaux

Conference paper

Abuin, A., Bolotov, A., de Cerio, U., Hermo, M. and Lucio, P. 2019. Towards Certified Model Checking for PLTL using One-pass Tableaux. 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Malaga, Spain 16 - 19 Oct 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. https://doi.org/10.4230/LIPIcs.TIME.2019.12

Fostering Creativity via Technoself Enhanced Learning with Emerging Technologies

Conference paper

Jin, L. and Forrest, K. 2019. Fostering Creativity via Technoself Enhanced Learning with Emerging Technologies. 11th Annual International Conference on Education and New Learning Technologies. Palma de Mallorca, Spain 01 - 03 Jul 2019 IATED Academy. https://doi.org/doi:10.21125/edulearn.2019

Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology

Conference paper

Yerashenia, N. and Bolotov, A. 2019. Computational Modelling for Bankruptcy Prediction: Semantic data Analysis Integrating Graph Database and Financial Ontology. 21st IEEE Conference on Business Informatics. Moscow, Russian Federation 15 - 17 Jul 2019 IEEE . https://doi.org/10.1109/CBI.2019.00017

EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths

Conference paper

Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. EnAbled: A Psychology Profile based Academic Compass to Build and Navigate Students' Learning Paths. EC-TEL Practitioner Proceedings 2018: 13th European Conference On Technology Enhanced Learning. Leeds, UK 03 - 06 Sep 2018 CEUR.

Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach

Conference paper

Bolotov, A., Hermo, M. and Lucio, P. 2018. Extending fairness expressibility of ECTL+: a tree-style one-pass tableau approach. 25th International Symposium on Temporal Representation and Reasoning, TIME-2018. Warsaw, Poland 15 - 17 Oct 2018 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.TIME.2018.5

Enabled: Educational Network Amplifying Learning Experience (EnAbled)

Report

Bolotov, A., Pierantoni, G., Wisudha, A., Abduraimova, Z. and Chan You Fee, D. 2018. Enabled: Educational Network Amplifying Learning Experience (EnAbled).

Paracomplete logic Kl: natural deduction, its automation, complexity and applications

Journal article

Bolotov, A., Kozhemiachenko, D. and Shangin, V. 2018. Paracomplete logic Kl: natural deduction, its automation, complexity and applications. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 5 (1), pp. 221-261.

The Pragmatics of the Modern Greek Segmental Markers

Conference paper

Chondrogianni, M. 2017. The Pragmatics of the Modern Greek Segmental Markers. Georgakopoulos, T. (ed.) 12th International Conference on Greek Linguistics (ICGL12). Berlin 16 - 19 Sep 2015 Edition Romiosini/CeMoG.

On the Complexity of the Natural Deduction Proof Search Algorithm

Conference paper

Bolotov, A., Shangin, V. and Kozhemiachenko, D. 2017. On the Complexity of the Natural Deduction Proof Search Algorithm. ARW2017 - 24th Automated Reasoning Workshop. Bristol 03 - 04 Apr 2017 University of Bristol Technical Report.

Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩

Conference paper

Bolotov, A. and Shangin, V. 2016. Towards Generalised Proof Search for Natural Deduction Systems for logics I⟨a;b⟩. Hustadt, U. (ed.) Automated Reasoning Workshop 2016: Bridging the Gap between Theory and Practice (ARW 2016). Liverpool 19 - 20 May 2016 Automated Reasoning Workshop.

Discovering of System’s Invariants by Temporal Reasoning

Conference paper

Bolotov, A. 2016. Discovering of System’s Invariants by Temporal Reasoning. The International Conference on Innovations in Info-business and Technology (ICIIT). Colombo, Sri Lanka 04 - 04 Mar 2016 Informatics Institute of Technology.

AR-based Technoself Enhanced Learning Approach to Improving Student Engagement

Conference paper

Jin, L., Huang, W. and Wen, Z. 2016. AR-based Technoself Enhanced Learning Approach to Improving Student Engagement. 8th Annual International Conference on Education and New Learning Technologies. Barcelona, Spain 04 - 06 Jul 2016 IATED Academy. https://doi.org/10.21125/edulearn.2016.1443

“Nanostandardization” in action: implementing standardization processes in a multidisciplinary nanoparticle-based research and development project

Article

Roubert, F., Beuzelin-Ollivier, Marie-G., Hofmann-Amtenbrink, M., Hofmann, H. and Hool, A. 2016. “Nanostandardization” in action: implementing standardization processes in a multidisciplinary nanoparticle-based research and development project. NanoEthics. 10 (1), pp. 41-62. https://doi.org/10.1007/s11569-015-0248-8

Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014

Book

Bolotov, A. (ed.) 2014. Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014. IJCAR.

Natural Deduction in a Paracomplete Setting

Article

Bolotov, A. and Shangin, V. 2014. Natural Deduction in a Paracomplete Setting. Logical Investigations. 20, pp. 224-247.

Technoself Enhanced Blended Learning via Social Interaction

Conference paper

Jin, L., Porter, A. and Saunders, G. 2013. Technoself Enhanced Blended Learning via Social Interaction. The Second International Conference on E-Learning and E-Technologies in Education (ICEEE2013), 23-25 Sept, pp. 74-80, 2013. . Lodz, Poland 23 Sep 2013 IEEE . https://doi.org/10.1109/ICeLeTE.2013.6644351


Usage statistics

0 total views
0 total downloads
These values cover views and downloads from WestminsterResearch and are for the period from September 2nd 2018, when this repository was created.