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 89 to 108 of 139 < previous   next >
Author(s)TitleIssue DateAppears inRank
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 ; Stefanović, TamaraPrivacy-preserving contact tracing2023Mathematics 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ć, 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 ; Kunčak, ViktorReducibility method in simply typed lambda calculus2000XIV Conference on Applied Mathematics PRIM, Palić, June 2000
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