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 24 (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
6Dautović, Š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
7Ghilezan, 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
8Kaš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
9Lehnherr, 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
10Ilić 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
11Stefanović, 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
12Tomović, 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
13Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
14Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran Automated non-monotonic reasoning in System P2021Annals of Mathematics and Artificial Intelligence; 89; 471-509~M22
15Stefanović, Tamara; Ghilezan, Silvia Differential Privacy and Applications202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54M34
16Matijević, Luka ; Stanković, Una ; Davidović, Tatjana General variable neighborhood search for the weighted scheduling problem with deadlines and release times2021XLVIII International Symposium on Operational Research, SYM-OP-IS 2021, Banja Koviljača, 20-23. septembar 2021.; 207-212M33
17Stanković, Una ; Matijević, Luka ; Davidović, Tatjana Mathematical models for the weighted scheduling problem with deadlines and release times2021XLVIII International Symposium on Operational Research, SYM-OP-IS 2021, Banja Koviljača, 20-23. septembar 2021.; 327-332M33
18Dautović, Š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
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
20Ghilezan, Silvia ; Stefanović, TamaraPrivacy-preserving contact tracing2021Webinar "Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19", Oct. 21, 2020, Niš, Serbia; Abstract Booklet; 5