Browsing eNauka
Browsing by Author Jakšić, Svetlana
Showing results 1 to 18 of 18
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Pérez; Hugo Torres Vieira | Conference Paper | Mp. category will be shown later |
| 2017 | COEMS — open traces from the industry | JAKŠIĆ, SVETLANA S. ; Martin Leucker; Dan Li; Volker Stolz | Conference Paper | Mp. category will be shown later |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Conference Paper | Mp. category will be shown later |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Article | 23M23 |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Perez; Hugo Torres Vieira | Conference Paper | Mp. category will be shown later |
| 2010 | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus | Di, Gianantonio Pietro; Jakšić, Svetlana ; Lenisa, Marina | Conference Paper | Mp. category will be shown later |
| 2014 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Article | 22M22 |
| 2012 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Conference Paper | Mp. category will be shown later |
| 2012 | Input/Output Types for DynamicWeb Data | Jakšić, Svetlana | Conference Paper | Mp. category will be shown later |
| 2015 | Linked data privacy | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Article | 23M23 |
| 2019 | Non-Intrusive MC/DC Measurement Based on Traces | Faustin Ahishakiye; JAKŠIĆ, SVETLANA S. ; Volker Stolz; Felix Dino Lange; Malte Schmitz; Daniel Thoma | Conference Paper | Mp. category will be shown later |
| 2019 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Article | 21M21 |
| 2016 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida | Conference Paper | Mp. category will be shown later |
| 2018 | Static analysis for dynamic data race detection with TeSSLa | JAKŠIĆ, SVETLANA S. ; Malte Schmitz; Volker Stolz | Conference Paper | Mp. category will be shown later |
| 2018 | Stream-based dynamic data race detection | JAKŠIĆ, SVETLANA S. ; Dan Li; Ka I Pun | Conference Paper | Mp. category will be shown later |
| 2012 | Tipski sistemi u računarstvu | Jakšić, Svetlana | Conference Paper | Mp. category will be shown later |
| 2012 | Types and Roles for Web Security | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Cianciaglini | Article | 53M53 |
| 2011 | Types for role-based access control of dynamic web data | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Cianciaglini | Conference Paper | Mp. category will be shown later |