Marinković, Bojan

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Marinković, Bojan
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 1-12 of 12 (Search time: 0.003 seconds).

Author(s)TitleIssue DateAppears inRank
1Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
2Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
3Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
4Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
5Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, DejanCultural heritage digitization in Serbia: Standards, policies, and case studies1-Jan-2019Sustainability (Switzerland); 11(14); 3788M22
6Šegan-Radonjić, Marija ; Zdravković, Aleksandra; Tomović, Siniša ; Todorović, Milan ; Jelisavčić, Vladisav ; Vujošević, Sandra; Arsić, Aleksandra ; Marinković, Bojan ; Đurković Đorđević, Ivana; Vasiljević, Marija; Cukić, Radovan; Vlajić, AdaVisual Archive of Yugoslavia - Digitizing photographic material of Museum of Yugoslav History2017Pregled Nacionalnog centra za digitalizaciju, Matematički fakultet Univerziteta u Beogradu; 30; 35-39M53
7Arsić, Aleksandra ; Zdravković, Aleksandra; Todorović, Milan ; Tomović, Siniša ; Jelisavčić, Vladisav ; Marinković, Bojan ; Knežević, Milica ; Stojanović, Miroljub; Đurković Đorđević, IvanaImproving the Digital National Library of Serbia2017Pregled Nacionalnog centra za digitalizaciju; 30; 40-45M53
8Krapež, Aleksandar ; Marinković, Bojan Isotopy invariant quasigroup identities1-Jan-2016Commentationes Mathematicae Universitatis Carolinae; 57(4); 537-547
9Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, PetarAnalyzing the exhaustiveness of the Synapse protocol7-Sep-2015Peer-to-Peer Networking and Applications; 8(5); 793-806M22
10Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, AleksandarA propositional linear time logic with time flow isomorphic to ω21-Jan-2014Journal of Applied Logic; 12; 208-229M22
11Doder, Dragan; Marinković, Bojan ; Maksimović, Petar; Perović, AleksandarA logic with conditional probability operators14-Oct-2010Publications de l'Institut Mathematique; 87(101); 85-96M24
12Liquori, Luigi; Tedeschi, Cédric; Vanni, Laurent; Bongiovanni, Francesco; Ciancaglini, Vincenzo; Marinković, Bojan Synapse: A scalable protocol for interconnecting heterogeneous overlay networks14-Jun-2010Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9th International IFIP-TC6 Networking Conference, NETWORKING 2010; Chennai; India; 11 May 2010 through 15 May 2010; 6091 LNCS; 67-82M23

Projects
(Co-Investigators)


Results 1-2 of 2 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran