Autori: Vieira Hugo Torres
| Naslov | The C-pi-calculus: A model for confidential name passing (Article) |
| Autori | Prokic Ivan Vieira Hugo Torres |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2021), vol. 119 br. , str. - |
| Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026]; European Regional Development Fund (ERDF) through the Programa Operacional Regional do Centro(Centro 2020) [Centro-01-0145-FEDER-000019 - C4] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | A calculus for modeling floating authorizations (Article) |
| Autori | Prokic Ivan Pantovic Jovanka B Vieira Hugo Torres |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2019), vol. 107 br. , str. 136-174 |
| Projekat | Ministry of Education and Science of the Republic of Serbia [ON174026]; EU COST Action [IC1405] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Dynamic role authorization in multiparty conversations (Article) |
| Autori | Ghilezan Silvia Jaksic Svetlana Pantovic Jovanka B Perez Jorge A Vieira Hugo Torres |
| Info | FORMAL ASPECTS OF COMPUTING, (2016), vol. 28 br. 4, str. 643-667 |
| Projekat | COST Action: Behavioural Types for Reliable Large-Scale Software Systems (BETTY) via Short-Term Scientific Mission grants [IC1201]; Ministry of Education and Science, Serbia [ON174026, III44006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Combining behavioural types with security analysis (Article) |
| Autori | Bartoletti Massimo Castellani Ilaria Denielou Pierre-Malo Dezani-Ciancaglini Mariangiola Ghilezan Silvia Pantovic Jovanka B Perez Jorge A Thiemann Peter Toninho Bernardo Vieira Hugo Torres |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2015), vol. 84 br. 6, str. 763-780 |
| Projekat | COST Action [IC1201] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
