Svetlana Jaksic
Person information
- affiliation: University of Novi Sad, Serbia
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [j3]Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan:
Linked data privacy. Mathematical Structures in Computer Science 27(1): 33-53 (2017) - [c8]Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105 - 2016
- [j2]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. Formal Asp. Comput. 28(4): 643-667 (2016) - [c7]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016: 155-172 - 2015
- [c6]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c5]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - 2014
- [j1]Svetlana Jaksic, Luca Padovani:
Exception handling for copyless messaging. Sci. Comput. Program. 84: 22-51 (2014) - [c4]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - 2012
- [c3]
- 2010
- [c2]Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa:
Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus. CONCUR 2010: 358-372 - [c1]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic:
Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
Coauthor Index
last updated on 2019-01-09 01:15 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint