Pregled po projektu: Formalno rasuđivanje i semantike (FORMALS) (MB: HRZZ-UIP-2017-05-9219)
Pronađeno 78 radova
-
1.Hatzivelkos, AleksandarTočka kao decimalni separator // Poučak : časopis za metodiku i nastavu matematike, 93 (2023), 24; 37-47 (domaća recenzija, kratko priopcenje, stručni)
-
2.Mikec, LukaComplexity 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)
-
3.Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, LukaTheory 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)
-
4.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni) -
5.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA 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) -
6.Horvat, SebastijanBisimulations for generalized Veltman semantics // 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA
Zagreb, Hrvatska, 2022. str. 184-185 (poster, sažetak, znanstveni) -
7.Adlešić, Tin; Čačić, VedranFormalizing 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) -
8.Adlešić, Tin; Čačić, VedranAlternative axiomatization of NFU // Logic and Applications LAP 2022-Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 5-6 (predavanje, sažetak, znanstveni) -
9.Adlešić, Tin; Čačić, VedranTarski'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) -
10.Adlešić, Tin; Čačić, VedranA 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) -
11.Hatzivelkos, Aleksandar; Maretić, MarcelEvaluating 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)
-
12.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktGraph-Based Taxonomic Semantic Class Labeling // Future Internet, 14 (2022), 12; 383, 22 doi:10.3390/fi14120383 (međunarodna recenzija, članak, znanstveni)
-
13.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktSemi-Local Integration Centrality for Complex Networks // Book of Abstracts LAP 2022
Dubrovnik, 2022. str. 58-59 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
14.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynProperties 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) -
15.Hatzivelkos, AleksandarOn 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) -
16.Adlešić, Tin; Čačić, VedranA 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)
-
17.Alturki, Musab A.; Ban Kirigin, Tajana; Kanovich, Max; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynOn 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) -
18.Alturki, Musab A.; Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, CarolynOn 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)
-
19.Hatzivelkos, AleksandarTotal optimization of the divergence from the compromise // European Public Choice Society 2022
Braga, Portugal, 2022. (predavanje, međunarodna recenzija, neobjavljeni rad, znanstveni) -
20.Zlatović, Sonja; Orlić Bachler, MandiWHICH 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) -
21.Ban Kirigin, Tajana; Bujačić Babić, Sanda; Perak, BenediktSemi-Local Integration Measure of Node Importance // Mathematics, 10 (2022), 3; 1-16 doi:10.3390/math10030405 (međunarodna recenzija, članak, znanstveni)
-
22.Perak, Benedikt; Ban Kirigin, TajanaConstruction 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)
-
23.Horvat, SebastijanBisimulation games for (generalized) Veltman semantics // Logic and Application 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 78-79 (predavanje, sažetak, znanstveni) -
24.Horvat, Sebastijan; Perkov, Tin; Vuković, Mladenn-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni) -
25.Adlešić, TinQuine’s New foundations and paradoxes // Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 62-63 (predavanje, sažetak, stručni)
