Inhabitation in Intersection and Union Type Assignment Systems. - Silvia Ghilezan (J. Log. Comput., 1993)

Application of Typed Lambda Calculi in the Untyped Lambda Calculus. - Silvia Ghilezan (LFCS, 1994)

Generalized Finiteness of Developments in Typed Lambda Calculi. - Silvia Ghilezan (J. Autom. Lang. Comb., 1996)

Strong Normalization and Typability with Intersection Types. - Silvia Ghilezan (Notre Dame J. Formal Log., 1996)

The "Relevance" of Intersection and Union Types. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Betti Venneri (Notre Dame J. Formal Log., 1997)

Intersection Types and Topologies and Lambda Calculus. - Silvia Ghilezan (ICALP Satellite Workshops, 2000)

Lambda terms for natural deduction, sequent calculus and cut elimination. - Henk Barendregt; Silvia Ghilezan (J. Funct. Program., 2000)

Confluence of Untyped Lambda Calculus via Simple Types. - Silvia Ghilezan; Viktor Kuncak (ICTCS, 2001)

Full Intersection Types and Topologies in Lambda Calculus. - Silvia Ghilezan (J. Comput. Syst. Sci., 2001)

Two Behavioural Lambda Models. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan (TYPES, 2002)

Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. - Silvia Ghilezan; Silvia Likavec (ITRS, 2002)

Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. - Silvia Ghilezan; Pierre Lescanne (TYPES, 2003)

Characterizing strong normalization in a language with control operators. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne (PPDP, 2004)

Intersection and Union Types in the lambda-my-my/tilde-calculus. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne (ITRS, 2004)

Behavioural inverse limit lambda-models. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Silvia Likavec (Theor. Comput. Sci., 2004)

Strong Normalization of the Dual Classical Sequent Calculus. - Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne; Silvia Likavec (LPAR, 2005)

Security Types for Dynamic Web Data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic (TGC, 2006)

Characterising Strongly Normalising Intuitionistic Sequent Terms. - José Espírito Santo; Silvia Ghilezan; Jelena Ivetic (TYPES, 2007)

Separating Points by Parallel Hyperplanes - Characterization Problem. - Silvia Ghilezan; Jovanka Pantovic; Jovisa D. Zunic (IEEE Trans. Neural Networks, 2007)

Partitioning Finite d-Dimensional Integer Grids with Applications. - Silvia Ghilezan; Jovisa D. Zunic; Jovanka Pantovic (Handbook of Approximation Algorithms and Metaheuristics, 2007)

An approach to call-by-name delimited continuations. - Hugo Herbelin; Silvia Ghilezan (POPL, 2008)

Security types for dynamic web data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Jovanka Pantovic; Daniele Varacca (Theor. Comput. Sci., 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)

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Dragisa Zunic (TbiLLC, 2009)

Types for Role-Based Access Control of Dynamic Web Data. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic (WFLP, 2010)

Intersection Types for the Resource Control Lambda Calculi. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (ICTAC, 2011)

Resource control and strong normalisation - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (CoRR, 2011)

Computational interpretation of classical logic with explicit structural rules - Silvia Ghilezan; Pierre Lescanne; Dragisa Zunic (CoRR, 2012)

Preface. - Silvia Ghilezan; Luca Paolini (Fundam. Informaticae, 2012)

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)

On the Number of S-Threshold Functions on Not Necessarily Binary Input. - Jovanka Pantovic; Silvia Ghilezan; Jovisa D. Zunic (ISMVL, 2014)

Preciseness of Subtyping on Intersection and Union Types. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan (RTA-TLCA, 2014)

Resource control and intersection types: an intrinsic connection. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (CoRR, 2014)

Precise subtyping for synchronous multiparty sessions. - Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Nobuko Yoshida (PLACES, 2015)

A Typed Model for Dynamic Authorizations. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Jorge A. Pérez 001; Hugo Torres Vieira (PLACES, 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 001; Peter Thiemann 001; Bernardo Toninho; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2015)

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 (Theory and Practice of Formal Methods, 2016)

Dynamic role authorization in multiparty conversations. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Jorge A. Pérez 001; Hugo Torres Vieira (Formal Aspects Comput., 2016)

Encoding of Multi Level S-Threshold Functions. - Jovanka Pantovic; Silvia Ghilezan; Jovisa D. Zunic (J. Multiple Valued Log. Soft Comput., 2016)

An approach to formal verification of python software transactional memory. - Branislav Kordic; Miroslav Popovic; Silvia Ghilezan; Ilija Basicevic (ECBS, 2017)

Characterization of strong normalizability for a sequent lambda calculus with co-control. - José Espírito Santo; Silvia Ghilezan (PPDP, 2017)

Linked data privacy. - Svetlana Jaksic; Jovanka Pantovic; Silvia Ghilezan (Math. Struct. Comput. Sci., 2017)

Probabilistic Reasoning About Simply Typed Lambda Terms. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (LFCS, 2018)

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. - Miroslav Popovic; Marko Popovic; Silvia Ghilezan; Branislav Kordic (ECBS, 2019)

The Duality of Classical Intersection and Union Types. - Paul Downen; Zena M. Ariola; Silvia Ghilezan (Fundam. Informaticae, 2019)

Precise subtyping for synchronous multiparty sessions. - Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Alceste Scalas; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2019)

Logic and Applications - LAP Meeting. - Zvonimir Sikic; Silvia Ghilezan; Zoran Ognjanovic; Thomas Studer (Logic, Language, and Security, 2020)

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (FoIKS, 2020)

Preserving Privacy in Caller ID Applications. - Tamara Stefanovic; Silvia Ghilezan (Privacy and Identity Management, 2020)

Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. - Simona Kasterovic; Silvia Ghilezan (J. Log. Comput., 2020)

Type Systems for Trustworthiness – from Mathematics to Large-Scale Systems. - Silvia Ghilezan (ECBS, 2021)

L-types for resource awareness: an implicit name approach. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Pierre Lescanne (CoRR, 2021)

Precise subtyping for asynchronous multiparty sessions. - Silvia Ghilezan; Jovanka Pantovic; Ivan Prokic; Alceste Scalas; Nobuko Yoshida (Proc. ACM Program. Lang., 2021)

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)

Logic of Combinatory Logic. - Simona Kasterovic; Silvia Ghilezan (CoRR, 2022)

Semantics for Combinatory Logic With Intersection Types. - Silvia Ghilezan; Simona Kasterovic (Frontiers Comput. Sci., 2022)

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. - Ivan Prokic; Silvia Ghilezan; Simona Kasterovic; Miroslav Popovic; Marko Popovic; Ivan Kastelan (ECBS, 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: Python translation to CSP and verification by PAT. - Miodrag Djukic; Ivan Prokic; Miroslav Popovic; Silvia Ghilezan; Marko Popovic; Simona Prokic (Int. J. Softw. Tools Technol. Transf., 2025)

Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types. - Ivan Prokic; Simona Prokic; Silvia Ghilezan; Alceste Scalas; Nobuko Yoshida (CoRR, 2025)