Researchers
Pantović, Jovanka
Type
Date issued
Results 21-40 of 68
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Precise subtyping for synchronous multiparty sessions | Mariangiola Dezani-Ciancaglini; Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida | Conference Paper | Mp. category will be shown later |
| 2016 | Encoding of multilevel S-threshold functions | Pantović, Jovanka ; Gilezan, Silvia K. ; Žunić, Joviša | Article | 21M21 |
| 2016 | Monomial Clones: Local Results and Global Properties | Pantović, Jovanka ; Machida, Hajime | Conference Paper | Mp. category will be shown later |
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres | Conference Paper | Mp. category will be shown later |
| 2016 | Measuring Linearity of Curves in 2D and 3D | Rosin, Paul; Pantović, Jovanka ; Žunić, Joviša | Article | 21aM21a |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Article | 22M22 |
| 2015 | Linked data privacy | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Article | 22M22 |
| 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 | Article | 21M21 |
| 2015 | On Compensation Primitives as Adaptable Processes | Dedeić, Jovana ; Pantović, Jovanka ; Pérez, Jorge A. | Conference Paper | Mp. category will be shown later |
| 2015 | Upward Saturated Hyperclones | Pantović, Jovanka ; Čolić Oravec, Jelena A. ; Hajime Machida | Article | 21aM21a |
| 2015 | Measuring linearity of planar curves | Žunić, Joviša ; Pantović, Jovanka ; Rosin, Paul | Book parts | Mp. category will be shown later |
| 2015 | From clones to hyperclones | Pantović, Jovanka ; Čolić Oravec, Jelena A. ; Hajime, Machida; Vojvodić, Gradimir | Book parts | Mp. category will be shown later |
| 2014 | One-point extension of the algebra of incompletely specified operations | Pantović, Jovanka ; Čolić, Jelena ; Hajime Machida | Article | 21aM21a |
| 2014 | Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves | Rosin, Paul L.; Pantović, Jovanka ; Žunić, Joviša | Article | 21a+M21a+ |
| 2014 | Session Types Isomorphisms | Dezani-Cinaciaglini, Mariangiola; Padovani, Luca; Pantović, Jovanka | Conference Paper | Mp. category will be shown later |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Article | 23M23 |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila | Conference Paper | Mp. category will be shown later |
| 2014 | On the number of S-threshold functions on not necessarily binary input | Pantović, Jovanka ; Gilezan, Silvia ; Žunić, Joviša | Conference Paper | Mp. category will be shown later |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira | Conference Paper | Mp. category will be shown later |
| 2013 | Measuring linearity of closed curves and connected compound curves | Rosin, Paul L.; Pantović, Jovanka ; Žunić, Joviša | Conference Paper | Mp. category will be shown later |