еНаука - преглед
Преглед према Аутор Perez, Jorge A
Приказ резултата 1 до 3 од 3
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2023 | Bit-Vector Typestate Analysis | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2021 | On primitives for compensation handling as adaptable processes | Dedeic, Jovana   ; Pantovic, Jovanka B ; Perez, Jorge A | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2022 | Scalable Typestate Analysis for Low-Latency Environments | Arslanagic, Alen; Subotic, Pavle; Perez, Jorge A | Конференцијски рад | Мп категорија ће бити приказана накнадно. |