еНаука - преглед
Преглед према Аутор Dušan Malbaški
Приказ резултата 1 до 16 од 16
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2011 | An Algorithm for the Automatic Verification of Inheritance | Kupusinac, Aleksandar   ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Analysis of Infinite Loops Using S-Formulas | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Analysis of Loop Semantics using S-formulas | Kupusinac, Aleksandar ; Dušan Malbaški | Научни чланак | 23M23 - Рад у међ. часопису |
| 2011 | Automatic Inference of Invariants in Objects with Variable Structure | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Classification of Invariants in Class Based on Conceptual Definitions | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Elegancija i složenost algoritma | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalization of the General Hoare Logic Laws | Kupusinac, Aleksandar ; Dušan Malbaški | Научни чланак | 23M23 - Рад у међ. часопису |
| 2012 | Formalization of the General Rules of the Hoare Logic Using S-Formulas | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | General Aspects of the As Prescribed Analysis of Invariants in the Class | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Klasifikacija invarijanata u klasi | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Konceptualna definicija objekta i klase | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | On the Equilibrium of Owner/Component System | Kupusinac, Aleksandar ; Dušan Malbaški | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Primarna procena kardiometaboličkog rizika primenom veštačkih neuralnih mreža | Doroslovački, Rade ; Kupusinac, Aleksandar ; Dušan Malbaški; Biljana Srdić Galić; Edita Stokić | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Programsko rešenje za primarnu procenu kardiometaboličkog rizika primenom veštačkih neuronskih mreža - | Kupusinac, Aleksandar ; Rade Doroslovački; Dušan Malbaški; Edita Stokić; Biljana Srdić | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | The Impact of Coding Style on the Readability of C Programs | Kupusinac, Aleksandar ; Dušan Malbaški; Srdjan Popov | Научни чланак | 23M23 - Рад у међ. часопису |
| 2012 | The Strong Object Invariant | Kupusinac, Aleksandar ; Dušan Malbaški | Научни чланак | 23M23 - Рад у међ. часопису |