Follow
Svetlana Jakšić
Svetlana Jakšić
Unknown affiliation
No verified email
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
272016
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
252019
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
132014
Linked data privacy
S Jakšić, J Pantović, S Ghilezan
Mathematical Structures in Computer Science 27 (1), 33-53, 2017
112017
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
112016
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
112016
Non-intrusive MC/DC measurement based on traces
F Ahishakiye, S Jakšić, V Stolz, FD Lange, M Schmitz, D Thoma
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
62019
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
Stream-based dynamic data race detection
S Jakšić, D Li, KI Pun, V Stolz
NIK 2018, 2018
32018
COEMS - open traces from the industry
VS Svetlana Jaksic, Martin Leucker, Dan Li
RV-CuBES 2017, 96-105, 2017
2*2017
Types for Access and Memory Control
S Jakšić
University of Novi Sad (Serbia), 2016
12016
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
Relations between Hermite and Laguerre expansions of ultradistributions over Formula Not Shown and Formula Not Shown
S Jakšić, S Maksimović, S Pilipović, B Prangoski
JOURNAL OF PSEUDO DIFFERENTIAL OPERATORS AND APPLICATIONS 8 (2), 275-296, 2017
2017
Types and Roles for Web Security
G Silvia, J Svetlana, P Jovanka, M Dezani
2012
Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus
PD Gianantonio, S Jakšić, M Lenisa
International Conference on Concurrency Theory, 358-372, 2010
2010
Per public call for the period 2008-2009
S Gilezan, J Pantović, N Sladoje, S Likavec, T Lukić, J Jevtić, S Jakšić, ...
Modeli mobilnih procesa
S Jakšic
Input/Output Types for Dynamic Web Data
S Jakšic
The system can't perform the operation now. Try again later.
Articles 1–20