Items where Author is "Pantović, Jovanka"
Number of items: 25. BaBartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) CaBartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) DeBartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) GhGhilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016) Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014) JaGhilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014) PaGhilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016) Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014) PéGhilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016) Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014) ThBartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) ToGhilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Formal Aspects of Computing, 28 (4). pp. 643-667. ISSN 0934-5043 (2016) Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantović, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Torres Vieira, Hugo Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 84 (6). pp. 763-780. ISSN 2352-2208 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo A Typed Model for Dynamic Authorizations. Electronic Proceedings in Theoretical Computer Science, 203. pp. 73-84. ISSN 2075-2180 (2015) Ghilezan, Silvia and Jakšić, Svetlana and Pantović, Jovanka and Pérez, Jorge A. and Torres Vieira, Hugo Dynamic role authorization in multiparty conversations. Electronic Proceedings in Theoretical Computer Science, 162. pp. 1-8. ISSN 2075-2180 (2014) |
