Autori: Ognjanovic Zoran D
| 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 | 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 | 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 | 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 |
| Naslov | On Evaluations of Propositional Formulas in Countable Structures (Article) |
| Autori | Perovic Aleksandar M Doder Dragan J Ognjanovic Zoran D Raskovic Miodrag D |
| Info | FILOMAT, (2016), vol. 30 br. 1, str. 1-13 |
| Projekat | Serbian Ministry of Education and Science [ON174026, III44006, III41013, TR36001]; National Research Fund (FNR) of Luxembourg through project PRIMAT |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | First steps towards probabilistic justification logic (Article) |
| Autori | Kokkinis Ioannis Maksimovic Petar Ognjanovic Zoran D Studer Thomas |
| Info | LOGIC JOURNAL OF THE IGPL, (2015), vol. 23 br. 4, str. 662-687 |
| Projekat | SNSF [153169]; Serbian Ministry of Education, Science and Technological Development [III44006, ON174026] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Analyzing the exhaustiveness of the Synapse protocol (Article) |
| Autori | Marinkovic Bojan B Ciancaglini Vincenzo Ognjanovic Zoran D Glavan Paola Liquori Luigi Maksimovic Petar |
| Info | PEER-TO-PEER NETWORKING AND APPLICATIONS, (2015), vol. 8 br. 5, str. 793-806 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through Matematicki Institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Bee colony optimization for the satisfiability problem in probabilistic logic (Article) |
| Autori | Stojanovic Tatjana P Davidovic Tatjana Ognjanovic Zoran D |
| Info | APPLIED SOFT COMPUTING, (2015), vol. 31 br. , str. 339-347 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [III044006, OI144007, OI144033, TR37013] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers (Article) |
| Autori | Ilic-Stepic Angelina V Ognjanovic Zoran D |
| Info | STUDIA LOGICA, (2015), vol. 103 br. 1, str. 145-174 |
| Projekat | Serbian ministry of education and science [III044006, ON174026] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | A propositional linear time logic with time flow isomorphic to omega(2) (Article) |
| Autori | Marinkovic Bojan B Ognjanovic Zoran D Doder Dragan J Perovic Aleksandar M |
| Info | JOURNAL OF APPLIED LOGIC, (2014), vol. 12 br. 2, str. 208-229 |
| Projekat | Serbian Ministry of Education and Science [III044006, III041103, ON174062, TR36001] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
