еНаука - преглед
Преглед према Аутор Jakšić, Svetlana
Приказ резултата 1 до 18 од 18
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia   ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Pérez; Hugo Torres Vieira | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | COEMS — open traces from the industry | JAKŠIĆ, SVETLANA S. ; Martin Leucker; Dan Li; Volker Stolz | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Dynamic Role Authorisation in Multiparty Conversations (✓) | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo | Научни чланак | 23M23 - Рад у међ. часопису |
| 2014 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Perez; Hugo Torres Vieira | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus | Di, Gianantonio Pietro; Jakšić, Svetlana ; Lenisa, Marina | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2012 | Exception handling for copyless messaging | Jakšić, Svetlana ; Padovani, Luca | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Input/Output Types for DynamicWeb Data | Jakšić, Svetlana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Linked data privacy | Jakšić, Svetlana ; Pantović, Jovanka ; Gilezan, Silvia | Научни чланак | 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 | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Precise subtyping for synchronous multiparty sessions | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Precise subtyping for synchronous multiparty sessions (✓) | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Scalas, Alceste; Yoshida, Nobuko | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2018 | Static analysis for dynamic data race detection with TeSSLa | JAKŠIĆ, SVETLANA S. ; Malte Schmitz; Volker Stolz | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Stream-based dynamic data race detection | JAKŠIĆ, SVETLANA S. ; Dan Li; Ka I Pun | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Tipski sistemi u računarstvu | Jakšić, Svetlana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Types and Roles for Web Security | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Cianciaglini | Научни чланак | 53M53 - Рад у нац. часопису |
| 2011 | Types for role-based access control of dynamic web data | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Mariangiola Dezani-Cianciaglini | Конференцијски рад | Мп категорија ће бити приказана накнадно. |