Ognjanović, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 21-40 of 141 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
21Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Logical Framework for Proving the Correctness of the Chord Protocol20187th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31M34
22Todorović, 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
23Ghilezan, 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
24Ognjanović, 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
25Savić, Nenad; Doder, Dragan; Ognjanović, Zoran A first-order logic for reasoning about higher-order upper and lower probabilities1-Jan-2017Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017; Lugano; Switzerland; 10 July 2017 through 14 July 2017; 10369 LNAI; 491-500M33
26Ilić Stepić, Angelina ; Ognjanović, Zoran A Probability Logic for Reasoning About Quantum Observations20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 21-22M34
27Doder, Dragan; Ognjanović, Zoran A probabilistic temporal logic with countably additive semantics20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 10-10M34
28Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20M34
29Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan Matematicki metodi i zastita privatnosti2017Privatnost u digitalnom dobu: iluzija ili nacionalni izazovM60
30Vujoš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
31Marinković, 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
32Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, ThomasProbabilistic justification logic1-Jan-2016Lecture 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 2016; Deerfield Beach; United States; 4 January 2016 through 7 January 2016; 9537; 174-186M33
33Ognjanović, Zoran An Introduction to Logics with Probability Operators2016The Swiss Society for Logic and Philosophy of Science SSLPS Annual Meeting, Bern, Switzerland, Friday, October 28, 2016M32
34Tomović, 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
35Arsić, 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
36Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning in type systems20165th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24M34
37Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about lambda terms with intersection types2016The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016M34
38Zdravković, Aleksandra; Tomović, Siniša ; Todorović, Milan ; Jelisavčić, Vladisav ; Šegan-Radonjić, Marija ; Vujošević, Sandra; Arsić, Aleksandra ; Marinković, Bojan ; Ognjanović, Zoran ; Cukić, Radovan; Vasiljević, Marija; Vlajić, AdaVizuelni arhiv Jugoslavija – Digitalizacija fotograđe Muzeja istorije Jugoslavije2016XIV Konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih i društvenih nauka i digitalna humanistika; 25-25M60
39Ilić Stepić, Angelina ; Ognjanović, Zoran Modal Quantum logic with probability2016Šesta nacionalna konferencija: Verovatnosne logike i njihove primene; 20-20M60
40Šegan-Radonjić, Marija ; Vujošević, Sandra; Arsić, Aleksandra ; Knežević, Milica ; Jelisavčić, Vladisav ; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Ognjanović, Zoran Digitalizacija dokumenata o spoljnoj politici Kraljevine Srbije (1903-1914)2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 18-18M60

Projects


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

AcronymTitleStart dateCompletionP-Investigator
PROJECT III 044006Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education01-01-201131-12-2019Ognjanović, Zoran
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran