Ognjanović, Zoran

Type

Date issued

Mp-cat.

171 М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	Cultural heritage digitization in Serbia: Standards, policies, and case studies	Ognjanović, Zoran ; Marinković, Bojan ; Šegan-Radonjić, Marija ; Masliković, Dejan	Article	22M22
2019	Proving properties of the Chord protocol using the ASM formalism	Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran	Article	22M22
2019	Приказ доприноса Математичког института САНУ и Математичког факултета у Београду дигитализацији културне и научне баштине од 1990-их до данас	Огњановић, Зоран ; Маринковић, Бојан	Conference Paper	Mp. category will be shown later
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	TOWARDS COMMON CULTURAL HERITAGE INFORMATION SYSTEM	Zoran Ognjanović ; Bojan Marinković ; Šegan-Radonjić, Marija S. ; Dejan Masliković	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	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	Logics to formalise p-adic valued probability and their applications	Ilić, Stepić Angelina; Ognjanović, Zoran	Article	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	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	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
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
2017	A first-order logic for reasoning about higher-order upper and lower probabilities	Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran	Conference Paper	Mp. category will be shown later
2017	Justification logic with approximate conditional probabilities	Ognjanović, Zoran ; Savić, Nenad ; Studer, Thomas	Conference Paper	Mp. category will be shown later
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.	Conference Paper	Mp. category will be shown later
2017	Digitalizacija časopsisa Filmske sveske (1968-1986)	Vujošević, Sandra Z. ; Novaković, Maja ; Ognjanović, Zoran D. ; Arsić, Aleksandra S. ; Todorović, Milan 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	A Probability Logic for Reasoning About Quantum Observations	Ilić-Stepić, Angelina V. ; 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