еНаука - преглед
Преглед према Аутор Vieira, Hugo Torres
Приказ резултата 1 до 4 од 4
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2019 | A calculus for modeling floating authorizations | Prokić, Ivan   ; Pantović, Jovanka ; Vieira, Hugo Torres | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2018 | A Calculus for Modeling Floating Authorizations | Pantović, Jovanka ; Prokić, Ivan ; Vieira, Hugo Torres | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Combining behavioural types with security analysis | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2021 | The C-pi-calculus: A model for confidential name passing | Prokic, Ivan ; Vieira, Hugo Torres | Научни чланак | 21M21 - Рад у врхунском међ. часопису |