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 24 to 43 of 139 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia The correspondence between weak implicational logics and typed lambda calculus1989Journal of Symbolic Logic (1992), 57: 297; The 1989 European Summer Meeting of ASL (Logic Colloquium), Berlin, Germany (1989); ProceedingsM34
Stefanović, Tamara; Ghilezan, Silvia ; Kašterović, SimonaCrypto-Covid: Privacy challenges in BlockChain and Contact Tracing202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 47-48M34
Ghilezan, Silvia Cut elimination in the simply typed lambda calculus1997Panhellenic Logic Symposium, Nicosia, Cyprus (1997); Proceedings; 21-24
Ghilezan, Silvia Denotational and Operational Preciseness of SubtypingJan-2017EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, SloveniaM34
Ghilezan, Silvia Denotational and Operational Preciseness of Subtyping : Invited talkJun-2019Annual meeting of IFIP Working Group 1.6: Rewriting, June 26, 2019, Dortmund, GermanyM32
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoDenotational and operational preciseness of subtyping: A roadmap1-Jan-2016Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Frank de Boer on the Occasion of His 60th Birthday, 2016; Porto; Portugal; 5 July 2016 through 5 July 2016; 9660; 155-172M33
Stefanović, Tamara; Ghilezan, Silvia Differential Privacy and Applications202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54M34
Ghilezan, Silvia Doctoral School towards Knowledge Based Society : Invited talkJun-2018EXCELL 2018 - Serbia for Excell Workshop, Horizon 2020 - Twinning - 2015, June 25-29, 2018, University of Novi Sad, SerbiaM32
Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2014Electronic Proceedings in Theoretical Computer Science, EPTCS; 3rd Workshop on Behavioural Types, BEAT 2014; Rome; Italy; 1 September 2014; 162; 1-8
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2016Formal Aspects of Computing; 28(4); 643-667M23
Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša Encoding of multilevel S-threshold functions1-Jan-2016Journal of Multiple-Valued Logic and Soft Computing; 26(1-2); 89-108M23
Ghilezan, Silvia ; Likavec, SilviaExtensions of the reducibility method2003PLS4 - The 4th Panhellenic Logic Symposium; 107-112M33
Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating digital contact tracing using structured overlay networks2022Computer Science and Information Systems~M23
Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, TamaraFederating Digital Contact Tracing using Structured Overlay NetworksSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 28-30M34
Ghilezan, Silvia Finite vs Infinite - A lesson on scientific rigor and mathematical preciseness2015Liber Amicorum Henk Barendregt; 34
Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, BranislavFormal Verification of Local and Distributed Python Software Transactional Memories14-Oct-2019Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428M23
Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22
Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, BranislavFormal verification of python software transactional memory serializability based on the push/pull semantic model2-Sep-2019ACM International Conference Proceeding Series; 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019; Bucharest; Romania; 2 September 2019 through 3 September 2019
Ghilezan, Silvia Full intersection types and topologies in lambda calculus1-Jan-2001Journal of Computer and System Sciences; 62(1); 1-14M21
Showing results 24 to 43 of 139 < previous   next >