Резултати 1-20 од 119
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2025Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PATDjukic, Miodrag M  ; Prokic, Ivan  ; Popovic, Miroslav  ; Ghilezan, Silvia  ; Popovic, Marko; Prokic, Simona  Научни чланак
22M22 - Међународни часопис категорије M22
2024Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSPProkić, Ivan  ; Ghilezan, Silvia  ; Kašterović, Simona  ; Popovic, Miroslav  ; Popovic, Marko; Kaštelan, Ivan  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2023Privacy-preserving contact tracingGhilezan, Silvia  ; Stefanović, Tamara  Поглавље у монографији
Мп категорија ће бити приказана накнадно.
2023Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSPProkić, Ivan  ; Ghilezan, Silvia  ; Kašterović, Simona  ; Popović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2023A Simple Python Testbed for Federated Learning AlgorithmsPopović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  ; Đukić, Miodrag  ; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2022Types in Logic, Topology and Structure - Keynote SpeakerGhilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021Preserving Privacy in Caller ID ApplicationsStefanović, Tamara  ; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021Precise subtyping for asynchronous multiparty sessionsGilezan, Silvia  ; Pantović, Jovanka  ; Prokić, Ivan  ; Scalas, Alceste; Yoshida, NobukoКонференцијски рад
Мп категорија ће бити приказана накнадно.
2021Privacy preserving contact tracingGhilezan, Silvia  ; Stefanović, Tamara  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020An overview of Mathematical Models of Data PrivacyStefanović, Tamara  ; Ghilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Towards Completeness of Full Simply Typed Lambda CalculusGhilezan, Silvia  ; Kašterović, Simona  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Towards Probabilistic Reasoning in Type Theory - The Intersection Type CaseGhilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, NenadКонференцијски рад
Мп категорија ће бити приказана накнадно.
2020Logic and Applications - LAP MeetingŠikić, Zvonimir; Ghilezan, Silvia  ; Ognjanović, Zoran  ; Studer, ThomasОстало
Мп категорија ће бити приказана накнадно.
2020Otvorena nauka: praksa i perspektiveSmederevac, Snežana  ; Pajić, Dejan  ; Ghilezan, Silvia  ; Čolović, Petar  ; Milosavljević, Branko  Монографија
Мп категорија ће бити приказана накнадно.
2019Formal Verification of Local and Distributed Python Software Transactional MemoriesPopović, Marko; Popović, Miroslav  ; Gilezan, Silvia K.  ; KORDIĆ, BRANISLAV A.  Научни чланак
22M22 - Међународни часопис категорије M22
2019The Duality of Classical Intersection and Union TypesDownen, Paul; Ariola, Zena M.; Gilezan, Silvia  Научни чланак
22M22 - Међународни часопис категорије M22
2019Formal verification of python software transactional memory serializability based on the push/pull semantic modelPopovic, Miroslav  ; Popovic, Marko; Gilezan, Silvia  ; Kordić, Branislav  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2019Precise subtyping for synchronous multiparty sessionsGilezan, Silvia  ; Jakšić, Svetlana ; Pantović, Jovanka  ; Scalas, Alceste; Yoshida, NobukoНаучни чланак
21M21 - Водећи међународни часопис категорије M21
2019Formal verification of python software transactional memory based on timed automataKORDIĆ, BRANISLAV A.  ; Popović, Miroslav  ; Gilezan, Silvia K.  Научни чланак
22M22 - Међународни часопис категорије M22
2019Kripke Semantics for Lambda Calculus - with Pairs and Disjoint SumsKašterović, Simona  ; Gilezan, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.