Browsing by Author Ghilezan, Silvia
Showing results 76 to 95 of 139
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | An optimisation of lambda type assignments via resource control | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22 | M34 |
Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | An optimization of lambda type assignment via resource control | 2015 | International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23 | M34 |
Smederevac, Snežana; Pajić, Dejan; Ghilezan, Silvia ; Čolović, Petar; Milosavljević, Branko | Otvorena nauka: praksa i perspektive | 2-Apr-2020 | ||
Stefanović, Tamara; Ghilezan, Silvia | An overview of Mathematical Models of Data Privacy | Sep-2020 | Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 27-29 | M34 |
Ghilezan, Silvia | Overview of the publication “Selected Topics in Logic in Computer Science” | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 19-20 | M34 |
Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Partitioning finite d-dimensional integer grids with applications | 1-Jan-2007 | Handbook of Approximation Algorithms and Metaheuristics; 55-1 | |
Ghilezan, Silvia | Peirce's law and lambda calculus | 1992 | Proceedings of Logic and Computer Science, Novi Sad, Yugoslavia; 27-34 | |
Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming | 2021 | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 | M36 |
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for asynchronous multiparty sessions | 4-Jan-2021 | Proceedings of the ACM on Programming Languages; 5; 16 | M33 |
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise Subtyping for Asynchronous Multiparty Sessions | 2022 | ACM Transactions on Computational Logic | ~M21 |
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 1-Apr-2019 | Journal of Logical and Algebraic Methods in Programming; 104; 127-173 | M21 |
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 10-Feb-2016 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 29-43 | |
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Preciseness of subtyping on intersection and union types | 1-Jan-2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 25th International Conference on Rewriting Techniques and Applications, RTA 2014 and 12th International Conference on Typed Lambda Calculus and Applications, TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014; Vienna; Austria; 14 July 2014 through 17 July 2014; 8560 LNCS; 194-207 | M33 |
Ghilezan, Silvia | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk | Jan-2018 | NII Shonan Meeting 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security, 22-25 January 2018, NII- National Institute of Informatics Shonan meeting, Japan | M32 |
Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Preface | 1-Oct-2018 | Leibniz 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 | |
Stefanović, Tamara; Ghilezan, Silvia | Preserving Privacy in Caller ID Applications | 1-Apr-2021 | IFIP International Summer School on Privacy and Identity Management; Privacy and Identity Management; 151-168 | M33 |
Ghilezan, Silvia | Privacy for Linked Data | 2012 | Cost Action Richmodels meeting, 04/11/2012, Haifa, Israel | |
Ghilezan, Silvia ; Stefanović, Tamara | Privacy preserving contact tracing | 2021 | Webinar "Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19", Oct. 21, 2020, Niš, Serbia; Abstract Booklet; 5 | |
Ghilezan, Silvia ; Stefanović, Tamara | Privacy-preserving contact tracing | 2023 | 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; 171-182 | |
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning about simply typed lambda terms | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189 | M33 |