Zoran Ognjanović | Fakultet Tehničkih Nauka

Naučni savetnik dr Zoran Ognjanović

Biografija

Radno mesto

Radovi

Reprezentativne reference

Izbori u zvanja

Biografija

Trenutno nema podataka o biografiji zaposlenog!

Radno mesto

Aktuelno

Radno mesto	Od	Organizaciona jedinica

Aktuelne

Naziv funkcije	Od	Organizaciona jedinica

Radovi

Naziv	U Ustanovi
/ Diploma Matematičke nauke	Matematički fakultet 1987
Dokazivač teorema u modalnom računu S4 zasnovan na metodi dualnih tabloa Magistratura Matematičke nauke	Matematički fakultet 1993
Neke verovatnosne logike i njihove primene u računarstvu Doktorat Matematičke nauke	Prirodno-matematički fakultet 1999

Reprezentativne reference

Kriterijum produkcije	Opis
Kriterijum produkcije (M11) Istaknuta monografija međunarodnog značaja	Opis Zoran Ognjanović, Miodrag Rašković, Zoran Marković. Probability Logics. Probability-Based Formalization of Uncertain Reasoning. Springer. 2016.
Kriterijum produkcije (M13) Monografska studija/poglavlje u knjizi M11 ili rad u tematskom zborniku vodećeg međunarodnog značaja	Opis Aleksandar Perović, Dragan Doder, Zoran Ognjanović, Applications of Probabilistic and Related Logics to Decision Support in Medicine, in: Computational Medicine in Data Mining and Modeling, G. Rakocevic, T. Djukic, N. T.; Filipovic, N.; Milutinović, V. (Eds.), Springer, 35--77, 2013.
Kriterijum produkcije (M21a) Rad u vodećem međunarodnom časopisu kategorije M21a	Opis Zoran Ognjanović, Angelina Ilić-Stepić, Aleksandar Perović, A Probabilistic Temporal Epistemic Logic: Strong Completeness, Logic Journal of the IGPL, Vol. 32, No. 1, 94 - 138, 2024. M21a
Kriterijum produkcije (M21a) Rad u vodećem međunarodnom časopisu kategorije M21a	Opis Zoran Ognjanović, Angelina Ilić-Stepić, Aleksandar Perović, A probabilistic temporal epistemic logic: Decidability, Logic Journal of the IGPL, Vol. 32, No. 5, 827 - 879, 2024. M21a
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Dragan Doder, Zoran Ognjanović, Probabilistic Logics with Independence and Confirmation, Studia Logica, 105, 943–-969, 2017.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Nenad Savić, Dragan Doder, Zoran Ognjanović, Logics with lower and upper probability operators, International Journal of Approximate Reasoning, Volume 88, 148--168, 2017.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Tatjana Stojanović, Tatjana Davidović, Zoran Ognjanović, Bee Colony Optimization for the satisfiability problem in probabilistic logic, Applied Soft Computing, Volume 31, 339–-347, 2015.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis First steps towards probabilistic justification logic Ioannis Kokkinis; Petar Maksimović; Zoran Ognjanović, Thomas Studer Logic Journal of the IGPL, vol. 23, no. 4, 662--687, 2015.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Miloš Savić, Mirjana Ivanović, Miloš Radovanović, Zoran Ognjanović, Aleksandar Pejović,Tatjana Jakšić Kruger, The structure and evolution of scientific collaboration in Serbian mathematical journals, Scientometrics, vol. 101 br. 3, str. 1805--1830, 2014.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Nebojša Ikodinović, Zoran Ognjanović, Miodrag Rašković, Aleksandar Perović, Hierarchies of probabilistic logics, International Journal of Approximate Reasoning, Volume 55, Issue 9, 1830–-1842, 2014.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Angelina Ilić-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Conditional p-adic probability logic International Journal of Approximate Reasoning,Volume 55, Issue 9, 1843–-1865, 2014.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Nebojša Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, A first-order probabilistic logic with approximate conditional probabilities, Logic Journal of the IGPL, 22(4), 539 -- 564, 2014.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Dragan Doder, John Grant, Zoran Ognjanović, Probabilistic logics for objects located in space and time, Journal of Logic and Computation 23(3), 487--515, 2013.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Nebojša Ikodinović, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Logics with Generalized Measure Operators, Journal of Multiple-Valued Logic and Soft Computing, Volume 20, Number 5-6, 527--555, 2013.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Miloš Milošević, Zoran Ognjanović, A first-order conditional probability logic, Logic Journal of the Interest Group in Pure and Applied Logics, 20(1), 235-253, 2012. doi:10.1093/jigpal/jzr033
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Aleksandar Perović, Zoran Ognjanović, Miodrag Rašković, Dragan Radojević, Finitely additive probability measures on classical propositional formulas definable by Godel's t-norm and product t-norm, Fuzzy Sets and Systems 169, 65-90, 2011. doi:10.1016/j.fss.2010.10.007
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Dragan Doder, Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Measures of inconsistency and defaults, International Journal of Approximate Reasoning 51, 832 - 845, 2010. doi:10.1016/j.ijar.2010.05.007
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Bojan Marinković, Paola Glavan, Zoran Ognjanović, Thomas Studer, A Temporal Epistemic Logic with a Non-rigid Set of Agents for Analyzing the Blockchain protocol, Journal of logic and computation, Volume 29, Issue 5, Pages 803-830, 2019.
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Ioannis Kokkinis, Zoran Ognjanović, Thomas Studer, Probabilistic justification logic, Journal of Logic and Computation, Volume 30, Issue 1, 257-280, 2020. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Dragan Doder, Nenad Savić, Zoran Ognjanović, Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities, Journal of Logic, Language and information, 29:77-107, 2020. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović, Miodrag Rašković, Completeness theorems for $\sigma$--additive probabilistic semantics, Annals Pure Applied Logic, Volume 171, Issue 4, Article Number: 102755, 2020. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Šejla Dautović, Dragan Doder, Zoran Ognjanović, Logics for reasoning about degrees of confirmations, Journal of Logic and Computation, Volume 31, Issue 8, 2189-2217, 2021. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis David Lehnherr, Zoran Ognjanović, Thomas Studer, A Logic of Interactive Proofs, Journal of Logic and Computation 32(8), 1645-1658, 2022. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Angelina Ilić-Stepić, Zoran Ognjanović, Aleksandar Perović, Probability Logics for Reasoning About Quantum Observations, Logica Universalis 17, 175-219, 2023. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Dragan Doder, Zoran Ognjanović, Probabilistic temporal logic with countably additive semantics, Annals of Pure and Applied Logic, Volume 175, Issue 9, Article 103389, 2024. M21
Kriterijum produkcije (M21) Rad u vodećem međunarodnom časopisu kategorije M21	Opis Angelina Ilić-Stepić, Zoran Ognjanović, Aleksandar Perović, The Logic ILP for Intuitionistic Reasoning About Probability, Studia Logica, 112, 987-1017, 2024. M21
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Siniša Tomović, Miodrag Mihaljević, Aleksandar Perović, Zoran Ognjanović, A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One, Mathematical Problems in Engineering, vol. 2016, Article ID 9289050, 9 pages, 2016. doi:10.1155/2016/9289050.
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Aleksandar Perović, Dragan Doder, Zoran Ognjanović, Miodrag Rašković, On Evaluations of Propositional Formulas in Countable Structures, Filomat, Volume 30, Number 1, 1--13, 2016.
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Zoran Marković, Miodrag Rašković, Zoran Ognjanović, A Logic with Approximate Conditional Probabilities that can Model Default Reasoning, International Journal of Approximate Reasoning Volume 49, Issue 1, 52-66, 2008.
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic: A probabilistic extension of intuitionistic logic. Math. Log. Q. 49(4): 415-424 (2003)
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Zoran Ognjanovic, Miodrag Raskovic: Some first-order probability logics. Theor. Comput. Sci. 247(1-2): 191-212 (2000)
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Zoran Ognjanović, Aleksandar Perović, Miodrag Rašković, Logics with the Qualitative Probability Operator, Logic Journal of IGPL, volume 16, number 2, 105--120; doi:10.1093/jigpal/jzm031, 2008.
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Siniša Tomović, Zoran Ognjanović, Dragan Doder, A First-Order Logic for Reasoning about Knowledge and Probability, ACM Transactions on Computational Logic 21(2), 1--30, 2020.
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Tatjana Stojanović, Nebojša Ikodinović, Tatjana Davidović, Zoran Ognjanović, Automated non-monotonic reasoning in System P, Annals of Mathematics and Artiﬁcial Intelligence, 89, 471-509, 2021. M22
Kriterijum produkcije (M22) Rad u međunarodnom časopisu kategorije M22	Opis Šejla Dautović, Dragan Doder, Zoran Ognjanović, Reasoning about Knowledge and Conditional Probability, International Journal of Approximate Reasoning, Article 109037, 2023. M22
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Dirk Huylebrouck, Zoran Ognjanović, Ljiljana Radović, Leibniz, a Sorb, The Mathematical Intelligencer, 39(3), 53-55, 2017.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Angelina Ilić Stepić, Zoran Ognjanović, Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers, Studia Logica, 103, 145--174, 2015.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Bojan Marinković, Vincenzo Ciancaglini, Zoran Ognjanović, Paola Glavan, Luigi Liquori, Petar Maksimović, Analyzing the Exhaustiveness of the Synapse Protocol, Peer-to-Peer Networking and Applications, vol 8, no 5, 793--806, 2015.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Miloš Milošević, Zoran Ognjanović, A First-Order Conditional Probability Logic With Iterations, Publications de L Institute Matematique, n.s. 93 (107) 19--27, 2013.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Zoran Ognjanović, Zoran Marković, Miodrag Rašković, Dragan Doder, Aleksandar Perović, A propositional probabilistic logic with discrete linear time for reasoning about evidence, Annals of Mathematics and Artificial Intelligence vol. 65, nr. 2-3, 217--243, 2012. DOI: 10.1007/s10472-012-9307-9
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Angelina Ilic-Stepić, Zoran Ognjanović, Nebojša Ikodinović, Aleksandar Perović, A p-adic probability logic, Mathematical Logic Quarterly, vol. 58 (4-5), 263-280, 2012. DOI 10.1002/malq201110006
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Dragan Doder, Zoran Ognjanović, Zoran Marković, An Axiomatization of a First-order Branching Time Temporal Logic, Journal of Universal Computer Science, vol. 16, no. 11 (2010), 1439-1451.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Aleksandar Perović, Dragan Radojević, Zoran Ognjanović, Miodrag Rašković, Interpolative Boolean Logic, Lecture Notes in Computer Science Volume 5253, 209-219, 2008.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Angelina Ilić Stepić, Zoran Ognjanović, Complex valued probability logics,Publications de l Institut Mathematique, 95 (109) (2014), 73--86, 2014.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Bojan Marinković, Paola Glavan, Zoran Ognjanović, Proving properties of the Chord protocol using the ASM formalism, Theoretical Computer Science, 756, 64-93, 2019.
Kriterijum produkcije (M23) Rad u međunarodnom časopisu kategorije M23	Opis Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara Federating digital contact tracing using structured overlay networks 2022 Computer Science and Information Systems M23
Kriterijum produkcije (M33) Saopštenje sa međunarodnog skupa štampano u celini	Opis Žarko Mijajlović, Zoran Ognjanović, Digitization of Mathematical Editions in Serbia, Proceedings of the Workshop Towards Digital Mathematics Library DML 2008, July 27th, 2008, Birmingham, UK, editor Petr Sojka, 87 - 95, Masaryk University, 2008.
Kriterijum produkcije (M42) Monografija nacionalnog značaja	Opis Zoran Ognjanović, Dragan Doder, Some Temporal-Probabilistic logics, in: Advanced in nonlinear sciences, (V. Đorđević, editor), Južnoslovenska akademija nelinearnih nauka, Beograd, vol 3, 227--262, 2011. ISBN 978-86-905633-3-3

Izbori u zvanja

Zvanje	Uža naučna oblast	Visokoškolska ustanova	Datum izbora
Naučni savetnik	Matematičke nauke	Resorno ministrarstvo za nauku	19. 11. 2008.
Viši naučni saradnik	Matematičke nauke	Matematički institut - SANU	06. 11. 2003.
Naučni saradnik	Matematičke nauke	Matematički institut - SANU	25. 01. 2000.
Istraživač pripravnik	Matematičke nauke	Matematički institut - SANU	01. 06. 1989.

ORGANIZACIJA

DOKUMENTA

ZAPOSLENI

KONKURSI

Galerije

AKREDITACIJA 2027

AKREDITACIJA

KONTAKT

AKREDITACIJA

KONTAKT

Studentska služba

Kontakt: