Search




Research outputs

Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant   [2013]

Marinković, Bojan ; Ognjanović, Zoran  ; Todorović, Milan  ; Zeljić Aleksandar; Glavan Paola

An AHP approach for modeling - financial time series   [2016]

Marković, Ivana  ; Stanković, Jelena  ; Stojanović, Miloš

Analysis of prediction errors generated by BINAR(1) models   [2016]

Popović, Predrag  ; Ristić, Miroslav M.  ; Nastić, Aleksandar S.  

Design and Analysis of the Two-level Scalar Quantizer with Extended Huffman Coding   [2013]

Velimirović, Lazar  ; Perić, Zoran  ; Denić Bojan  

Development of Energy System Smart Grids Based on Multi-Criteria Decision Making   [2013]

Janjić, Aleksandar ; Suzana Savić; Velimirović, Lazar  

Quantum Information: Fundamentals and Prospects   [2016]

Dugić, Miroljub  ; Jeknić-Dugić, Jasmina  

Fuzzy AHP Ranking of Occupational Safety System Quality Indicators   [2013]

Janaćković, Goran  ; Savić, Suzana ; Stanković, Miomir

Higher-order ZNN models for computing the matrix inverse   [2016]

Živković, Ivan ; Predrag S. Stanimirovic; Dimitrios Gerontitis

Analyzing the Exhaustiveness of the Synapse Protocol   [2013]

Petar Maksimović; Marinković, Bojan ; Ognjanović, Zoran  ; Cincaglini Vincenco; Glavan Paola; Liquori Luigi

Филтери

По типу