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:
Date Issued:  [2020 TO 2024]
Date Issued:  2021

Results 1-15 of 15 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
1Dautović, Š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
2Lehnherr, 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
3Kaš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
4Ilić 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
5Ghilezan, 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
6Stefanović, 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
7Tomović, 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
8Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
9Ramljak, 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
10Dautović, Š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
11Stefanović, Tamara; Ghilezan, Silvia Differential Privacy and Applications202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54M34
12Stanković, 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
13Matijević, 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
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
15Ghilezan, 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