Silvia Ghilezan

According to our database, Silvia Ghilezan authored at least 58 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Simple Python Testbed for Federated Learning Algorithms.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan

CoRR, 2023

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.

Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2022

Semantics for Combinatory Logic With Intersection Types.

Silvia Ghilezan, Simona Kasterovic

Frontiers Comput. Sci., 2022

Logic of Combinatory Logic.

Simona Kasterovic, Silvia Ghilezan

CoRR, 2022

Federating digital contact tracing using structured overlay networks.

Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic

Comput. Sci. Inf. Syst., 2022

2021

Precise subtyping for asynchronous multiparty sessions.

Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida

Proc. ACM Program. Lang., 2021

L-types for resource awareness: an implicit name approach.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Pierre Lescanne

CoRR, 2021

Type Systems for Trustworthiness -- from Mathematics to Large-Scale Systems.

Silvia Ghilezan

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

2020

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.

Simona Kasterovic, Silvia Ghilezan

J. Log. Comput., 2020

Preserving Privacy in Caller ID Applications.

Tamara Stefanovic, Silvia Ghilezan

Proceedings of the Privacy and Identity Management: 15th IFIP WG 9.2, 2020

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Logic and Applications - LAP Meeting.

Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer

Proceedings of the Logic, 2020

2019

Precise subtyping for synchronous multiparty sessions.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2019

The Duality of Classical Intersection and Union Types.

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundam. Informaticae, 2019

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.

Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

2018

Probabilistic Reasoning About Simply Typed Lambda Terms.

Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

Linked data privacy.

Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan

Math. Struct. Comput. Sci., 2017

Characterization of strong normalizability for a sequent lambda calculus with co-control.

José Espírito Santo, Silvia Ghilezan

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

An approach to formal verification of python software transactional memory.

Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

2016

Encoding of Multi Level <i>S</i>-Threshold Functions.

Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic

J. Multiple Valued Log. Soft Comput., 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Combining behavioural types with security analysis.

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira

J. Log. Algebraic Methods Program., 2015

A Typed Model for Dynamic Authorizations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Precise subtyping for synchronous multiparty sessions.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

2014

Dynamic Role Authorization in Multiparty Conversations.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Resource control and intersection types: an intrinsic connection.

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec

CoRR, 2014

Preciseness of Subtyping on Intersection and Union Types.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

On the Number of S-Threshold Functions on Not Necessarily Binary Input.

Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

2013

A journey through resource control lambda calculi and explicit substitution using intersection types (an account).

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec

CoRR, 2013

2012

Preface.

Silvia Ghilezan, Luca Paolini

Fundam. Informaticae, 2012

Computational interpretation of classical logic with explicit structural rules

Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic

CoRR, 2012

2011

Resource control and strong normalisation

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec

CoRR, 2011

Intersection Types for the Resource Control Lambda Calculi.

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2010

Types for Role-Based Access Control of Dynamic Web Data.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic

Proceedings of the Functional and Constraint Logic Programming, 2010

2009

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules.

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic

Proceedings of the Logic, Language, and Computation, 2009

2008

Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage.

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Theor. Comput. Sci., 2008

Security types for dynamic web data.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca

Theor. Comput. Sci., 2008

An approach to call-by-name delimited continuations.

Hugo Herbelin, Silvia Ghilezan

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Partitioning Finite d-Dimensional Integer Grids with Applications.

Silvia Ghilezan, Jovisa D. Zunic, Jovanka Pantovic

Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007

Separating Points by Parallel Hyperplanes - Characterization Problem.

Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic

IEEE Trans. Neural Networks, 2007

Characterising Strongly Normalising Intuitionistic Sequent Terms.

José Espírito Santo, Silvia Ghilezan, Jelena Ivetic

Proceedings of the Types for Proofs and Programs, International Conference, 2007

2006

Security Types for Dynamic Web Data.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

Strong Normalization of the Dual Classical Sequent Calculus.

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec

Proceedings of the Logic for Programming, 2005

2004

Behavioural inverse limit lambda-models.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec

Theor. Comput. Sci., 2004

Intersection and Union Types in the lambda-my-my/tilde-calculus.

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

Characterizing strong normalization in a language with control operators.

Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract.

Silvia Ghilezan, Pierre Lescanne

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002

Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.

Silvia Ghilezan, Silvia Likavec

Proceedings of the Intersection Types and Related Systems, 2002

Two Behavioural Lambda Models.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

Full Intersection Types and Topologies in Lambda Calculus.

Silvia Ghilezan

J. Comput. Syst. Sci., 2001

Confluence of Untyped Lambda Calculus via Simple Types.

Silvia Ghilezan, Viktor Kuncak

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

2000

Lambda terms for natural deduction, sequent calculus and cut elimination.

Henk Barendregt, Silvia Ghilezan

J. Funct. Program., 2000

Intersection Types and Topologies and Lambda Calculus.

Silvia Ghilezan

Proceedings of the ICALP Workshops 2000, 2000

1997

The "Relevance" of Intersection and Union Types.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri

Notre Dame J. Formal Log., 1997

1996

Strong Normalization and Typability with Intersection Types.

Silvia Ghilezan

Notre Dame J. Formal Log., 1996

Generalized Finiteness of Developments in Typed Lambda Calculi.

Silvia Ghilezan

J. Autom. Lang. Comb., 1996

1994

Application of Typed Lambda Calculi in the Untyped Lambda Calculus.

Silvia Ghilezan

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

Inhabitation in Intersection and Union Type Assignment Systems.

Silvia Ghilezan

J. Log. Comput., 1993