E-LIB Suche - Ergebnisse für: Prokić, Ivan

1

A Hierarchical Namespace Approach for Multi-Tenancy in Dist..:

Simić, Miloš ; Dedeić, Jovana ; Stojkov, Milan.
IEEE Access. 12 (2024) - p. 32597-32617 , 2024

Link: https://doi.org/10.1109/..

2

Correct Orchestration of Federated Learning Generic Algorit..:

, In: Engineering of Computer-Based Systems; Lecture Notes in Computer Science,

Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona... - p. 274-288 , 2023

Link: https://doi.org/10.1007/..

3

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
ACM Transactions on Computational Logic. , 2022

Link: https://doi.org/10.1145/..

4

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/..

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://doi.org/10.1145/..

6

The C-calculus: A model for confidential name passing:

Prokić, Ivan ; Vieira, Hugo Torres
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100622 , 2021

Link: https://doi.org/10.1016/..

7

Towards Edge Computing as a Service: Dynamic Formation of t..:

Simic, Milos ; Prokic, Ivan ; Dedeic, Jovana..
IEEE Access. 9 (2021) - p. 114468-114484 , 2021

Link: https://doi.org/10.1109/..

8

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..

9

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/..

10

Correct orchestration of Federated Learning generic algorit..:

Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona...
http://arxiv.org/abs/2306.14529. , 2023

Link: http://arxiv.org/abs/230..

11

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
https://orbit.dtu.dk/en/publications/175d2554-f057-4975-a703-4b6749e592d0. , 2023

Link: https://orbit.dtu.dk/en/..

12

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
https://publications.aston.ac.uk/id/eprint/42247/1/3434297.pdf. , 2021

Link: https://publications.ast..

13

Precise subtyping for asynchronous multiparty sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
https://orbit.dtu.dk/en/publications/7afe6f92-0ac4-4078-9831-d578d3f4c600. , 2021

Link: https://orbit.dtu.dk/en/..

14

Precise Subtyping for Asynchronous Multiparty Sessions:

Ghilezan, Silvia ; Pantović, Jovanka ; Prokić, Ivan..
http://arxiv.org/abs/2010.13925. , 2020

Link: http://arxiv.org/abs/201..

15

Formal modeling and analysis of resource usage and sharing ..:

Prokić Ivan
CRIS UNS. , 2020

Link: https://www.cris.uns.ac...