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)

Refined By:
Type:  Article

Results 1-12 of 12 (Search time: 0.005 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); 299~M22
3Mladenović, 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
4Dautović, Šejla A Probabilistic Logic Between LPP1 and LPP21-Jan-2022Logica Universalis~M22
5Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
6Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
7Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; 32(8); 1645-1658~M21
8Matijević, Luka Metaheuristic Approaches for the Green Vehicle Routing Problem2022YUJOR - The Yugoslav Journal of Operations ResearchM24
9Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. Analysis and Correction of the Attack against the LPN-Problem Based Authentication Protocols8-Mar-2021Mathematics; 9(5); 573~M21a
10Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran Automated non-monotonic reasoning in System P2021Annals of Mathematics and Artificial Intelligence; 89; 471-509~M22
11Mihaljević, Miodrag J. A Blockchain Consensus Protocol Based on Dedicated Time-Memory-Data Trade-Off30-Jul-2020IEEE Access; 8; 141258-141268M21
12Mihaljević, Miodrag J. Bitcoin, Blockchain Technology and Cryptography - An Illustration of Certain Issues2020Anali ogranka SANU u Novom Sadu; 41-47