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

Results 1-20 of 117 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Ghilezan, Silvia ; Kašterović, SimonaSemantics for Combinatory Logic With Intersection Types12-Jul-2022Frontiers in Computer Science; 4; 792570
2Ghilezan, 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, GreeceM31
3Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
4Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating 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
5Kaš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
6Ghilezan, 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
7Stefanović, 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
8Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
9Kaš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
10Veltri, 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
11Stefanović, Tamara; Ghilezan, Silvia Differential Privacy and Applications202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54M34
12Ghilezan, Silvia ; Stefanović, TamaraPrivacy-preserving contact tracing2021Webinar "Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19", Oct. 21, 2020, Niš, Serbia; Abstract Booklet; 5
13Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
14Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics for Full Simply Types Lambda CalculusSep-2020Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 12-14M34
15Stefanović, Tamara; Ghilezan, Silvia An overview of Mathematical Models of Data PrivacySep-2020Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 27-29M34
16Smederevac, Snežana; Pajić, Dejan; Ghilezan, Silvia ; Čolović, Petar; Milosavljević, BrankoOtvorena nauka: praksa i perspektive2-Apr-2020
17Ghilezan, Silvia ; Kašterović, SimonaTowards Completeness of Full Simply Typed Lambda CalculusMar-202026th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italy; 164-166M34
18Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
19Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, BranislavFormal Verification of Local and Distributed Python Software Transactional Memories14-Oct-2019Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428M23
20Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, BranislavFormal verification of python software transactional memory serializability based on the push/pull semantic model2-Sep-2019ACM International Conference Proceeding Series; 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019; Bucharest; Romania; 2 September 2019 through 3 September 2019

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