Towards Edge Computing as a Service: Dynamic Formation of the Micro Data-Centers von Simic, Milos, Prokic, Ivan, Dedeic, Jovana, Sladic, Goran, Milosavljevic, Branko

Volltext

A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds von Simic, Milos, Dedeic, Jovana, Stojkov, Milan, Prokic, Ivan

Volltext

Precise Subtyping for Asynchronous Multiparty Sessions von Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan, Scalas, Alceste, Yoshida, Nobuko

Volltext

The Cpi-calculus: a Model for Confidential Name Passing von Prokić, Ivan

Volltext

The Cπ-calculus: A model for confidential name passing von Prokić, Ivan, Vieira, Hugo Torres

Volltext

Precise subtyping for asynchronous multiparty sessions von Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan, Scalas, Alceste, Yoshida, Nobuko

Volltext

A calculus for modeling floating authorizations von Prokić, Ivan, Pantović, Jovanka, Vieira, Hugo Torres

Volltext

A Calculus for Modeling Floating Authorizations von Pantović, Jovanka, Prokić, Ivan, Vieira, Hugo Torres

Volltext

The C-calculus: A model for confidential name passing von Prokić, Ivan, Vieira, Hugo Torres

Volltext

A Calculus for Modeling Floating Authorizations von Pantovic, Jovanka, Prokic, Ivan, Vieira, Hugo Torres

Volltext bestellen

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP von Prokić, Ivan, Ghilezan, Silvia, Kašterović, Simona, Popovic, Miroslav, Popovic, Marko, Kaštelan, Ivan

Volltext

The Cpi-calculus: a Model for Confidential Name Passing von Prokić, Ivan

Volltext

A Calculus for Modeling Floating Authorizations von Pantovic, Jovanka, Prokic, Ivan, Hugo Torres Vieira

Volltext

Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP von Prokić, Ivan, Ghilezan, Silvia, Kašterović, Simona, Popovic, Miroslav, Popovic, Marko, Kaštelan, Ivan

Volltext bestellen

Precise Subtyping for Asynchronous Multiparty Sessions von Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan, Scalas, Alceste, Yoshida, Nobuko

Volltext bestellen

Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP von Prokić, Ivan, Ghilezan, Silvia, Kašterović, Simona, Popovic, Miroslav, Popovic, Marko, Kaštelan, Ivan

Volltext

Precise Subtyping for Asynchronous Multiparty Sessions von Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan, Alceste Scalas, Yoshida, Nobuko

Volltext

Oxidative stress, bioelements and androgen status in testes of rats subacutely exposed to cadmium von Djuric, Ana, Begic, Aida, Gobeljic, Borko, Stanojevic, Ivan, Ninkovic, Milica, Vojvodic, Danilo, Pantelic, Ana, Zebic, Goran, Prokic, Vera, Dejanovic, Bratislav, Stojanovic, Ivana, Pavlica, Marina, Djukic, Dusan, Saso, Luciano, Djurdjevic, Dragan, Pavlovic, Milos, Topic, Aleksandra, Vujanovic, Dragana, Stevnovic, Ivana, Djukic, Mirjana

Volltext

Macrophages, the main marker in biocompatibility evaluation of new hydrogels after subcutaneous implantation in rats von Lužajić Božinovski, Tijana, Todorović, Vera, Milošević, Ivan, Prokić, Bogomir Bolka, Gajdov, Vladimir, Nešović, Katarina, Mišković-Stanković, Vesna, Marković, Danica

Volltext

Subacute alcohol and/or disulfiram intake affects bioelements and redox status in rat testes von Djuric, Ana, Begic, Aida, Gobeljic, Borko, Pantelic, Ana, Zebic, Goran, Stevanovic, Ivana, Djurdjevic, Dragan, Ninkovic, Milica, Prokic, Vera, Stanojevic, Ivan, Vojvodic, Danilo, Djukic, Mirjana

Volltext