Showing results 21 to 40 of 57
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Zeljić, Aleksandar; Glavan, Paola | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | 2013 | The first national conference “Information theory and complex systems”; 16-16 | M64 |
Arsić, Aleksandra ; Zdravković, Aleksandra; Todorović, Milan ; Tomović, Siniša ; Jelisavčić, Vladisav ; Marinković, Bojan ; Knežević, Milica ; Stojanović, Miroljub; Đurković Đorđević, Ivana | Improving the Digital National Library of Serbia | 2017 | Pregled Nacionalnog centra za digitalizaciju; 30; 40-45 | M53 |
Šegan-Radonjić, Marija ; Vujošević, Sandra; Zdravković, Aleksandra; Knežević, Milica ; Jelisavčić, Vladisav ; Tomović, Siniša ; Todorović, Milan ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, Veljko | Informaciono-komunikacione platforme za predstavljanje digitalizovane baštine u Matematičkom institutu SANU | 2014 | Usluga po meri korisnika 21. veka : Primena informaciono-komunikacionih tehnologija u bibliotekama | M60 |
Marinković, Bojan | Interconnection of Heterogeneous Overlay Networks: Definition, Formalization and Applications | 2014 | doctoral thesis: Fakultet tehhničkih nauka, Univerzitet u Novom Sadu | M70 |
Krapež, Aleksandar ; Marinković, Bojan | Isotopy invariant quasigroup identities | 1-Jan-2016 | Commentationes Mathematicae Universitatis Carolinae; 57(4); 537-547 | |
Krapež, Aleksandar ; Marinković, Bojan | Isotopy invariant quasigroup identities | 2015 | LOOPS 2015 : LOOPS'15 The International Mathematical Conference on Quasigroups and Loops; Ohrid, Macedonia; Jun 28, 2015 - Jul 4, 2015; 19-29 | M30 |
Mihaljević, Miodrag J. ; Marinković, Bojan ; Zdravković, Aleksandra; Vujošević, Sandra | Izgradnja osnova za kastomizovanu informaciono-komunikacionu infrastrukturu za pametna električna brojila | 2016 | | M80 |
Mihaljević, Miodrag J. ; Korać, Vanja ; Todorović, Milan ; Marinković, Bojan | Kastomizovani metod i softfer za federativno upravljanje identitetima FIM (Federated Identity Management) | 2016 | | M85 |
Marinković, Bojan ; Ognjanović, Zoran ; Šegan-Radonjić, Marija ; Milojković, Nevena; Jakšić Kruger, Tatjana | Katalog digitalnih kolekcija kulturne i naučne baštine Srbije | 2011 | | M85 |
Doder, Dragan; Marinković, Bojan ; Maksimović, Petar; Perović, Aleksandar | A logic with conditional probability operators | 14-Oct-2010 | Publications de l'Institut Mathematique; 87(101); 85-96 | M24 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Logical Framework for Proving the Correctness of the Chord Protocol | 2018 | 7th international conference Logic and Applications LAP 2018, Dubrovnik, Croatia, September 24-28, 2018; 29-31 | M34 |
Mihaljević, Miodrag J. ; Marković, M.; Marković, Zoran ; Ognjanović, Zoran ; Perišić, Z.; Marinković, Bojan ; Korać, Vanja | Metodološke, organizacione i normativne komponente za sistem upravljanja bezbednošću informacija u Telekomu Srbija | 2006 | | M80 |
Ognjanović, Zoran ; Todorović, Milan ; Tomović, Siniša ; Lazarević, Sandra; Šegan-Radonjić, Marija ; Marinković, Bojan ; Jelisavčić, Vladisav ; Korać, Vanja ; Aćimović, Dragan; Kuzmanović Cvetković, Julka | Napredno rešenje za 3D-digitalizaciju i predstavljanje 3D-kulturnih dobara i nepokretnih spomenika kulture | 2017 | | M82 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | NCD recommendation for the national standard for describing digitized heritage in Serbia | 1-Dec-2009 | Metadata and Semantics; 45-54 | M14 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | NCD Recommendation for the National Standard for Describing Digitized Heritage in Serbia | 2007 | 2nd International Conference on Metadata and Semantics Research (CD-ROM), Ionian Academy, Corfu, Greece, 2007.; 1-16 | M33 |
Arsić, Aleksandra ; Šegan-Radonjić, Marija ; Marinković, Bojan ; Ognjanović, Zoran | Predlog formata metapodataka za opis nepokretnih kulturnih dobara | 2016 | XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 2-2 | M60 |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marinković, Bojan | Predlog nacionalnog standarda opisa nepokretnih kulturnih dobara | 2007 | Pregled nacionalnog centra za digitalizaciju; VI nacionalna konferencije "Nove tehnologije i standardi: digitalizacija nacionalne baštine", Beograd, 2007; 11; 1-11 | M63 |
Ognjanović, Zoran ; Marinković, Bojan | Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danas | 2019 | 1. Naučno-stručni skup "Primena digitalizacije u kulturi i nauci", 16. 11. 2018.; 31-42 | M63 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, Thomas | Probabilistic consensus of the blockchain protocol | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480 | M33 |
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, Nevena | Programski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986) | 2017 | | M82 |