logo


  • PAPERS
  • TALKS
  • WORKSHOP
  • ABOUT
  • RESEARCH GROUP


Papers

B. Perak, T. Ban Kirigin: Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis, Natural Language Engineering (2022) to appear

L. Mikec: Complexity of the interpretability logics ILW and ILP, Logic Journal of the IGPL (2022) to appear

T. Adlešić, V. Čačić: A modern rigorous approach to stratification in NF/NFU, Logica Universalis 16 (2022) 451-468

M.A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On the security and complexity of periodic systems, SN Computer Science 3 (2022) 356 (22 pages)

E. Goris, M. Bílková, J.J. Joosten, L. Mikec: Theory and application of labelling techniques for interpretability logics, Mathematical Logic Quarterly 68 (2022) 352-374

T. Ban Kirigin, S. Bujačić Babić, B. Perak: Semi-local integration measure of node importance, Mathematics 10(3) 405 (2022) 1-16

M. A. Alturki, T. Ban Kirigin, M. Kanovich, V. Nigam, A. Scedrov, C. Talcott: On the formalization and computational complexity of resilience problems for cyber-physical systems, in: H. Seidel et al. (eds.): Theoretical Aspects of Computing – ICTAC 2022, Springer (2022) 96-113

M. Kanovich, T. Ban Kirigin, V. Nigam, A. Scedrov, C. Talcott: On the complexity of verification of time-sensitive distributed systems, in: D. Dougherty et al. (eds.): Protocols, Strands, and Logic, Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday, Springer (2021) 251-275

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

Formal reasoning and semantics
UIP-2017-05-9219


Sveučilište u Zaqrebu
Sveučilište u Zaqrebu

FORMALS UIP-05-2017-9219
UFZG - 2017 Marko Gregurić