Silvia Ghilezan
Univerzitet u Novom Sadu
H-index: 16
Europe-Serbia
Top articles of Silvia Ghilezan
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Kripke-style semantics for computation | CONSTRUCTIVE MATHEMATICS: FOUNDATION AND PRACTICE | Silvia Ghilezanab | 2023/6/26 |
Introduction to Barendregt’s Lambda Cube | Silvia Ghilezan | 2023/6 | |
A simple Python testbed for federated learning algorithms | Miroslav Popovic Marko Popovic Ivan Kastelan Miodrag Djukic Silvia Ghilezan | 2023/5/29 | |
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Ivan Prokić Silvia Ghilezan Simona Kašterović Miroslav Popovic Marko Popovic | 2023/10/16 | |
Precise subtyping for asynchronous multiparty sessions | ACM Transactions on Computational Logic | Silvia Ghilezan Jovanka Pantović Ivan Prokić Alceste Scalas Nobuko Yoshida | 2023/4/3 |
Preciseness of Subtyping on Intersection and Union Types Editor: Springer 2014 | Mariangiola Dezani-Ciancaglini Silvia Ghilezan | 2014/7/14 | |
Privacy-preserving contact tracing | Mathematics 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 | Silvia Ghilezan Tamara Stefanović | 2023/7/4 |
27th International Conference on Types for Proofs and Programs | Henning Basold Jesper Cockx Silvia Ghilezan | 2022/8 | |
Federating digital contact tracing using structured overlay networks | Computer Science and Information Systems | Silvia Ghilezan Simona Kašterović Luigi Liquori Bojan Marinković Zoran Ognjanović | 2022 |
Semantics for combinatory logic with intersection types | Frontiers in Computer Science | Silvia Ghilezan Simona Kašterović | 2022/7/12 |
Towards Probabilistic Reasoning about Typed Combinatory Terms | Simona Kašterovic Silvia Ghilezan | 2022/6/20 | |
Types in Logic, Topology and Structure-Keynote Speaker | Silvia Ghilezan | 2022 | |
Logic of Combinatory Logic | arXiv preprint arXiv:2212.06675 | Simona Kašterović Silvia Ghilezan | 2022/12/13 |
LIPIcs, Volume 239, TYPES 2021, Complete Volume | Henning Basold Jesper Cockx Silvia Ghilezan | 2022 | |
Differential privacy and applications | Logic and Applications LAP | Tamara Stefanovic Silvia Ghilezan | 2021/9/20 |
L-types for resource awareness: an implicit name approach | arXiv preprint arXiv:2112.11062 | Silvia Ghilezan Jelena Ivetić Simona Kašterović Pierre Lescanne | 2021/12/21 |
Type Systems for Trustworthiness–-from Mathematics to Large-Scale Systems (keynote) | Silvia Ghilezan | 2021/5/26 | |
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming | Niccolò Veltri Nick Benton Silvia Ghilezan | 2021 | |
Probabilistic Reasoning about Typed Combinatory Logic | Logic and Applications LAP 2022 | Simona Kašterovic Silvia Ghilezan | 2021/9/26 |
Preserving Privacy in Caller ID Applications | Tamara Stefanović Silvia Ghilezan | 2021 |