Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus. - Pietro Di Gianantonio; Svetlana Jaksic; Marina Lenisa (CONCUR, 2010)

Types for Role-Based Access Control of Dynamic Web Data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic (WFLP, 2010)

Exception handling for copyless messaging. - Svetlana Jaksic; Luca Padovani (PPDP, 2012)

Precise subtyping for synchronous multiparty sessions. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (PLACES, 2015)

A Typed Model for Dynamic Authorizations. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Jorge A. Pérez 001; Hugo Torres Vieira (PLACES, 2015)

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (Theory and Practice of Formal Methods, 2016)

Dynamic role authorization in multiparty conversations. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Jorge A. Pérez 001; Hugo Torres Vieira (Formal Aspects Comput., 2016)

COEMS - open traces from the industry. - Svetlana Jaksic; Martin Leucker; Dan Li; Volker Stolz (RV-CuBES, 2017)

Linked data privacy. - Svetlana Jaksic; Jovanka Pantovic; Silvia Ghilezan (Math. Struct. Comput. Sci., 2017)

Stream-based dynamic data race detection. - Svetlana Jaksic; Dan Li; Ka I Pun; Volker Stolz (NIK, 2018)

Non-Intrusive MC/DC Measurement Based on Traces. - Faustin Ahishakiye; Svetlana Jaksic; Felix Dino Lange; Malte Schmitz 001; Volker Stolz; Daniel Thoma (TASE, 2019)

Precise subtyping for synchronous multiparty sessions. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Alceste Scalas; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2019)