Browsing by Author Ognjanović, Zoran


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 241 to 260 of 268 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24
Ognjanović, Zoran A tableau-like proof procedure for normal modal logics20-Jun-1994Theoretical Computer Science; 129(1); 167-186M23
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu govornog servisa Mobilne telefonije, Telekoma Srbije2007M80
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu negovornih servisa Mobilne telefonije, Telekoma Srbije2007M80
Ognjanović, Zoran Tehnologija ekspertnih sistema1994IV Naučni skup o sistemu naučnih i tehnoloških informacija "Stanje i tendencije razvoja sistema naučnih, tehnoloških i poslovnih informacija u Saveznoj republici Jugoslaviji", Vrnjačka Banja, 7. i 8. april 1994; 53-56M63
Marinković, 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
Ognjanović, Zoran ; Rašković, Miodrag The completeness theorem for a temporal logic with probabilistic operators1997VIII International Conference on Logic and Computer Science LIRA '97, 1997.; 177-181M63
Šegan-Radonjić, Marija ; Milovanović, Miloš ; Ognjanović, Zoran ; Rajić, Sanja; Mijajlović, ŽarkoThe next step in development of eCatalog of nonmovable cultural monuments in Serbia2014The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 16-16M34
Ognjanović, Zoran The resolution tableau for logics of likelihood2001Kragujevac Journal of Mathematics; 23; 107-117M52
Dobreva, Milena; Ognjanović, Zoran The second conference of the National digitisation centre of Serbia and Montenegro: Digitisation from a Balkan perspective2003DigiCULT.Info; 5; 16-17
Mihajlović, Aleksandar; Jelisavčić, Vladisav ; Marinković, Bojan ; Ognjanović, Zoran ; Milutinović, VeljkoThe Serbia-forum Cultural Heritage Digitization Project with Emphasis on Semantic Indexing2013Review of the NCD; VII International SEEDI Conference, Ljubljana, Slovenia, 17-18th May 2012; 22; 47-54M33
Savić, Miloš; Ivanović, Mirjana; Radovanović, Miloš; Ognjanović, Zoran ; Pejović, Aleksandar; Jakšić Kruger, Tatjana The structure and evolution of scientific collaboration in eLib, a on-line library of Serbian mathematical journals2014The Ninth SEEDI Conference: Digitization of cultural and scientific heritage Belgrade, Serbia, 15-16 May 2014.; 15-16M34
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about lambda terms with intersection types2016The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016M34
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about typed lambda termsJun-2018TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42M34
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
Stošović, Milan; Rašković, Miodrag ; Ognjanović, Zoran ; Marković, Zoran Transforming electronic medical books to diagnostic decision support systems using relational database management systems1-Dec-2013Computational Medicine in Data Mining and Modeling; 79-103M14
Tomović, Siniša ; Todorović, Milan ; Knežević, Milica ; Jelisavčić, Vladisav ; Arsić, Aleksandra ; Zdravković, Aleksandra; Marinković, Bojan ; Ognjanović, Zoran ; Stojanović, MiroljubUnapređenja Digitalne narodne biblioteke Srbije2016XIV konferencija Digitalizacija nacionalne baštine, starih zapisa iz prirodnih I društvenih nauka I digitalna humanistika; 22-23M60
Jakšić Kruger, Tatjana ; Mijajlović, Žarko; Milojković, Nevena; Ognjanović, Zoran ; Pejović, Aleksandar; Radojičić, Nina; Knežević, Milica ; Mišković, Stefan; Šegan-Radonjić, Marija ; Vučković, Bojan ; Milovanović, Miloš Unapređenje elektronske biblioteke Matematičkog instituta SANU2011M85
Ognjanović, Zoran ; Mijajlović, Žarko; Terzić, Goran; Milovanović, Miloš ; Vučković, Bojan ; Šegan-Radonjić, Marija Unapređenje web prezentacije Spomenika kulture Matematičkog instituta Srpske akademije nauke i umetnosti, Spomenici kulture2013M85