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 110 (Search time: 0.024 seconds).

Author(s)TitleIssue DateAppears inRank
1Ghilezan, 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
2Kaš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
3Stefanović, Tamara; Ghilezan, Silvia Preserving Privacy in Caller ID Applications1-Apr-2021IFIP International Summer School on Privacy and Identity Management; Privacy and Identity Management; 151-168M34
4Kaš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
5Ghilezan, 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
6Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
7Kaš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
8Stefanović, 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
9Smederevac, Snežana; Pajić, Dejan; Ghilezan, Silvia ; Čolović, Petar; Milosavljević, BrankoOtvorena nauka: praksa i perspektive2-Apr-2020
10Ghilezan, 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
11Ghilezan, 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
12Popović, 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
13Popović, 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
14Kašterović, Simona; Ghilezan, Silvia Kripke Semantics for Lambda Calculus with Pairs and Disjoint SumsSep-2019Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25M34
15Ghilezan, Silvia Denotational and Operational Preciseness of Subtyping : Invited talkJun-2019Annual meeting of IFIP Working Group 1.6: Rewriting, June 26, 2019, Dortmund, GermanyM32
16Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
17Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22
18Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22
19Ghilezan, Silvia ; Geuvers, Herman; Ivetić, JelenaPreface1-Oct-2018Leibniz International Proceedings in Informatics, LIPIcs; 22nd International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 through 26 May 2016; 97; VII
20Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about typed lambda termsJun-2018TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42M34

Projects



Results 1-2 of 2 (Search time: 0.001 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