Истраживачи
Kupusinac, Aleksandar
Мп-кат.
- 41 M30/M60
- 11 M23 - Међународни часопис категорије M23
- 9 M22 - Међународни часопис категорије M22
- 4 M21 - Водећи међународни часопис категорије M21
- 3 M20/M50
- 3 M80
- 2 M21a - Водећи међународни часопис категорије M21a
- 2 M51 - Водећи национални часопис категорије M51
- 1 M52 - Национални часопис категорије M52
- 1 M70 - Одбрањена докторска дисертација
- следећи >
Година - распон
Резултати 61-77 од 77
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2012 | Formalization of the General Hoare Logic Laws![]() | Kupusinac, Aleksandar | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2012 | Analysis of Loop Semantics Using S-formulas![]() | Kupusinac, Aleksandar | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2012 | Formalization of the General Rules of the Hoare Logic Using S-Formulas![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | General Aspects of the As Prescribed Analysis of Invariants in the Class![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Automatic Verification of Inheritance![]() | Kupusinac, Aleksandar | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | An Algorithm for the Automatic Verification of Inheritance![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Programsko rešenje za primarnu procenu kardiometaboličkog rizika primenom veštačkih neuronskih mreža -![]() | Kupusinac, Aleksandar | Техничко решење | Мп категорија ће бити приказана накнадно. |
| 2011 | Automatic Inference of Invariants in Objects with Variable Structure![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | The Impact of Coding Style on the Readability of C Programs![]() | Kupusinac, Aleksandar | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2011 | Emerging Markets Arbitrages Perception: Risk Versus Growth Potential![]() | Dobromirov, Dušan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2011 | Classification of Invariants in Class Based on Conceptual Definitions![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima![]() | Купусинац, Александар | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | Elegancija i složenost algoritma![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Klasifikacija invarijanata u klasi![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Konceptualna definicija objekta i klase![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Poređenje algoritama kombinatorne optimizacije![]() | Kupusinac, Aleksandar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Emerging Markets Unidirectional Sensitivity Coefficient as an Indicator in Portfolio Investors’ Decision Making![]() | Dobromirov, Dušan | Научни чланак | Мп категорија ће бити приказана накнадно. |
