T. Perkov, L. Mikec: Tableau-based translation from first-order logic to modal logic, Reports on Mathematical Logic 56 (2021) 57-74
T. Ban Kirigin, S. Bujačić Babić, B. Perak: Lexical sense labeling and sentiment potential analysis using corpus-based dependency graph, Mathematics 9(12) 1449 (2021) 1-22
T. Perkov: A note on logicality of generalized quantifiers, Logica Universalis 15 (2021) 149-152
A. A. Urquiza, M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: Resource and timing aspects of security protocols, Journal of Computer Security 29 (2021) 299-340
M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On security analysis of periodic systems: expressiveness and complexity, Proceedings of the 7th International Conference on Information Systems Security and Privacy – ICISSP, SciTePress Digital Library (2021) 43-54
L. Mikec, M. Vuković: Interpretability logics and generalised Veltman semantics, The Journal of Symbolic Logic 85 (2020) 749-772
T. Perkov, L. Mikec: Existential definability of modal frame classes, Mathematical Logic Quarterly 66 (2020) 316-325
B. Perak, T. Ban Kirigin: Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling, Rasprave: Časopis Instituta za hrvatski jezik i jezikoslovlje 46 (2020) 493-532
T. Ban Kirigin, B. Perak: There’s No Time, The Problem of Conceptualising Time, in: V. Nigam et al. (eds.): Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, Springer (2020) 61-68
A. Urquiza, M. AlTurki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Resource-Bounded Intruders in Denial of Service Attacks, 2019 IEEE 32nd Computer Security Foundations Symposium CSF 2019 Proceedings, IEEE Xplore Digital Library (2019) 382-396
M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols, in: J. D. Guttman et al. (eds.): Foundations of Security, Protocols, and Equational Reasoning. Essays Dedicated to Catherine A. Meadows, Springer (2019) 192-213
L. Mikec, F. Pakhomov, M. Vuković: Complexity of the interpretability logic IL, Logic Journal of the IGPL 27 (2019) 1-7
T. Perkov: Abstract logical constants, Logica Universalis 12 (2018) 341-350
A. Hatzivelkos: Borda and plurality comparison with regard to compromise as a Sorites paradox, Interdisciplinary Description of Complex Systems – INDECS 16 (2018) 465-484
M. A. Alturki, M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols, Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy (CPS-SPC), ACM Digital Library (2018) 60-71