Svetlana Jakšić
Svetlana Jakšić
Hřgskulen pĺ Vestlandet
Verified email at hvl.no - Homepage
Title
Cited by
Cited by
Year
Precise subtyping for synchronous multiparty sessions
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
arXiv preprint arXiv:1602.03593, 2016
192016
Types for role-based access control of dynamic web data
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović
International Workshop on Functional and Constraint Logic Programming, 1-29, 2010
192010
Exception handling for copyless messaging
S Jakšić, L Padovani
Science of Computer Programming 84, 22-51, 2014
152014
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
102017
Precise subtyping for synchronous multiparty sessions
S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019
82019
Denotational and operational preciseness of subtyping: A roadmap
M Dezani-Ciancaglini, S Ghilezan, S Jakšić, J Pantović, N Yoshida
Theory and Practice of Formal Methods, 155-172, 2016
82016
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
Formal Aspects of Computing 28 (4), 643-667, 2016
62016
A typed model for dynamic authorizations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1602.03596, 2016
52016
Dynamic role authorization in multiparty conversations
S Ghilezan, S Jakšić, J Pantović, JA Pérez, HT Vieira
arXiv preprint arXiv:1408.5977, 2014
52014
Stream-based dynamic data race detection
S Jakšić, D Li, KI Pun, V Stolz
NIK 2018, 2018
22018
COEMS - open traces from the industry
VS Svetlana Jaksic, Martin Leucker, Dan Li
RV-CuBES 2017, 96-105, 2017
2*2017
Journal of Logical and Algebraic Methods in Programming
S Ghilezan, S Jakšic, J Pantovic, A Scalas, N Yoshida
2018
Static analysis for dynamic data race detection with TeSSLa
S Jakšić, M Schmitz, V Stolz, D Thoma
NWPT'18, 2018
2018
Types for Access and Memory Control
S Jakšić
Универзитет у Новом Саду, Факултет техничких наука, 2016
2016
Dynamic role authorization in multiparty conversations
G Silvia, J Svetlana, P Jovanka, JA Pérez, H MENDES TORRES VIEIRA
2016
A typed model for dynamic authorizations
G Silvia, J Svetlana, P Jovanka, JA Pérez, H MENDES TORRES VIEIRA
2016
Dynamic role authorization in multiparty conversations
G Silvia, J Svetlana, P Jovanka, JA Pérez, H MENDES TORRES VIEIRA
2014
Types and Roles for Web Security
G Silvia, J Svetlana, P Jovanka, M DEZANI
2012
Efficient bisimilarities from second-order reaction semantics for π-calculus
P Di Gianantonio, S Jakšić, M Lenisa
International Conference on Concurrency Theory, 358-372, 2010
2010
Modeli mobilnih procesa
S Jakšic
The system can't perform the operation now. Try again later.
Articles 1–20