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

1

Correct orchestration of Federated Learning generic algorit..:

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

2

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

3

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

4

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

5

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

6

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

Prokić Ivan
CRIS UNS. , 2020

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

7

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

Prokić, Ivan
https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija15713990010361.pdf?controlNumber=(BISIS)111975&fileName=15713990010361.pdf&id=13884&source=NaRDuS&language=sr. , 2020

Link: https://nardus.mpn.gov.r..

8

The Cpi-calculus: a Model for Confidential Name Passing:

Prokić, Ivan
http://arxiv.org/abs/1902.09927. , 2019

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

9

A Calculus for Modeling Floating Authorizations:

Pantović, Jovanka ; Prokić, Ivan ; Vieira, Hugo
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-92612-4_6. , 2018

Link: https://hal.inria.fr/hal..

10

A Calculus for Modeling Floating Authorizations:

Pantovic, Jovanka ; Prokic, Ivan ; Vieira, Hugo Torres
http://arxiv.org/abs/1802.05863. , 2018

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

11

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

Milos Simic ; Ivan Prokic ; Jovana Dedeic..
https://ieeexplore.ieee.org/document/9512038/. , 2021

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

12

The Cpi-calculus: a Model for Confidential Name Passing:

Ivan Prokić
http://arxiv.org/pdf/1902.09927v3. , 2019

Link: https://doi.org/10.4204/..

13

The effect of long-term high-dose coconut oil supplementati..:

Đurašević, Siniša ; Jasnić, Nebojša ; Dakić, Tamara...
info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/173023/RS//. , 2017

Link: https://radar.ibiss.bg.a..

14

The effect of long-term high-dose coconut oil supplementati..:

Đurašević, Siniša ; Jasnić, Nebojša ; Dakić, Tamara...
info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/173023/RS//. , 2017

Link: https://radar.ibiss.bg.a..

15

A review of the strategy formation process: Empirical evide..:

Stefanović Ivan ; Prokić Sloboda ; Milošević Dragan
http://scindeks.ceon.rs/article.aspx?artid=0350-03731204171S. , 2012

Link: https://doaj.org/article..