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:  Conference Paper

Results 1-20 of 26 (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
3Ostojić, 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
4Dautović, Š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
5Jakš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
6Ilić 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
7Davidović, 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
8Matijević, 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
9Todorović, 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
10Kaš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
11Stefanović, 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
12Dautović, Š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
13Lehnherr, 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
14Kaš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
15Ilić 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
16Ghilezan, 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
17Stefanović, 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
18Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
19Ramljak, Dušan; Davidović, Tatjana ; Urošević, Dragan ; Jakšić Kruger, Tatjana ; Matijević, Luka ; Todorović, Milan ; Jovanović, Đorđe Combinatorial optimization for self contained blockchain: An example of useful synergy2021XLVIII International Symposium on Operational Research, SYM-OP-IS 2021, Banja Koviljača, 20-23. septembar 2021.; 267-272M33
20Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran An Epistemic Probabilistic Logic with Conditional Probabilities2021European Conference on Logics in Artificial Intelligence, JELIA 2021: Logics in Artificial Intelligence; 279-293M33