eNauka - pregled
Pregled prema Autor Jakšić, Svetlana
Prikaz rezultata 1 do 18 od 18
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Pérez; Hugo Torres Vieira | 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 | Dynamic Role Authorisation in Multiparty Conversations (✓) | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Perez; Hugo Torres Vieira | 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. |
| 2014 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2012 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | 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. |
| 2015 | Linked data privacy (✓) | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Naučni članak | 23M23 - Rad u međ. časopisu |
| 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. |
| 2016 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Precise subtyping for synchronous multiparty sessions (✓) | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
| 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. |
| 2018 | Stream-based dynamic data race detection | JAKŠIĆ, SVETLANA S. ; Dan Li; Ka I Pun | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Tipski sistemi u računarstvu | Jakšić, Svetlana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Types and Roles for Web Security | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Cianciaglini | Naučni članak | 53M53 - Rad u nac. časopisu |
| 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. |