Autori: Ognjanovic Zoran D
| Naslov | Completeness theorems for sigma-additive probabilistic semantics (Article) |
| Autori | Ikodinovic Nebojsa M Ognjanovic Zoran D Perovic Aleksandar M Raskovic Miodrag D |
| Info | ANNALS OF PURE AND APPLIED LOGIC, (2020), vol. 171 br. 4, str. - |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Article) |
| Autori | Marinkovic Bojan B Glavan Paola Ognjanovic Zoran D Studer Thomas |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2019), vol. 29 br. 5, str. 803-830 |
| Projekat | Serbian Ministry of Education, Science and Technology Development through Matematicki institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske; Swiss National Science Foundation (S |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Cultural Heritage Digitization in Serbia: Standards, Policies, and Case Studies (Article) |
| Autori | Ognjanovic Zoran D Marinkovic Bojan B Segan-Radonjic Marija Maslikovic Dejan |
| Info | SUSTAINABILITY, (2019), vol. 11 br. 14, str. - |
| Projekat | Ministarstvo prosvete, nauke i tehnoloskog razvoja (Ministry of Education, Science and Technological Development of RS) [iii44006]; Ministarstvo kulture i informisanja (Ministry of Culture and Information of RS) |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Proving properties of the Chord protocol using the ASM formalism (Article) |
| Autori | Marinkovic Bojan B Glavan Paola Ognjanovic Zoran D |
| Info | THEORETICAL COMPUTER SCIENCE, (2019), vol. 756 br. , str. 64-93 |
| Projekat | Serbian Ministry of Education and Science through Matematicki institut SAND [ON174026, 11144006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities (Proceedings Paper) |
| Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
| Info | SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, (2017), vol. 10369 br. , str. 491-500 |
| Projekat | SNSF [200021_165549]; Serbian Ministry of Education and Science [ON174026, III44006, ON174008] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Probabilistic Logics with Independence and Confirmation (Article) |
| Autori | Doder Dragan J Ognjanovic Zoran D |
| Info | STUDIA LOGICA, (2017), vol. 105 br. 5, str. 943-969 |
| Projekat | National Research Fund (FNR) of Luxembourg through project PRIMAT; Serbian Ministry of Education and Science through Mathematical Institute of Serbian Academy of Sciences and Arts [ON174026, III44006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Leibniz, a Sorb (Editorial Material) |
| Autori | Huylebrouck Dirk Ognjanovic Zoran D Radovic Ljiljana M |
| Info | MATHEMATICAL INTELLIGENCER, (2017), vol. 39 br. 3, str. 53-55 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Logics with lower and upper probability operators (Article) |
| Autori | Savic Nenad Doder Dragan J Ognjanovic Zoran D |
| Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2017), vol. 88 br. , str. 148-168 |
| Projekat | National Research Fund (FNR) of Luxembourg through project PRIMAT; National Research Fund (FNR) of Luxembourg through Swiss National Science Foundation grant [200021_165549]; Serbian Ministry of Education and Science [ON174026, III44006, ON174008] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Correctness of the Chord Protocol (Proceedings Paper) |
| Autori | Marinkovic Bojan B Ognjanovic Zoran D Glavan Paola Umek Anton |
| Info | 2016 INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE INTERNET OF THINGS (IIKI), (2016), vol. br. , str. 547-552 |
| Projekat | Serbian Ministry of Education, Science and Technology Development, through Matematicki institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske |
| Ispravka | ISI/Web of Science Članak Citati: ISI/Web of Science |
| Naslov | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One (Article) |
| Autori | Tomovic Sinisa Mihaljevic Miodrag J Perovic Aleksandar M Ognjanovic Zoran D |
| Info | MATHEMATICAL PROBLEMS IN ENGINEERING, (2016), vol. br. , str. - |
| Projekat | Ministry of Education, Science and Technological Development, Serbia |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
