Ognjanović, Zoran

Тип

Година

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 41-60 од 305 Резултати/страница

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2019	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Научни чланак	22M22 - Међународни часопис категорије M22
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Научни чланак	22M22 - Међународни часопис категорије M22
2019	Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас	Огњановић, Зоран ; Маринковић, Бојан	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2019	TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM	Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Correctness and Strong Completeness for Logic of Time and Knowledge	Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Logical Framework for Proving the Correctness of the Chord Protocol	Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Logics to formalise p-adic valued probability and their applications	Ilić, Stepić Angelina; Ognjanović, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2018	Some optimization methods for non-monotonic Reasoning in System P	Stojanović, Tatjana P. ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Mathematical methods for privacy protection	Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Towards probabilistic reasoning about typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	A decidable multi-agent logic with iterations of upper and lower probability operators	Dragan Doder; Nenad Savic; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	A first-order logic for reasoning about higher-order upper and lower probabilities	Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Justification logic with approximate conditional probabilities	Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	A case study of the usage of information technologies and mobile devices by visitors in museum environments	Tatić, Dušan D. ; N. Jovanović; D. Tatić; Stanković, Radomir S. ; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Digitalizacija časopsisa Filmske sveske (1968-1986)	Vujošević, Sandra Z. ; Novaković, Maja ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	A Probability Logic for Reasoning About Quantum Observations	Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Logics with lower and upper probability operators	Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21