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 68 to 87 of 139 < previous   next >
Author(s)TitleIssue DateAppears inRank
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan Matematicki metodi i zastita privatnosti2017Privatnost u digitalnom dobu: iluzija ili nacionalni izazovM60
Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran Mathematical methods for privacy protection2018Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43M34
Ghilezan, Silvia Natural deduction and sequent typed lambda calculus1999Novi Sad Journal of Mathematics; 29(2); 209-220
Ghilezan, Silvia Natural deduction versus sequent lambda calculus19973rd Barcelona Logic Meeting, Barcelona, Spain (1997); Proceedings
Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadNormalisation in substructural term calculi2015UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, TurkeyM34
Ghilezan, Silvia A note on typed combinators and typed lambda terms1993Review of Research Faculty of Science. Mathematics Series; 23(1); 319-329
Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša On the number of S-threshold functions on not necessarily binary input1-Jan-2014Proceedings of The International Symposium on Multiple-Valued Logic; 44th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2014; Bremen; Germany; 19 May 2014 through 21 May 2014; 13-18
Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadAn optimisation of lambda type assignments via resource control2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22M34
Ivetić, Jelena; Ghilezan, Silvia ; Savić, NenadAn optimization of lambda type assignment via resource control2015International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23M34
Smederevac, Snežana; Pajić, Dejan; Ghilezan, Silvia ; Čolović, Petar; Milosavljević, BrankoOtvorena nauka: praksa i perspektive2-Apr-2020
Stefanović, 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
Ghilezan, Silvia Overview of the publication “Selected Topics in Logic in Computer Science”2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 19-20M34
Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Partitioning finite d-dimensional integer grids with applications1-Jan-2007Handbook of Approximation Algorithms and Metaheuristics; 55-1
Ghilezan, Silvia Peirce's law and lambda calculus1992Proceedings 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 Programming2021PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021M36
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21
Ghilezan, 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
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions10-Feb-2016Electronic 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
Showing results 68 to 87 of 139 < previous   next >