Autori: Perez Jorge A
| Naslov | Bit-Vector Typestate Analysis (Article) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | FORMAL ASPECTS OF COMPUTING, (2023), vol. 35 br. 3, str. - |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Scalable Typestate Analysis for Low-Latency Environments (Proceedings Paper) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | INTEGRATED FORMAL METHODS, IFM 2022, (2022), vol. 13274 br. , str. 322-340 |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | On primitives for compensation handling as adaptable processes (Article) |
| Autori | Dedeic Jovana Pantovic Jovanka B Perez Jorge A |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2021), vol. 121 br. , str. - |
| Projekat | EU COST Action ("BETTY") [IC1201]; SFRS [6458932]; MPNTR ("Innovative scientific and artistic research from domain of FTS"); Dutch Research Council (NWO)Netherlands Organization for Scientific Research (NWO) [016.Vidi.189.046] |
| 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 |
