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 201 to 220 of 268 < previous   next >
Author(s)TitleIssue DateAppears inRank
Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag A probabilistic temporal Logic that can model reasoning about evidence26-Apr-2010Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010; 5956 LNCS; 9-24M23
Doder, Dragan; Ognjanović, Zoran Probabilistic temporal logic with countably additive semantics2023Annals of Pure and Applied Logic~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Probabilistic-Temporal Logic with Actions202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20M34
Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Probability logics2009Logic in computer science; 12(20); 35-111M14
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarProbability Logics for Reasoning About Quantum Observations2023Logica Universalis; 17; 175-219~M21
Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Probability Logics. Probability-Based Formalization of Uncertain Reasoning2016M11
Stokić, Dragan; Vukobratović, Miomir; Leković, Đorđe; Jocković, Miroslav; Hristić, Dragan; Timčenko, Olga; Đurić, Nebojša; Rodić, Aleksandar; Ognjanović, Zoran Program package for simulation and development of flexible manufacturing cells1988The fourth Yugoslav-Soviet symposium on applied robotics and flexible; 137-145M33
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, NevenaProgramski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986)2017M82
Jelisavčić, Vladisav ; Marinković, Bojan ; Milutinović, Veljko; Mihajlović, Aleksandar; Ognjanović, Zoran ; Tomović, Siniša ; Todorović, Milan Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project2013XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15M60
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marković, MirkoProgress report in Serbia and Montenegro2004Coordinating digitisation in Europe; 226-230
Vujošević, Sandra; Knežević, Milica ; Ognjanović, Zoran ; Šegan-Radonjić, Marija PROJECT 'DIGITARIJUM':   CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE20154th Annual Conference on Humanities and Their Methods in the Digital Ecosystem (AIUCD 2015)M30
Ognjanović, Zoran ; Butigan-Vučaj, TamaraA proposal for the national standard for describing digitized heritage1-Dec-200610th 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-388M33
Marinković, 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
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, AleksandarA propositional probabilistic logic with discrete linear time for reasoning about evidence24-Aug-2012Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243M23
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 One1-Jan-2016Mathematical Problems in Engineering; 2016; 9289050:1-9289050:9M23
Todorović, 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
Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20M34
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Qualitative possibilities and necessities27-Aug-2009Lecture 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-662M23
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Reasoning About Degrees of Confirmation2020Lecture Notes in Computer Science; The 3rd International Conference on Logic and Argumentation (CLAR 2020); 12061; 80-95M33