Autori: Marinkovic Bojan B
| Naslov | Federating Digital Contact Tracing using Structured Overlay Networks (Article) |
| Autori | Ghilezan Silvia Kasterovic Simona Liquori Luigi Marinkovic Bojan B Ognjanovic Zoran D Stefanovic Tamara |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2022), vol. 19 br. 3, str. 1261-1282 |
| Projekat | Science Fund Republic of Serbia; [6526707 AI4TrustBC] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Correctness of the Chord Protocol (Article) |
| Autori | Marinkovic Bojan B Ognjanovic Zoran D Glavan Paola Kos Anton Umek Anton |
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2020), vol. 17 br. 1, str. 141-160 |
| Projekat | Serbian Ministry of Education, Science and Technology Development, through Matemati.cki institut SANU [ON174026, III44006]; Croatian Ministry of Science and EducationMinistry of Science, Education and Sports, Republic of Croatia; Slovenian Research Agency |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| 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 | 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 | 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 |
| Naslov | A Logic with Conditional Probability Operators (Article) |
| Autori | Doder Dragan J Marinkovic Bojan B Maksimovic Petar Perovic Aleksandar M |
| Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2010), vol. 87 br. 101, str. 85-96 |
| Projekat | Ministry of Science, Republic of Serbia [144013] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
