Showing results 34 to 40 of 40
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
| Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, Aleksandar | A propositional linear time logic with time flow isomorphic to ω2 | 1-Jan-2014 | Journal of Applied Logic; 12; 208-229 | M22 |
| Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, Aleksandar | A propositional probabilistic logic with discrete linear time for reasoning about evidence | 24-Aug-2012 | Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243 | M23 |
| Tomović, Siniša ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | 1-Jan-2016 | Mathematical Problems in Engineering; 2016; 9289050:1-9289050:9 | M23 |
| Perović, Aleksandar; Ognjanović, Zoran ; Rašković, Miodrag ; Marković, Zoran | Qualitative possibilities and necessities | 27-Aug-2009 | Lecture 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-662 | M23 |
| Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | Security evaluation of NHB# authentication protocol against a MIM attack | 2016 | The IPSI BgD Transactions on Internet Research; 12(2); 22-36 | |
| Rašković, Miodrag ; Knežević, Milica ; Perović, Aleksandar; Rašković, Sanvila; Perić, Aleksandra; Đurić, Vojislav | Sistem za automatsko testiranje korelacije dijagnostičkih kriterijuma | 2013 | | M85 |
| Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina | Tableau For the Logic ILP | 2022 | Publications de l'Institut Mathématique; 112(126); 1-11 | M24 |
