Browsing by Author Perović, Aleksandar


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 34 to 40 of 40 < previous 
Author(s)TitleIssue DateAppears inRank
Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, AleksandarA propositional linear time logic with time flow isomorphic to ω21-Jan-2014Journal of Applied Logic; 12; 208-229M22
Ognjanović, 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
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 One1-Jan-2016Mathematical Problems in Engineering; 2016; 9289050:1-9289050:9M23
Perović, 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
Tomović, Siniša ; Knežević, Milica ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran Security evaluation of NHB# authentication protocol against a MIM attack2016The IPSI BgD Transactions on Internet Research; 12(2); 22-36
Rašković, Miodrag ; Knežević, Milica ; Perović, Aleksandar; Rašković, Sanvila; Perić, Aleksandra; Đurić, VojislavSistem za automatsko testiranje korelacije dijagnostičkih kriterijuma2013M85
Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina Tableau For the Logic ILP2022Publications de l'Institut Mathématique; 112(126); 1-11M24