Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Pantović, Jovanka
58  Ergebnisse:
Personensuche X
?
1

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic.  , 2022
Link: https://doi.org/10.1145/..
 
?
2

Characteristic Vectors of Reversible Boolean Functions with..:

, In: 2022 IEEE 52nd International Symposium on Multiple-Valued Logic (ISMVL),
Karalic, Andrea ; Pantovic, Jovanka ; Suknjaja, Hristina - p. 113-118 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic.  24 (2022)  2 - p. 1-73 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-28 , 2021
Link: https://doi.org/10.1145/..
 
?
5

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

On primitives for compensation handling as adaptable proces..:

Dedeić, Jovana ; Pantović, Jovanka ; Pérez, Jorge A.
Journal of Logical and Algebraic Methods in Programming.  121 (2021)  - p. 100675 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Modelling the urban freight flows for impact assessment of ..:

Veličković, Marko ; Stojanović, Đurđica ; Pantović, Jovanka
Transportation Research Procedia.  52 (2021)  - p. 27-34 , 2021
Link: https://doi.org/10.1016/..
 
?
8

A calculus for modeling floating authorizations:

Prokić, Ivan ; Pantović, Jovanka ; Vieira, Hugo Torres
Journal of Logical and Algebraic Methods in Programming.  107 (2019)  - p. 136-174 , 2019
Link: https://doi.org/10.1016/..
 
?
9

Precise subtyping for synchronous multiparty sessions:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
Journal of Logical and Algebraic Methods in Programming.  104 (2019)  - p. 127-173 , 2019
Link: https://doi.org/10.1016/..
 
?
10

Efficient compensation handling via subjective updates:

, In: Proceedings of the Symposium on Applied Computing,
Dedeić, Jovana ; Pantović, Jovanka ; Pérez, Jorge A. - p. 51-58 , 2017
Link: https://dl.acm.org/doi/1..
 
?
11

Measuring linearity of curves in 2D and 3D:

Rosin, Paul L. ; Pantović, Jovanka ; Žunić, Joviša
Pattern Recognition.  49 (2016)  - p. 65-78 , 2016
Link: https://doi.org/10.1016/..
 
?
12

Dynamic role authorization in multiparty conversations:

Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka..
Formal Aspects of Computing.  28 (2016)  4 - p. 643-667 , 2016
Link: https://doi.org/10.1007/..
 
?
13

Linked data privacy:

JAKŠIĆ, SVETLANA ; PANTOVIĆ, JOVANKA ; GHILEZAN, SILVIA
Mathematical Structures in Computer Science.  27 (2015)  1 - p. 33-53 , 2015
Link: https://doi.org/10.1017/..
 
?
14

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
Journal of Logical and Algebraic Methods in Programming.  84 (2015)  6 - p. 763-780 , 2015
Link: https://doi.org/10.1016/..
 
?
15

Measuring Linearity of Connected Configurations of a Finite..:

Rosin, Paul L. ; Pantović, Jovanka ; Žunić, Joviša
Journal of Mathematical Imaging and Vision.  53 (2014)  1 - p. 1-11 , 2014
Link: https://doi.org/10.1007/..
 
1-15