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.
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.
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.
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 .