Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT III 044006
 
Project title
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 

Publications
(All)

Refined By:
Author:  Ognjanović, Zoran

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

Author(s)TitleIssue DateAppears inRank
1Tomović, Siniša ; Ognjanović, Zoran ; Doder, DraganA First-order Logic for Reasoning about Knowledge and Probability2-Feb-2020ACM Transactions on Computational Logic; 21(2); 16:1-16:30M22
2Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
3Doder, 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
4Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
5Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
6Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
7Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, DejanCultural heritage digitization in Serbia: Standards, policies, and case studies1-Jan-2019Sustainability (Switzerland); 11(14); 3788M22
8Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480M33
9Ilić Stepic , Angelina ; Ognjanović, Zoran Logics to formalise p-adic valued probability and their applications4-May-2018International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275M52
10Ghilezan, 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
11Doder, 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
12Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran Mathematical methods for privacy protection2018Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43M34
13Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
14Doder, Dragan; Ognjanović, Zoran Probabilistic Logics with Independence and Confirmation1-Oct-2017Studia Logica; 105(5); 943-969M22
15Savić, Nenad; Doder, Dragan; Ognjanović, Zoran Logics with lower and upper probability operators1-Sep-2017International Journal of Approximate Reasoning; 88; 148-168M21
16Ognjanović, Zoran ; Savić, Nenad; Studer, ThomasJustification logic with approximate conditional probabilities1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Workshop Logic, Rationality, and Interaction, LORI 2017, Sapporo, Japan, September 11–14, 2017, A. Baltag, J. Seligman, T. Yamada (Eds.); 10445 LNCS; 681-686M33
17Vujošević, Sandra; Novaković, Maja ; Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan Digitalizacija časopisa "Filmske sveske" (1968-1986)2017XV nacionalna konferencija Digitalizacija kulturnog nasleđa, starih zapisa iz prirodnih i društvenih nauka i digitalna humanistika; 29-29M60
18Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Umek, AntonCorrectness of the Chord Protocol20-Oct-2016Proceedings - 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; 2016 International Conference on Identification, Information and Knowledge in the Internet of Things, IIKI 2016; Beijing; China; 20 October 2016 through 21 October 2016; 547-552M33
19Tomović, Siniša ; Todorović, Milan ; Knežević, Milica ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Zdravković, Aleksandra; Marinković, Bojan ; Ognjanović, Zoran ; Stojanović, MiroljubUnapređenja Digitalne narodne biblioteke Srbije2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 22-23M60
200Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Marinković, Bojan ; Ognjanović, Zoran Predlog formata metapodataka za opis nepokretnih kulturnih dobara2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 2-2M60