Ognjanović, Zoran

Тип

Година

273 2000 - 2027
32 1901 - 1999

Мп-кат.

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

Година од:

Година до:

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

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
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	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Научни чланак	22M22 - Међународни часопис категорије M22
2019	TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM	Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	Prikaz doprinosa Matematičkog instituta SANU i Matematičkog fakulteta u Beogradu digitalizaciji kulturne i naučne baštine od 1990-tih do danas	Ognjanović, Zoran ; Marinković, Bojan	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2019	Probabilistic consensus of the blockchain protocol	Marinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D. ; D. Doder; T. Studer	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2018	Towards probabilistic reasoning about typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	A decidable multi-agent logic with iterations of upper and lower probability operators	Dragan Doder; Nenad Savic; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
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	Научни чланак	Мп категорија ће бити приказана накнадно.
2017	Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview	Paola Glavan; Marinković, Bojan B. ; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Universal electronic guide developed in unity environment	Tatić, Dušan D. ; Nikola Vitanović; Kristijan Stevanović; Nemanja Živković; N. Jovanović; Stanković, Radomir S. ; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Leibniz, a Sorb	Huylebrouck, D.; Ognjanović, Zoran ; Radović, Ljiljana	Научни чланак	23M23 - Међународни часопис категорије M23
2017	Logics with lower and upper probability operators	Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2017	Digitalizacija časopisa "Filmske sveske" (1968-1986)	Vujošević, Sandra ; Novaković, Maja ; Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2017	Probabilistic Logics with Independence and Confirmation	Doder, Dragan ; Ognjanović, Zoran	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2017	A Probability Logic for Reasoning About Quantum Observations	Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D.	Конференцијски рад	Мп категорија ће бити приказана накнадно.