Истраживачи

Филтрирано по:
Година:  [2010 TO 2019]

Резултати 61-77 од 77
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2012Formalization of the General Hoare Logic LawsKupusinac, Aleksandar  ; Malbaški, DušanНаучни чланак
23M23 - Међународни часопис категорије M23
2012Analysis of Loop Semantics Using S-formulasKupusinac, Aleksandar  ; Malbaški, DušanНаучни чланак
23M23 - Међународни часопис категорије M23
2012Formalization of the General Rules of the Hoare Logic Using S-FormulasKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011General Aspects of the As Prescribed Analysis of Invariants in the ClassKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011Automatic Verification of InheritanceKupusinac, Aleksandar  ; Malbaški, DušanНаучни чланак
Мп категорија ће бити приказана накнадно.
2011An Algorithm for the Automatic Verification of InheritanceKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011Programsko rešenje za primarnu procenu kardiometaboličkog rizika primenom veštačkih neuronskih mreža -Kupusinac, Aleksandar  ; Doroslovački, Rade; Malbaški, Dušan; Stokić, Edita; Srdić, BiljanaТехничко решење
Мп категорија ће бити приказана накнадно.
2011Automatic Inference of Invariants in Objects with Variable StructureKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2011The Impact of Coding Style on the Readability of C ProgramsKupusinac, Aleksandar  ; Malbaški, Dušan; Popov, Srđan  Научни чланак
22M22 - Међународни часопис категорије M22
2011Emerging Markets Arbitrages Perception: Risk Versus Growth PotentialDobromirov, Dušan  ; Radišić, Mladen  ; Kupusinac, Aleksandar  Научни чланак
22M22 - Међународни часопис категорије M22
2011Classification of Invariants in Class Based on Conceptual DefinitionsKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2010Analiza osobina dinamičkih postuslova u Horovim tripletimaКупусинац, Александар  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2010Elegancija i složenost algoritmaKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2010Klasifikacija invarijanata u klasiKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2010Konceptualna definicija objekta i klaseKupusinac, Aleksandar  ; Malbaški, DušanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2010Poređenje algoritama kombinatorne optimizacijeKupusinac, Aleksandar  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2010Emerging Markets Unidirectional Sensitivity Coefficient as an Indicator in Portfolio Investors’ Decision MakingDobromirov, Dušan  ; Radišić, Mladen  ; Kupusinac, Aleksandar  ; Marić, Branislav Научни чланак
Мп категорија ће бити приказана накнадно.