Тип

Година

18 2010 - 2019

Мп-кат.

Година - распон

Година од:

Година до:

Резултати 1-18 од 18 Резултати/страница

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