Advanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174008
 
Project title
Advanced Techniques of Cryptology, Image Processing and Computational Topology for Information Security
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

Funding Program
Directorate for Education & Human Resources
 
OA Mandate
 
Currency
EUR
 

Publications
(All)

Refined By:
Subject:  Completeness theorem | Decidability | Probabilistic logic | Upper and lower probabilities

Results 1-2 of 2 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities1-Jan-2020Journal of Logic, Language and Information; 29; 77-107M21
2Doder, Dragan; Savić, Nenad; Ognjanović, Zoran A decidable multi-agent logic with iterations of upper and lower probability operators1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018; Budapest; Hungary; 14 May 2018 through 18 May 2018; 10833 LNCS; 170-185M33