Browsing by Author Ghilezan, Silvia


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 77 to 96 of 121 < previous   next >
Author(s)TitleIssue DateAppears inRank
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Preciseness of subtyping on intersection and union types1-Jan-2014Lecture 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-207M33
Ghilezan, Silvia Preciseness of Subtyping: from extensional to intensional aspects : Invited talkJan-2018NII 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, JapanM32
Ghilezan, 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
Stefanović, 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
Ghilezan, Silvia Privacy for Linked Data2012Cost Action Richmodels meeting, 04/11/2012, Haifa, Israel
Ghilezan, 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
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning about simply typed lambda terms1-Jan-2018Lecture 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-189M33
Kašterović, Simona; Ghilezan, Silvia Probabilistic Reasoning about Typed Combinatory Logic202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31M34
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning in type systems20165th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24M34
Kašterović, Simona; Ghilezan, Silvia Probabilistic reasoning with lambda termsSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, CroatiaM34
Ghilezan, Silvia Proof Theory: Applications1-Jan-2013Lambda Calculus with Types; 323-376M14
Ghilezan, Silvia Računske interpretacije intuicionističke i klasične logike2012Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia
Ghilezan, Silvia Reducibility method and logical relations in intuitionistic logic and programming languages2013CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, SerbiaM32
Ghilezan, Silvia ; Likavec, SilviaReducibility method and resource control2013UNILOG 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, SilviaReducibility method for termination properties of typed lambda terms2001Extended 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, ViktorReducibility method in simply typed lambda calculus2001Novi Sad Journal of Mathematics; 31; 27-32
Ghilezan, Silvia Reducibility method: an overview2013LAP 2013 - 2nd Conference Logic and Applications, Dubrovnik, Croatia, 16-21/09/2013; 2-3
Ghilezan, Silvia ; Likavec, SilviaReducibility: a ubiguitous method in lambda calculus with intersection types2002Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70M33
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, BettiThe “Relevance” of intersection and union types1-Jan-1997Notre Dame Journal of Formal Logic; 38(2); 246-269
Ghilezan, Silvia Resource control in sequent lambda calculus2010TYPES 2010, 13-16/10/2010, Warsaw, Poland