Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT AI4TrustBC
 
Project title
Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-09-2020
Completion
31-08-2022
 

Publications
(All)

Results 1-20 of 37 (Search time: 0.006 seconds).

Author(s)TitleIssue DateAppears inRank
1Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA probabilistic temporal epistemic logic: Strong completeness2024Logic Journal of the IGPL; 32(1); 94-138~M21a
2Mihaljević, Miodrag J. ; Knežević, Milica ; Urošević, Dragan ; Wang, Lianhai; Xu, ShujiangAn Approach for Blockchain and Symmetric Keys Broadcast Encryption Based Access Control in IoT2023Symmetry; 15(2); 299M22
3Ćirković, Petar ; Đorđević, Predrag; Milićević, Miloš; Davidović, Tatjana Metaheuristic Approach to Spectral Reconstruction of Graphs25-Jun-2022International Conference on Mathematical Optimization Theory and Operations Research MOTOR 2022: Mathematical Optimization Theory and Operations Research; 13367; 79-93M33
4Mladenović, Nenad ; Todosijević, Raca ; Urošević, Dragan Dispersion Problem Under Capacity and Cost Constraints: Multiple Neighborhood Tabu Search25-Jun-2022International Conference on Mathematical Optimization Theory and Operations Research MOTOR 2022: Mathematical Optimization Theory and Operations Research; 13367; 108-122M33
5Mladenović, Nenad ; Todosijević, Raca ; Urošević, Dragan ; Ratli, MustaphaSolving the Capacitated Dispersion Problem with variable neighborhood search approaches: From basic to skewed VNSMar-2022Computers and Operations Research; 139; 105622~M21
6Dautović, Šejla A Probabilistic Logic Between LPP1 and LPP21-Jan-2022Logica Universalis~M22
7Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
8Ostojić, Dragutin; Davidović, Tatjana ; Jakšić Kruger, Tatjana ; Ramljak, DušanComparative Analysis of Heuristic Approaches to P||Cmax202211th International Conference on Operations Research and Enterprise Systems, ICORES 2022, (virtual), Feb. 3-5, 2022; ICORES Proceedings; 259-266M33
9Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Probabilistic-Temporal Logic with Actions202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20M34
10Jakšić Kruger, Tatjana ; Davidović, Tatjana ; Jelisavčić, Vladisav Parameter analysis of variable neighborhood search applied to multiprocessor scheduling with communication delays2022International Conference on Mathematical Optimization Theory and Operations Research, Petrozavodsk, Karelia, Russia, July 2-6, 2022; MOTOR 2022: Mathematical Optimization Theory and Operations Research: Recent Trends; 1661; 104-118M33
11Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarThe logic ILP for intuitionistic reasoning about probability202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26M34
12Davidović, Tatjana ; Todorović, Milan ; Ramljak, Dusan; Jakšić Kruger, Tatjana ; Matijević, Luka ; Jovanović, Đorđe ; Urošević, Dragan COCP: Blockchain Proof-of-Useful-Work Leveraging Real-Life Applications20222022 Fourth International Conference on Blockchain Computing and Applications (BCCA)M33
13Matijević, Luka Variable Neighborhood Search for Multi-label Feature Selection2022International Conference on Mathematical Optimization Theory and Operations Research MOTOR 2022: Mathematical Optimization Theory and Operations Research; 13367; 94-107M33
14Todorović, Milan ; Matijević, Luka Integrating Blockchain into Supply Chain Management2022XLIX International Symposium on Operational Research SYM-OP-IS 2022, Vrnjačka Banja, 19-22.09.2022.; 395-400M33
15Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; 32(8); 1645-1658~M21
16Matijević, Luka Metaheuristic Approaches for the Green Vehicle Routing Problem2022YUJOR - The Yugoslav Journal of Operations ResearchM24
17Kašterović, Simona; Ghilezan, Silvia Probabilistic Reasoning about Typed Combinatory Logic202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31M34
18Stefanović, Tamara; Ghilezan, Silvia ; Kašterović, SimonaCrypto-Covid: Privacy challenges in BlockChain and Contact Tracing202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 47-48M34
19Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Logics for Reasoning about Knowledge and Conditional ProbabilitySep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 19-21M34
20Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA Logic of Interactive ProofsSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 89-90M34