Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Prokić Ivan
47
Ergebnisse:
Personensuche
X
Format
Online (47)
Medientypen
Artikel (Online) (13)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (33)
Sprachen
englisch (34)
deutsch (1)
mehr...
weniger...
Sortierung: Relevanz
Sortierung: Jahr
?
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
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..
?
5
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/..
?
6
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/..
?
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
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
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..
?
10
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/..
?
11
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..
?
12
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/..
?
13
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..
?
14
Formal modeling and analysis of resource usage and sharing ..:
Prokić Ivan
CRIS UNS. , 2020
Link:
https://www.cris.uns.ac...
?
15
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..
1-15