Ognjanović, Zoran

Type

Date issued

273 2000 - 2027
32 1901 - 1999

Mp-cat.

170 М30/М60
28 M20/M50
22 M21
22 M80
14 M10/M40
14 M22
12 M23
8 M21a
6 other
3 M21a+
. next >

Date issued - custom

Year from:

Year to:

Results 41-60 of 305 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
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	Conference Paper	Mp. category will be shown later
2019	Probabilistic consensus of the blockchain protocol	Marinković, Bojan B. ; P. Glavan; Ognjanović, Zoran D. ; D. Doder; T. Studer	Conference Paper	Mp. category will be shown later
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Article	22M22
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	Article	21M21
2019	Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас	Огњановић, Зоран ; Маринковић, Бојан	Conference Paper	Mp. category will be shown later
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Conference Paper	Mp. category will be shown later
2018	Towards probabilistic reasoning about typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2018	Some optimization methods for non-monotonic Reasoning in System P	Stojanović, Tatjana P. ; Ikodinović, Nebojša M. ; Davidović, Tatjana M. ; Ognjanović, Zoran D.	Conference Paper	Mp. category will be shown later
2018	Mathematical methods for privacy protection	Todorović, Milan ; Gilezan, Silvia ; Ognjanović, Zoran	Conference Paper	Mp. category will be shown later
2018	Logics to formalise p-adic valued probability and their applications	Ilić, Stepić Angelina; Ognjanović, Zoran	Article	Mp. category will be shown later
2018	Logical Framework for Proving the Correctness of the Chord Protocol	Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavan	Conference Paper	Mp. category will be shown later
2018	Correctness and Strong Completeness for Logic of Time and Knowledge	Marinković, Bojan B. ; Ognjanović, Zoran D. ; Paola Glavana	Conference Paper	Mp. category will be shown later
2018	A decidable multi-agent logic with iterations of upper and lower probability operators	Dragan Doder; Nenad Savic; Ognjanović, Zoran D.	Conference Paper	Mp. category will be shown later
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.	Conference Paper	Mp. category will be shown later
2017	Logics with lower and upper probability operators	Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran	Article	21M21
2017	Digitalizacija časopisa "Filmske sveske" (1968-1986)	Vujošević, Sandra ; Novaković, Maja ; Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan	Conference Paper	Mp. category will be shown later
2017	Probabilistic Logics with Independence and Confirmation	Doder, Dragan ; Ognjanović, Zoran	Article	21M21
2017	A Probability Logic for Reasoning About Quantum Observations	Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D.	Conference Paper	Mp. category will be shown later
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2017	Digitalizacija časopisa filmske sveske' (1968 -1986)	Vujošević, Sandra Z. ; Novaković, Maja I. ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan D.	Conference Paper	Mp. category will be shown later