eNauka - pregled
Pregled prema Autor Perez, Jorge A
Prikaz rezultata 1 do 3 od 3
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2021 | On primitives for compensation handling as adaptable processes | Dedeic, Jovana   ; Pantovic, Jovanka B ; Perez, Jorge A | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |