Ghilezan, Silvia

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 1-20 of 142 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Prokić, Ivan; Prokić, Simona; Ghilezan, Silvia ; Scalas, Alceste; Yoshida, NobukoOn Asynchronous Multiparty Session Types for Federated Learning2026Theoretical Aspects of Computing – ICTAC 2025; 164-182
2Djukic, Miodrag; Prokić, Ivan; Popovic, Miroslav; Ghilezan, Silvia ; Popovic, Marko; Prokić, SimonaCorrect orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT2025International Journal on Software Tools for Technology Transfer; 27; 21-34~M22
3Murphy, Brenda; Lopes, Carla Teixeira; Merelli, Emanuela; Diaconu, Mara Gabriela; Gallais, Marie; Diaz, Paloma; Silva, Paula Alexandra; Mavrikiou, Petroula; Ghilezan, Silvia ; Kremer, SteveGood Practices for Improving Gender Balance and Diversity Throughout an Academic Career2025Actions for Gender Balance in Informatics Across Europe; 227-241
4Popović, Miroslav; Popović, Marko; Kaštelan, Ivan; Đukić, Miodrag; Ghilezan, Silvia A Simple Python Testbed for Federated Learning Algorithms20232023 IEEE Zooming Innovation in Consumer Technologies Conference, ZINC 2023, Novi Sad, Serbia; 148-153M33
5Prokić, Ivan; Ghilezan, Silvia ; Kašterović, Simona; Popović, Miroslav; Popović, Marko; Kaštelan, IvanCorrect orchestration of Federated Learning generic algorithms: formalisation and verification in CSP2023Engineering of Computer-Based Systems; ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden; 14390 LNCS; 274-288M33
6Ghilezan, Silvia ; Stefanović, Tamara Privacy-preserving contact tracing2023Mathematics for Human Flourishing in the Time of COVID-19 and Post COVID-19 : Proceedings of the Workshop held at the Faculty of Mechanical Engineering, University of Niš, Niš, 21 of October 2020; 171-182
7Ghilezan, Silvia ; Kašterović, SimonaSemantics for Combinatory Logic With Intersection Types12-Jul-2022Frontiers in Computer Science; 4; 792570
8Ghilezan, Silvia Types in Logic, Topology and Structure - Keynote Speaker2022UNILOG 2022 - 7th World Congress and School on Universal Logic Workshop Logic and Structure, 6-11 April 2022, Orthodox Academy of Crete, GreeceM32
9Kašterović, Simona; Ghilezan, Silvia Probabilistic Reasoning about Typed Combinatory Logic202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31M34
10Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21
11Basold, Henning; Cockx, Jesper; Ghilezan, Silvia 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference) - Proceedings2022M36
12Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, SimonaCrypto-Covid: Privacy challenges in BlockChain and Contact Tracing202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 47-48M34
13Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara Federating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
14Kašterović, Simona; Ghilezan, Silvia Towards Logic of Combinatory LogicSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 34-36M34
15Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara Federating Digital Contact Tracing using Structured Overlay NetworksSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 28-30M34
16Ghilezan, Silvia Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)26-May-2021ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, May 26 - 27, 2021; 1-2M32
17Stefanović, Tamara ; Ghilezan, Silvia Preserving Privacy in Caller ID Applications1-Apr-2021IFIP International Summer School on Privacy and Identity Management; Privacy and Identity Management; 151-168M33
18Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
19Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics and completeness for full simply typed Lambda calculus1-Jan-2021Journal of Logic and Computation; 30(8); 1567-1608~M21
20Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming2021PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021M36

Projects


Results 1-2 of 2 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia