Software Systems Engineering

Sort by Date Title

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 .

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. doi:10.4230/LIPIcs.TIME.2018.5

Enabled: Educational Network Amplifying Learning Experience (EnAbled)

Technical 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

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. doi: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. doi: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 . doi:10.1109/ICeLeTE.2013.6644351


People

Bolotov, Alexander

Principal Lecturer


Roubert, Francois

Senior Lecturer