Browsing by Author Ghilezan, Silvia
Showing results 11 to 30 of 121
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Espirito Santo, Jose; Ghilezan, Silvia | Characterization of strong normalizability for a lambda-calculus with co-control | Jun-2017 | TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58 | M34 |
| Santo, José Espírito; Ghilezan, Silvia | Characterization of strong normalizability for a sequent lambda calculus with co-control | 9-Oct-2017 | ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174 | |
| Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in a language with control operators | 1-Jan-2004 | Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; Verona; Italy; 24 August 2004 through 26 August 2004; 155-166 | |
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | 28-May-2008 | Theoretical Computer Science; 398(1-3); 114-128 | M22 |
| Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Church-Rosser Theorem for sequent lambda calculi | 2014 | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | M34 |
| Ghilezan, Silvia ; Lescanne, Pierre | Classical Proofs, Typed Processes, and Intersection Types Extended Abstract | 1-Dec-2004 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Workshop on Types for Proofs and Programs, TYPES 2003; 3085; 226-241 | M22 |
| Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Combining behavioural types with security analysis | 1-Nov-2015 | Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780 | M21 |
| Ghilezan, Silvia | Computational approach to conjugation | 2014 | VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia; 33 | M34 |
| Ghilezan, Silvia | Computational interpretations of logic | 2010 | Higher Order Rewritting, July 14, 2010, Edinburgh, UK | |
| Ghilezan, Silvia ; Likavec, Silvia | Computational interpretations of logics | 2009 | Zbornik Radova; 12(20); 159-215 | M14 |
| Ghilezan, Silvia ; Kunčak, Viktor | Confluence of untyped lambda calculus via simple types | 1-Jan-2001 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 7th Italian Conference on Theoretical Computer Science, ICTCS 2001; Torino; Italy; 4 October 2001 through 6 October 2001; 2202; 38-49 | M21 |
| Stefanović, Tamara; Ghilezan, Silvia ; Kašterović, Simona | Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 47-48 | M34 |
| Ghilezan, Silvia | Denotational and Operational Preciseness of Subtyping | Jan-2017 | EUTypes 2017 - EUTypes Meeting, 30-31 January 2017, Ljubljana, Slovenia | M34 |
| Ghilezan, Silvia | Denotational and Operational Preciseness of Subtyping : Invited talk | Jun-2019 | Annual meeting of IFIP Working Group 1.6: Rewriting, June 26, 2019, Dortmund, Germany | M32 |
| Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Denotational and operational preciseness of subtyping: A roadmap | 1-Jan-2016 | Lecture 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-172 | M33 |
| Stefanović, Tamara; Ghilezan, Silvia | Differential Privacy and Applications | 2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54 | M34 |
| Ghilezan, Silvia | Doctoral School towards Knowledge Based Society : Invited talk | Jun-2018 | EXCELL 2018 - Serbia for Excell Workshop, Horizon 2020 - Twinning - 2015, June 25-29, 2018, University of Novi Sad, Serbia | M32 |
| Downen, Paul; Ariola, Zena; Ghilezan, Silvia | The Duality of Classical Intersection and Union Types | 1-Jan-2019 | Fundamenta Informaticae; 170(1-3); 39-92 | M22 |
| Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | Dynamic role authorization in multiparty conversations | 1-Jan-2014 | Electronic 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 Torres | Dynamic role authorization in multiparty conversations | 1-Jan-2016 | Formal Aspects of Computing; 28(4); 643-667 | M23 |