Browsing by Author Ghilezan, Silvia
Showing results 76 to 95 of 121
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| 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 ; 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 |
| Kašterović, Simona; Ghilezan, Silvia | Probabilistic Reasoning about Typed Combinatory Logic | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31 | M34 |
| Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning in type systems | 2016 | 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24 | M34 |
| Kašterović, Simona; Ghilezan, Silvia | Probabilistic reasoning with lambda terms | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, Croatia | M34 |
| Ghilezan, Silvia | Proof Theory: Applications | 1-Jan-2013 | Lambda Calculus with Types; 323-376 | M14 |
| Ghilezan, Silvia | Računske interpretacije intuicionističke i klasične logike | 2012 | Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia | |
| Ghilezan, Silvia | Reducibility method and logical relations in intuitionistic logic and programming languages | 2013 | CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, Serbia | M32 |
| Ghilezan, Silvia ; Likavec, Silvia | Reducibility method and resource control | 2013 | UNILOG 2013 - The 4th World Congress on Universal Logic, 29/03-04/04/2013, Rio de Janeiro, Brasil; 161-162 | |
| Ghilezan, Silvia ; Kunčak, Viktor; Likavec, Silvia | Reducibility method for termination properties of typed lambda terms | 2001 | Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16 | |
| Ghilezan, Silvia ; Kunčak, Viktor | Reducibility method in simply typed lambda calculus | 2001 | Novi Sad Journal of Mathematics; 31; 27-32 | |
| Ghilezan, Silvia | Reducibility method: an overview | 2013 | LAP 2013 - 2nd Conference Logic and Applications, Dubrovnik, Croatia, 16-21/09/2013; 2-3 | |
| Ghilezan, Silvia ; Likavec, Silvia | Reducibility: a ubiguitous method in lambda calculus with intersection types | 2002 | Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70 | M33 |
| Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | The “Relevance” of intersection and union types | 1-Jan-1997 | Notre Dame Journal of Formal Logic; 38(2); 246-269 |