Software Systems Engineering

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

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

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

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

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

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.

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

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.

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

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.

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

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

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.

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

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

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

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.

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

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

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.

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.

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.

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.

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.

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

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

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.

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

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