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. 24 (2023) 2 - p. 1-73 , 2023

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

4

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

5

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

6

Clinical evaluation of the effects of novel Polyvinyl Alcoh..:

Nikolić, Anja ; Milošević, Ivan ; Janković, Ana...
2806-8564. , 2023

Link: https://vet-erinar.vet.b..

7

Animal models in bicompatibility assessments of implants in..:

Prokic Bolka, Bogomir ; Luzajic-Bozinovski, Tijana ; Gajdov, Vladimir...
Veterinarski glasnik. 76 (2022) 1 - p. 1-16 , 2022

Link: https://doi.org/10.2298/..

8

Animal models in bicompatibility assessments of implants in..:

Prokić Bogomir Bolka ; Lužajić-Božinovski Tijana ; Gajdov Vladimir...
http://www.doiserbia.nb.rs/img/doi/0350-2457/2022/0350-24572100005P.pdf. , 2022

Link: https://doi.org/10.2298/..

9

Animal models in bicompatibility assessments of implants in..:

Prokić, Bolka Bogomir ; Lužajić Božinovski, Tijana ; Gajdov, Vladimir...
info:eu-repo/grantAgreement/MESTD/inst-2020/200143/RS//. , 2022

Link: https://vet-erinar.vet.b..

10

Animal models in biocompatibility assessments of implants i..:

Prokić, Bogomir Bolka ; Lužajić Božinovski, Tijana ; Gajdov, Vladimir...
info:eu-repo/grantAgreement/MESTD/inst-2020/200135/RS//. , 2022

Link: http://TechnoRep.tmf.bg...

11

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

12

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

13

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

14

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

15

Evaluation of Soft Tissue Regenerative Processes After Subc..:

Lužajić Božinovski, Tijana ; Todorović, Vera ; Milošević, Ivan...
Acta Veterinaria. 71 (2021) 3 - p. 285-302 , 2021

Link: https://doi.org/10.2478/..