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:
Rank:  M34
Author:  Ghilezan, Silvia

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

Author(s)TitleIssue DateAppears inRank
1Kaš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
2Stefanović, 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
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
4Ghilezan, 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
5Stefanović, Tamara; Ghilezan, Silvia Differential Privacy and Applications202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54M34
6Stefanović, Tamara; Ghilezan, Silvia An overview of Mathematical Models of Data PrivacySep-2020Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 27-29M34