Showing results 212 to 231 of 268
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Ognjanović, Zoran ; Butigan-Vučaj, Tamara | A proposal for the national standard for describing digitized heritage | 1-Dec-2006 | 10th International Conference on Electronic Publishing, ELPUB 2006; Bansko; Bulgaria; 14 June 2006 through 16 June 2006; Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing, ELPUB 2006; 387-388 | M33 |
| Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, Aleksandar | A propositional linear time logic with time flow isomorphic to ω2 | 1-Jan-2014 | Journal of Applied Logic; 12; 208-229 | M22 |
| Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, Aleksandar | A propositional probabilistic logic with discrete linear time for reasoning about evidence | 24-Aug-2012 | Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243 | M23 |
| Tomović, Siniša ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | 1-Jan-2016 | Mathematical Problems in Engineering; 2016; 9289050:1-9289050:9 | M23 |
| Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving formal properties of the Chord protocol using Isabelle | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60 | M34 |
| Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20 | M34 |
| Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving properties of the Chord protocol using the ASM formalism | 17-Jan-2019 | Theoretical Computer Science; 756; 64-93 | M23 |
| Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Qualitative possibilities and necessities | 27-Aug-2009 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009; Verona; Italy; 1 July 2009 through 3 July 2009; 5590 LNAI; 651-662 | M23 |
| Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning About Degrees of Confirmation | 2020 | Lecture Notes in Computer Science; The 3rd International Conference on Logic and Argumentation (CLAR 2020); 12061; 80-95 | M33 |
| Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning about knowledge and conditional probability | 1-Dec-2023 | International Journal of Approximate Reasoning; 163; 109037 | ~M22 |
| Rašković, Miodrag ; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Rezonovanje o verovatnoći | 1995 | YUINFO '95, Brezovica 1995.; 227-230 | M63 |
| Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | Security evaluation of NHB# authentication protocol against a MIM attack | 2016 | The IPSI BgD Transactions on Internet Research; 12(2); 22-36 | |
| Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Todorović, Milan ; Ognjanović, Zoran ; Tomović, Siniša ; Stojanović, Vladimir; Milutinović, Veljko | Serbia forum - Digital cultural heritage portal | 1-Jan-2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Conference on Image and Signal Processing, ICISP 2014; Cherbourg; France; 30 June 2014 through 2 July 2014; 8509 LNCS; 265-271 | M33 |
| Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, Veljko | Serbia-Forum - korak ka boljoj vidljivosti digitalizovane kulturne baštine u Srbiji | 2015 | XIII Konferencija Digitalizacija nacionalne baštine i digitalna humanistika, 10.09.2015.-11.09.2015, Srbija; 7-7 | M60 |
| Ognjanović, Zoran ; Jelisavčić, Vladisav ; Mihajlović, Aleksandar; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Knežević, Milica ; Milutinović, Veljko | Serbia-forum, interaktivna i dinamička aplikacija za skupljanje, skladištenje i virtuelno predstavljanje digitalizovane nacionalne baštine Srbije | 2013 | | M84 |
| Jelisavčić, Vladisav ; Knežević, Milica ; Marinković, Bojan ; Mihajlović, Aleksandar; Ognjanović, Zoran ; Čukić, Ivan; Tomović, Siniša ; Todorović, Milan | Serbia-Forum: interaktivna platforma za predstavljanje digitalizovane nacionalne baštine u okviru evropske infrastrukture za digitalnu humanistiku CENDARI | 2014 | | M81 |
| Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran | Some applications of probabilistic first-order logics | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 25-26 | M34 |
| Ognjanović, Zoran ; Rašković, Miodrag | Some first-order probability logics | 28-Sep-2000 | Theoretical Computer Science; 247(1-2); 191-212 | M23 |
| Stojanović, Tatjana; Ikodinović, Nebojša; Davidović, Tatjana ; Ognjanović, Zoran | Some optimization methods for non-monotonic Reasoning in System P | 2018 | XIV Serbian Mathematical Congress (14SMAK 2018), Faculty of Science, University of Kragujevac 16-19.5.2018 | M34 |
| Ognjanović, Zoran ; Rašković, Miodrag | Some probability logics with new types of probability operators | 1-Jan-1999 | Journal of Logic and Computation; 9(2); 181-195 | M21 |
