Istraživači
Markoski, Branko
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2009 | DEDUCATION OF PROGRAM CORRETNES IN FORMAL THEORY (✓) | Berković Ivana   ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | DEDUCTION OF PROGRAM CORRECTNESS IN FORMAL THEORY (✓) | Berković Ivana ; Markoski Branko ; Šetrajčić Jovan ; Brtka Vladimir ; Dobrilović Dalibor | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | TESTING OF PROGRAM CORRECTNESS IN FORMAL THEORY (✓) | Berković Ivana ; Markoski Branko ; Šetrajčić Jovan; Brtka Vladimir ; Dobrilović Dalibor | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2009 | SELECTIVE ABSORPTION IN TWOLAYERED OPTIC FILMS | Pelemiš Svetlana ; Šetrajčić Jovan ; Markoski Branko ; Delić Vlado; Vučenović Siniša | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2009 | Vizuelizacija numeričkih podataka - algoritmi i metode (✓) | Letić, Duško ; Berković, Ivana ; Markoski, Branko | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2009 | Neuron Network Applied to Video Encoder | Markoski, Branko ; Šetrajčić, Jovan ; Petrevska, Miroslava; Obradović, Borislav ; Milošević, Zoran | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2009 | Deduction of program correctnes in formal theory (✓) | Berković, Ivana ; Markoski, Branko ; Šetrajčić, Jovan ; Brtka, Vladimir ; Dobrilović, Dalibor | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Linear System Model of Algorithm Linear Systems | Petrevski, Branko; Markoski, Branko ; Petrevska, Miroslava; Vasić, Dragana; Markoski, Stojan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Computer Net Technical Protection | Markoski, Stojan; Markoski, Branko ; Petrevski, Branko; Petrevska, Miroslava | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Različiti pristupi rešavanju problema korektnosti programa | Markoski, Branko ; Babić, Đorđe | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ; Hotomski, Petar; Malbaški, Dušan; Obradović, Danilo | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2002 | Program testing based on programming logic rules | Markoski, Branko ; Hotomski, Petar; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |