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:
Type:  Conference Paper
Author:  Ghilezan, Silvia

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

Author(s)TitleIssue DateAppears inRank
1Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning about simply typed lambda terms1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189M33
2Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadAn optimisation of lambda type assignments via resource control2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22M34