Todorović, Milan

Network Lab View Statistics Email Alert

Profile

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

Publications

Refined By:
Date Issued:  [2010 TO 2019]
Date Issued:  2015

Results 1-3 of 3 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Knežević, Milica ; Marinković, Bojan ; Bulatović, Nataša; Todorović, Milan ; Čukić, Ivan; Ognjanović, Zoran ; Lehmann, Jörg; Zamoiski, AndreiStvaranje CENDARI digitalnog repozitorijuma o Prvom svetskom ratu i srenjevekovnoj kulturi Evrope201513th National Conference: Cultural Heritage Digitization & Digital Humanities; 4-4M60
2Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving formal properties of the Chord protocol using Isabelle20154th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60M34
3Marinković, Bojan ; Ognjanović, Zoran ; Todorović, Milan ; Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Tomović, Siniša ; Milutinović, VeljkoSerbia-Forum - korak ka boljoj vidljivosti digitalizovane kulturne baštine u Srbiji2015XIII Konferencija Digitalizacija nacionalne baštine i digitalna humanistika, 10.09.2015.-11.09.2015, Srbija; 7-7M60

Projects
(Co-Investigators)


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

AcronymTitleStart dateCompletionP-Investigator
PROJECT AI4TrustBCAdvanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC01-09-202031-08-2022Davidović, Tatjana
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia