Stranice zaposlenih – Fakultet tehničkih nauka u Novom Sadu

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 (M21) Rad u vrhunskom međunarodnom časopisu	Opis Dragan Doder, Zoran Ognjanović, Probabilistic Logics with Independence and Confirmation, Studia Logica, 105, 943–-969, 2017.
Kriterijum produkcije (M21) Rad u vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 vrhunskom međunarodnom časopisu	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 (M22) Rad u istaknutom međunarodnom časopisu	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 istaknutom međunarodnom časopisu	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 istaknutom međunarodnom časopisu	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 istaknutom međunarodnom časopisu	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 istaknutom međunarodnom časopisu	Opis Zoran Ognjanovic, Miodrag Raskovic: Some first-order probability logics. Theor. Comput. Sci. 247(1-2): 191-212 (2000)
Kriterijum produkcije (M22) Rad u istaknutom međunarodnom časopisu	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 (M23) Rad u međunarodnom časopisu	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	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	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	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	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	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	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	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	Opis Angelina Ilić Stepić, Zoran Ognjanović, Complex valued probability logics,Publications de l Institut Mathematique, 95 (109) (2014), 73--86, 2014.
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, monografsko izdanje građe,	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

AKREDITACIJA

KONTAKT

AKREDITACIJA

KONTAKT

Studentska služba

Naučni savetnik dr Zoran Ognjanović

Diploma

Matematičke nauke

1987

Magistratura

Matematičke nauke

1993

Doktorat

Matematičke nauke

1999

Kontakt: