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


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
 
Start date
01-09-2020
Completion
31-08-2022
 

Publications
(All)

Results 1-20 of 32 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ć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
2Mladenović, 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
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
5Matijević, 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
6Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
7Dautović, Š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
8Ilić 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
9Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
10Lehnherr, David; Ognjanović, Zoran ; Studer, ThomasA logic of interactive proofs2022Journal of Logic and Computation; exac071~M21
11Davidović, 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
12Matijević, Luka Metaheuristic Approaches for the Green Vehicle Routing Problem2022YUJOR - The Yugoslav Journal of Operations ResearchM24
13Todorović, 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
14Dautović, Š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
15Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating Digital Contact Tracing using Structured Overlay NetworksSep-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; 28-30M34
16Kašterović, Simona; Ghilezan, Silvia Towards Logic of Combinatory LogicSep-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; 34-36M34
17Lehnherr, 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
18Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic LogicSep-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; 33M34
19Stefanović, Tamara; Ghilezan, Silvia Preserving Privacy in Caller ID Applications1-Apr-2021IFIP International Summer School on Privacy and Identity Management; Privacy and Identity Management; 151-168M33
20Tomović, 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