Pregled po projektu: Formalno rasuđivanje i semantike (FORMALS) (MB: HRZZ-UIP-2017-05-9219)

1.

Logic, Language, and Security / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Loo, Boon Thau ; Okada, Mitsuhiro (ur.). Cham: Springer, 2020 (zbornik) doi:10.1007/978-3-030-62077-6
doi link.springer.com

Obrazovni materijali

Udžbenik

1.

Orlić Bachler, Mandi; Volarić, Ivan
Osnove računalnog programa Maxima / Malčić, Goran (ur.).
Zagreb: Tehničko veleučilište u Zagrebu, 2020

Radovi u časopisima

Znanstveni i pregledni radovi

1.

Mikec, Luka
Complexity of the interpretability logics ILW and ILP // Logic journal of the igpl, 31 (2023), 1; 194-213 doi:10.1093/jigpal/jzac042 (međunarodna recenzija, članak, znanstveni)
doi academic.oup.com
2.

Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, Luka
Theory and application of labelling techniques for interpretability logics // Mathematical logic quarterly, 68 (2022), 3; 352-374 doi:10.1002/malq.202200015 (međunarodna recenzija, članak, znanstveni)
doi onlinelibrary.wiley.com onlinelibrary.wiley.com
3.

Hatzivelkos, Aleksandar; Maretić, Marcel
Evaluating Compromise in Social Choice Functions // Journal of information and organizational sciences, 46 (2022), 2; 377-389 doi:10.31341/jios.46.2.7 (međunarodna recenzija, članak, znanstveni)
Pristup cjelovitom tekstu rada doi jios.foi.hr
4.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Graph-Based Taxonomic Semantic Class Labeling // Future Internet, 14 (2022), 12; 383, 22 doi:10.3390/fi14120383 (međunarodna recenzija, članak, znanstveni)
Pristup cjelovitom tekstu rada doi www.mdpi.com
5.

Adlešić, Tin; Čačić, Vedran
A modern rigorous approach to stratification in NF/NFU // Logica universalis, 16 (2022), 451-468 doi:10.1007/s11787-022-00310-y (međunarodna recenzija, članak, znanstveni)
doi link.springer.com doi.org
6.

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
On the Security and Complexity of Periodic Systems // SN Computer Science, 3 (2022), 356, 22 doi:10.1007/s42979-022-01223-9 (međunarodna recenzija, članak, znanstveni)
doi rdcu.be link.springer.com
7.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Semi-Local Integration Measure of Node Importance // Mathematics, 10 (2022), 3; 1-16 doi:10.3390/math10030405 (međunarodna recenzija, članak, znanstveni)
Pristup cjelovitom tekstu rada doi www.mdpi.com
8.

Perak, Benedikt; Ban Kirigin, Tajana
Construction Grammar Conceptual Network: Coordination-based graph method for semantic association analysis // Natural Language Engineering, first view (2022), 1-31 doi:10.1017/S1351324922000274 (međunarodna recenzija, članak, znanstveni)
doi www.cambridge.org
9.

Perkov, Tin; Mikec, Luka
Tableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
doi rml.tcs.uj.edu.pl
10.

Perkov, Tin
A note on logicality of generalized quantifiers // Logica Universalis, 15 (2021), 149-152 doi:10.1007/s11787-021-00271-8 (međunarodna recenzija, članak, znanstveni)
doi link.springer.com
11.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Lexical Sense Labeling and Sentiment Potential Analysis using Corpus-Based Dependency Graph // Mathematics, 9 (2021), 12; 1449, 22 doi:10.3390/math9121449 (međunarodna recenzija, članak, znanstveni)
Pristup cjelovitom tekstu rada doi
12.

Urquiza, Abraão Aires; Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Resource and Timing Aspects of Security Protocols // Journal of Computer Security, 29 (2021), 3; 299-340 doi:10.3233/JCS-200012 (međunarodna recenzija, članak, znanstveni)
doi content.iospress.com
13.

Mikec, Luka; Vuković, Mladen
Interpretability logics and generalised veltman semantics // The Journal of symbolic logic, 85 (2020), 2; 749-772 doi:10.1017/jsl.2020.7 (međunarodna recenzija, članak, znanstveni)
doi www-cambridge-org.ezproxy.nsk.hr arxiv.org
14.

Perak, Benedikt; Ban Kirigin, Tajana
Corpus-Based Syntactic-Semantic Graph Analysis: Semantic Domains of the Concept Feeling // Rasprave Instituta za hrvatski jezik i jezikoslovlje, 46 (2020), 2; 957-996 doi:10.31724/rihjj.46.2.27 (međunarodna recenzija, prethodno priopćenje, znanstveni)
doi hrcak.srce.hr doi.org
15.

Perkov, Tin; Mikec, Luka
Existential definability of modal frame classes // Mathematical logic quarterly, 66 (2020), 316-325 doi:10.1002/malq.201900061 (međunarodna recenzija, članak, znanstveni)
doi onlinelibrary.wiley.com doi.org
16.

Mikec, Luka; Pakhomov, Fedor; Vuković, Mladen
Complexity of the interpretability logic IL // Logic journal of the igpl, 27 (2019), 1; 1-7 doi:10.1093/jigpal/jzy015 (međunarodna recenzija, članak, znanstveni)
doi academic.oup.com doi.org
17.

Hatzivelkos, Aleksandar
Borda and Plurality Comparison with Regard to Compromise as a Sorites Paradox // Interdisciplinary description of complex systems, 16 (2018), 3-B; 465-484 doi:10.7906/indecs.16.3.18 (međunarodna recenzija, članak, znanstveni)
doi hrcak.srce.hr
18.

Perkov, Tin
Abstract logical constants // Logica universalis, 12 (2018), 3-4; 341-350 doi:10.1007/s11787-018-0206-7 (međunarodna recenzija, članak, znanstveni)
doi link.springer.com

Stručni radovi

1.

Hatzivelkos, Aleksandar
Koordinatizacija kvadratne spirale // Poučak : časopis za metodiku i nastavu matematike, 21 (2020), 83; 22-28 (recenziran, članak, stručni)
Pristup cjelovitom tekstu rada
2.

Orlić Bachler, Mandi; Marohnić, Luka; Dokić, Martina
Skiciranje grafova nekih složenih trigonometrijskih funkcija // Acta Mathematica Spalatensia, 2 (2019), 47-56 doi:10.32817/amssd.2.2.6 (domaća recenzija, članak, stručni)
doi amas.pmfst.unist.hr

Drugi radovi u časopisima

1.

Hatzivelkos, Aleksandar
Točka kao decimalni separator // Poučak : časopis za metodiku i nastavu matematike, 93 (2023), 24; 37-47 (domaća recenzija, kratko priopcenje, stručni)
Pristup cjelovitom tekstu rada
2.

Perak, Benedikt
Ivana Bašić, Dokazivanje i odnos prema znanju u jeziku znanosti, Hrvatska sveučilišna naklada, Zagreb, 2020. // Suvremena lingvistika, 47 (2021), 92; 341-345 (podatak o recenziji nije dostupan, prikaz, znanstveni)
Pristup cjelovitom tekstu rada hrcak.srce.hr doi.org

Radovi u zbornicima skupova

Znanstveni radovi u zbornicima skupova

1.

Alturki, Musab A.; Ban Kirigin, Tajana; Kanovich, Max; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems // Theoretical Aspects of Computing – ICTAC 2022. Lecture Notes in Computer Science, vol 13572 / Seidl, Helmut ; Liu, Zhiming ; Pasareanu, Corina S. (ur.).
Cham: Springer, 2022. str. 96-113 doi:10.1007/978-3-031-17715-6_8 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi link.springer.com link.springer.com
2.

Zlatović, Sonja; Orlić Bachler, Mandi
WHICH OF THE ONLINE ELEMENTS OF OUR TEACHING SHOULD BE KEPT AFTER THE PANDEMIC // Proceedings of INTED2022 Conference
Valencia: International Academy of Technology, Education and Development, 2022. str. 7422-7431 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
www.researchgate.net
3.

Orlić Bachler, Mandi; Marohnić, Luka; Kovačić, Bojan
ANALYSIS OF STUDENTS’ OPINION ON ONLINE CLASSES AND EXAMS AT FOUR PROFESSIONAL UNDERGRADUATE STUDIES // ISCSS Conference Proceedings 2021
Albena, Bugarska, 2021. str. 345-352 (poster, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Pristup cjelovitom tekstu rada
4.

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
On the Complexity of Verification of Time-Sensitive Distributed Systems // Protocols, Strands, and Logic. Lecture Notes in Computer Science, vol 13066 / Dougherty, Daniel ; Meseguer, José ; Mödersheim, Sebastian Alexander ; Rowe, Paul (ur.).
Haifa, Izrael: Springer, 2021. str. 251-275 doi:10.1007/978-3-030-91631-2_14 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi link.springer.com
5.

Perak, Benedikt; Ban Kirigin, Tajana
Dependency-based Labeling of Associative Lexical Communities // Proceedings of the Central European Conference on Information and Intelligent Systems / Vrček, Neven ; Pergler, Elisabeth ; Grd, Petra (ur.).
Varaždin: Faculty of Organization and Informatics, 2021. str. 34-42 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
archive.ceciis.foi.hr ceciis.foi.hr
6.

Hatzivelkos, Aleksandar
Axiomatic approach to the notion of compromise // Proceedings of the 21st International Conference on Group Decision and Negotiation / Fang, Liping ; Morais, Danielle Costa ; Horita, Masahide (ur.).
Toronto: Ryerson University, 2021. str. 191-203 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Pristup cjelovitom tekstu rada gdnconference.org
7.

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
On Security Analysis of Periodic Systems: Expressiveness and Complexity // ICISSP 2021 Proceedings of the 7th International Conference on Information Systems Security and Privacy / Mori, Paolo ; Lenzini, Gabriele ; Furnell, Steven (ur.).
Beč, Austrija: SCITEPRESS, 2021. str. 43-54 doi:10.5220/0010195100430054 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi www.scitepress.org
8.

Ban Kirigin, Tajana; Perak, Benedikt
There's No Time, The Problem of Conceptualising Time // Logic, Language, and Security, Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS, vol.12300 / Nigam, Vivek ; Ban Kirigin, Tajana ; Talcott, Carolyn ; Guttman, Joshua ; Kuznetsov, Stepan ; Thau Loo, Boon ; Okada, Mitsuhiro (ur.).
Cham: Springer, 2020. str. 61-68 doi:10.1007/978-3-030-62077-6_5 (ostalo, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi link-springer-com-443.webvpn.jnu.edu.cn www.springer.com
9.

Urquiza, Abraão Aires; Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Resource-Bounded Intruders in Denial of Service Attacks // 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) / Delaune, S. ; Jia, L. (ur.).
Hoboken (NJ), Sjedinjene Američke Države: Institute of Electrical and Electronics Engineers (IEEE), 2019. str. 382-396 doi:10.1109/CSF.2019.00033 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi ieeexplore.ieee.org
10.

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols // Foundations of Security, Protocols, and Equational Reasoning. Lecture Notes in Computer Science, vol 11565 / Guttman, Joshua D. ; Landwehr, Carl E. ; Meseguer, José ; Pavlovic, Dusko (ur.).
Fredericksburg (VA), Sjedinjene Američke Države: Springer, 2019. str. 192-213 doi:10.1007/978-3-030-19052-1_13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi link.springer.com
11.

Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
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 '18
New York (NY): ACM Digital Library, 2018. str. 60-71 doi:10.1145/3264888.3264895 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
doi doi.acm.org

Drugi radovi u zbornicima skupova

1.

Perkov, Tin
Logika i stvaralaštvo // Filozofija i stvaralaštvo / Krznar, Tomislav (ur.).
Zagreb: Hrvatsko filozofsko društvo ; Učiteljski fakultet Sveučilišta u Zagrebu, 2021. str. 103-108 (predavanje, domaća recenzija, cjeloviti rad (in extenso), ostalo)

Sažeci sa skupova

Sažeci u zbornicima i časopisima

1.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen
A new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni)
2.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen
A good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 22-23 (predavanje, sažetak, znanstveni)
web.math.pmf.unizg.hr imft.ftn.uns.ac.rs iuc.hr
3.

Horvat, Sebastijan
Bisimulations for generalized Veltman semantics // 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA
Zagreb, Hrvatska, 2022. str. 184-185 (poster, sažetak, znanstveni)
repozitorij.pmf.unizg.hr www.pmf.unizg.hr
4.

Adlešić, Tin; Čačić, Vedran
Formalizing assignment of types to terms in NFU. // Abstract of Contributed Talks / - , 2022, 24-25
Reykjavík, Island, 2022. str. 24-24 (predavanje, sažetak, znanstveni)
5.

Adlešić, Tin; Čačić, Vedran
Alternative axiomatization of NFU // Logic and Applications LAP 2022-Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 5-6 (predavanje, sažetak, znanstveni)
iuc.hr web.math.pmf.unizg.hr
6.

Adlešić, Tin; Čačić, Vedran
Tarski's theorem about choice and the alternative axiomatic extension of NFU // Abstract of Contributed Talks
Reykjavík, Island, 2022. str. 24-25 (predavanje, sažetak, znanstveni)
7.

Adlešić, Tin; Čačić, Vedran
A modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session
Chania, Grčka, 2022. str. 5-5 (predavanje, sažetak, znanstveni)
www.illc.uva.nl
8.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Semi-Local Integration Centrality for Complex Networks // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 58-59 (predavanje, međunarodna recenzija, sažetak, znanstveni)
Pristup cjelovitom tekstu rada imft.ftn.uns.ac.rs
9.

Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Properties of Time-Sensitive Distributed Systems: Verification and Complexity // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 27-28 (predavanje, međunarodna recenzija, sažetak, znanstveni)
Pristup cjelovitom tekstu rada imft.ftn.uns.ac.rs
10.

Hatzivelkos, Aleksandar
On p-Disapproval voting characterization // Logic and Applications 2022 Book of Abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas (ur.).
Dubrovnik: Inter University Center Dubrovnik, 2022. str. 62-63 (predavanje, međunarodna recenzija, sažetak, znanstveni)
11.

Horvat, Sebastijan
Bisimulation games for (generalized) Veltman semantics // Logic and Application 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 78-79 (predavanje, sažetak, znanstveni)
www.google.com formals.ufzg.hr www.illc.uva.nl
12.

Horvat, Sebastijan; Perkov, Tin; Vuković, Mladen
n-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni)
www.google.com formals.ufzg.hr www.illc.uva.nl
13.

Adlešić, Tin
Quine’s New foundations and paradoxes // Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 62-63 (predavanje, sažetak, stručni)
14.

Adlešić, Tin; Čačić, Vedran
Formal approach to stratification in NF/NFU // FORMALS 2021-Book of Abstract
Dubrovnik, Hrvatska, 2021. str. 5-6 (predavanje, sažetak, znanstveni)
www.google.com formals.ufzg.hr www.illc.uva.nl
15.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Implementing Sentiment Dictionary into Vader Sentiment Analyis for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 69-71 (predavanje, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs imft.ftn.uns.ac.rs
16.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Building a Sentiment Dictionary for Croatian // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 67-68 (predavanje, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs imft.ftn.uns.ac.rs
17.

Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, Benedikt
Sentiment Potential Analysis // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 64-66 (predavanje, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs imft.ftn.uns.ac.rs
18.

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Periodic Systems: Safety, Security, and Complexity // Book of Abstracts LAP 2021
Dubrovnik, Hrvatska, 2021. str. 7-8 (predavanje, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs imft.ftn.uns.ac.rs
19.

Urquiza, Abraão Aires; Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Modelling Resource and Timing Aspects of Security Protocols // Book of Abstracts LAP 2020
Dubrovnik, Hrvatska, 2020. str. 4-6 (ostalo, međunarodna recenzija, sažetak, znanstveni)
drive.google.com imft.ftn.uns.ac.rs
20.

Hatzivelkos, Aleksandar
Axiomatic modelling of notion of compromise in social choice theory // Logic and Application Book of Abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas (ur.).
Dubrovnik: Inter University Center Dubrovnik,, 2020. str. 44-45 (predavanje, međunarodna recenzija, sažetak, znanstveni)
21.

Horvat, Sebastijan
Smart labels // Logic and Applications 2019 Book of Abstracts
Dubrovnik, Hrvatska, 2019. str. 19-20 (predavanje, sažetak, znanstveni)
22.

Urquiza, Abraão Aires; Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
A Multiset Rewriting Model for the Specification and Verification of Resource and Timing Aspects of Security Protocols // Book of Abstracts LAP 2019
Dubrovnik, Hrvatska, 2019. str. 8-10 (ostalo, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs
23.

Hatzivelkos, Aleksandar; Stojanović, Branimir
Minimization of the d-measure of divergence from the compromise // Book of Abstracts of the 8-th International Conference on Logic and Applications - LAP 2019 / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas (ur.).
Dubrovnik: Inter University Centre Dubrovnik, 2019. str. 17-18 (predavanje, međunarodna recenzija, sažetak, znanstveni)
24.

Perak, Benedikt
Stvaranje i analiza korpusa parlamentarnih debata // 4. simpozij SCIMETH: Digitalni alati i resursi u jezikoslovlju
Rijeka, 2019. str. 1-2 (plenarno, domaća recenzija, sažetak, ostalo)
25.

Perak, Benedikt
Korpusno istraživanje sintaktičko-semantičkih struktura emocionalnih kategorija // STRUČNO I ZNANSTVENO SAVJETOVANJE ZA LEKTORE HRVATSKOGA KAO INOGA JEZIKA
Zagreb, 2019. str. 1-1 (plenarno, podatak o recenziji nije dostupan, sažetak, znanstveni)
26.

Perak, Benedikt
Emocije u korpusima: Konstrukcijska gramatika i graf metode analize izražavanja emotivnih kategorija // Zagrebačka slavistička škola - 48. hrvatski seminar za strane slaviste / Pišković, Tatjana (ur.).
Dubrovnik, 2019. str. 1-2 (plenarno, podatak o recenziji nije dostupan, sažetak, ostalo)
Pristup cjelovitom tekstu rada
27.

Perkov, Tin
Formalizations of social choice theory in modal logic // Book of Abstracts, Logic and Applications (LAP 2018), Formal Reasoning and Semantics (FORMALS 2018), Dubrovnik, 24-28. 9. 2018
Dubrovnik, Hrvatska, 2018. str. 59-60 (predavanje, sažetak, ostalo)
imft.ftn.uns.ac.rs
28.

Perak, Benedikt; Ban Kirigin, Tajana
Corpus-based approach to the extraction of the emotional concepts and their ontological relations using the natural language logic operators // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 57-58 (predavanje, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs
29.

Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Statistical Model Checking in the Analysis of Distance- bounding Protocols // Book of Abstracts
Dubrovnik, Hrvatska, 2018. str. 24-26 (predavanje, međunarodna recenzija, sažetak, znanstveni)
imft.ftn.uns.ac.rs

Druga sudjelovanja na skupovima

1.

Hatzivelkos, Aleksandar
Total optimization of the divergence from the compromise // European Public Choice Society 2022
Braga, Portugal, 2022. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni)
2.

Perak, Benedikt
Modelling the Semantic Relations Within Texts Using the UD NLP Tools for Syntactic Parsing, Neo4j Graph Database for Storing and igraph for Network Analysis // Graph Technologies in the Humanities 2020
Beč, 2020. str. - (predavanje, međunarodna recenzija, pp prezentacija, znanstveni)
f.hypotheses.org uniri-my.sharepoint.com
3.

Perak, Benedikt; Ban Kirigin, Tajana
Combining the conceptual with social network analysis: Usage based frame analysis of the concepts // 2nd workshop Formal Reasoning and Semantics (FORMALS 2019)
Zagreb, Hrvatska, 2019. 1, 2 (predavanje, domaća recenzija, neobjavljeni rad, znanstveni)
formals.ufzg.hr
4.

Perak, Benedikt
Croatian Parliamentary Debates Network Analysis of the Conceptualized Emotion Categories // WAB 2019 - Words as a Battlefield: Persuasion in Contemporary Political and Media Discourse
Maribor, Slovenija, 2019. (predavanje, podatak o recenziji nije dostupan, ostalo, znanstveni)
Pristup cjelovitom tekstu rada
5.

Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Specifying and verifying timing aspects of security protocols // 2nd workshop Formal Reasoning and Semantics (FORMALS 2019)
Zagreb, Hrvatska, 2019. (predavanje, domaća recenzija, neobjavljeni rad, znanstveni)
6.

Perak, Benedikt
EuroParliament Corpus Analysis // DH Hackaton 2019
Helsinki, Finska, 2019. (radionica, recenziran, sažetak, ostalo)
armacad.info
7.

Alturki, M.A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols // Workshop on Foundations of Computer Security 2018
Oxford, Ujedinjeno Kraljevstvo, 2018. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni)
www.andrew.cmu.edu

Prošireni sažeci u zbornicima i časopisima

1.

Hatzivelkos, Aleksandar; Maretić, Marcel
A Note about Disapproval Voting // Logic and Applications 2021 Book of Abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas (ur.).
Dubrovnik: Inter University Center Dubrovnik, 2021. str. 75-77 (predavanje, međunarodna recenzija, prošireni sažetak, ostalo)
imft.ftn.uns.ac.rs

Kratka priopćenja u zbornicima i časopisima

1.

Mas Rovira, Jan; Mikec, Luka; Joosten, Joost J.
Generalised Veltman semantics in Agda // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 86-90 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
www.helsinki.fi
2.

Mikec, Luka; Joosten, Joost J.; Vuković, Mladen
A W-flavoured series of interpretability principles // Short Papers Advances in Modal Logic 2020
Helsinki, Finska, 2020. str. 60-64 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
www.helsinki.fi
2.

Perak, Benedikt; Ban Kirigin, Tajana
ConGraCNet 0.3: Corpus-based graph syntactic- semantic relations analysis // Book of Abstracts LAP 2020
Dubrovnik, 2020. str. 53-54 (predavanje, međunarodna recenzija, prošireni sažetak, znanstveni)
drive.google.com imft.ftn.uns.ac.rs
3.

Mikec, Luka; Perkov, Tin
Existentially valid formulas corresponding to some normal modal logics // Advances in Modal Logic 2018, Booklet of Short Papers
Bern, 2018. str. 76-80 (predavanje, međunarodna recenzija, kratko priopćenje, znanstveni)
Pristup cjelovitom tekstu rada www.aiml2018.unibe.ch
3.

Hatzivelkos, Aleksandar
Mathematical model for notion of compromise in social choice theory // Logic and Applications (LAP 2018) Book of Abstracts / Šikić, Zvonimir ; Scedrov, Andre ; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas (ur.).
Dubrovnik: Inter University Centre Dubrovnik, 2018. str. 50-52 (predavanje, recenziran, prošireni sažetak, znanstveni)
imft.ftn.uns.ac.rs