Istraživači
Jakšić, Svetlana
Rezultati 1-18 od 18
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2019 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2019 | Non-Intrusive MC/DC Measurement Based on Traces | Faustin Ahishakiye; JAKŠIĆ, SVETLANA S. ; Volker Stolz; Felix Dino Lange; Malte Schmitz; Daniel Thoma | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Stream-based dynamic data race detection | JAKŠIĆ, SVETLANA S. ; Dan Li; Ka I Pun | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | Static analysis for dynamic data race detection with TeSSLa | JAKŠIĆ, SVETLANA S. ; Malte Schmitz; Volker Stolz | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | COEMS — open traces from the industry | JAKŠIĆ, SVETLANA S. ; Martin Leucker; Dan Li; Volker Stolz | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Precise subtyping for synchronous multiparty sessions | Mariangiola Dezani-Ciancaglini; Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Nobuko Yoshida | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2015 | Linked data privacy | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2014 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, Jorge; Hugo Torres, Vieira | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Types and Roles for Web Security | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Dezani-Cianciaglini, Mariangiola | Naučni članak | 53M53 - Nacionalni časopis kategorije M53 |
| 2012 | Tipski sistemi u računarstvu | Jakšić, Svetlana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Input/Output Types for DynamicWeb Data | Jakšić, Svetlana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Types for role-based access control of dynamic web data | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola, Dezani-Cianciaglini | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus | Di, Gianantonio Pietro; Jakšić, Svetlana ; Lenisa, Marina | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |