Ognjanović, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ognjanović, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Refined By:
Rank:  M23

Results 1-19 of 19 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
1Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran Intuitionistic propositional probability logic29-Aug-2022Mathematical Logic QuarterlyM23
2Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
3Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
4Huylebrouck, Dirk; Ognjanović, Zoran ; Radović, LjijanaLeibniz, a Sorb1-Sep-2017Mathematical Intelligencer; 39(3); 53-55M23
5Tomović, Siniša ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One1-Jan-2016Mathematical Problems in Engineering; 2016; 9289050:1-9289050:9M23
6Ilić-Stepić, Angelina ; Ognjanović, Zoran Complex valued probability logics1-Jan-2014Publications de l'Institut Mathematique; 95(109); 73-86M23
7Miloševič, Miloš; Ognjanović, Zoran A first-order conditional probability logic with iterations26-Jul-2013Publications de l'Institut Mathematique; 93(107); 19-27M23
8Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, AleksandarA propositional probabilistic logic with discrete linear time for reasoning about evidence24-Aug-2012Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243M23
9Doder, Dragan; Ognjanović, Zoran ; Marković, Zoran An axiomatization of a first-order branching time temporal logic26-Aug-2010Journal of Universal Computer Science; 16(11); 1439-1451M23
10Doder, Dragan; Marković, Zoran ; Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag A probabilistic temporal Logic that can model reasoning about evidence26-Apr-2010Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 6th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2010; Sofia; Bulgaria; 15 February 2010 through 19 February 2010; 5956 LNCS; 9-24M23
11Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran Qualitative possibilities and necessities27-Aug-2009Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009; Verona; Italy; 1 July 2009 through 3 July 2009; 5590 LNAI; 651-662M23
12Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran How to restore compactness into probabilistic logics?28-Nov-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th European Conference on Logics in Artificial Intelligence, JELIA 2008; Dresden; Germany; 28 September 2008 through 1 October 2008; 5293 LNAI; 338-348M23
13Radojević, Dragan; Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag Interpolative Boolean logic25-Sep-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008; Varna; Bulgaria; 4 September 2008 through 6 September 2008; 5253 LNAI; 209-219M23
14Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran A probabilistic logic with polynomial weight formulas1-Jan-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008; Pisa; Italy; 11 February 2008 through 15 February 2008; 4932 LNCS; 239-252M23
15Ognjanović, Zoran ; Perović, Aleksandar; Rašković, Miodrag Logics with the qualitative probability operator1-Jan-2008Logic Journal of the IGPL; 16(2); 105-120M23
16Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran Measure logic1-Jan-2007Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 2007; 4724; 128-138M23
17Ognjanović, Zoran ; Rašković, Miodrag Some first-order probability logics28-Sep-2000Theoretical Computer Science; 247(1-2); 191-212M23
18Ognjanović, Zoran A tableau-like proof procedure for normal modal logics20-Jun-1994Theoretical Computer Science; 129(1); 167-186M23
19Jocković, Miroslav; Vukobratović, Miomir; Ognjanović, Zoran Approach to the modeling of the highest control level of flexible manufacturing cell1-Apr-1990Robotica; 8(2); 125-130M23

Projects


Results 1-3 of 3 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT III 044006Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education01-01-201131-12-2019Ognjanović, Zoran
PROJECT 1379Methods of Mathematical Logic for Decision Support in Real Life Situations01-01-200231-12-2005Ognjanović, Zoran
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran