Silvia Ghilezan

69 papers A* 1B 1C 5Misc 2Journal 34Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT. Int. J. Softw. Tools Technol. Transf. Miodrag Djukic, Ivan Prokic, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokic
2025	C	`conf`	On Asynchronous Multiparty Session Types for Federated Learning. ICTAC Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2025	J	`jnl`	Relaxed Choices in Bottom-Up Asynchronous Multiparty Session Types. CoRR Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida
2023	J	`jnl`	A Simple Python Testbed for Federated Learning Algorithms. CoRR Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan
2023	—	`conf`	Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
2023	J	`jnl`	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
2023	J	`jnl`	Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2022	—	`ed.`	27th International Conference on Types for Proofs and Programs, TYPES 2021, Leiden, The Netherlands (Virtual Conference), June 14-18, 2021 TYPES Henning Basold, Jesper Cockx, Silvia Ghilezan
2022	J	`jnl`	Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
2022	J	`jnl`	Logic of Combinatory Logic. CoRR Simona Kasterovic, Silvia Ghilezan
2022	J	`jnl`	Semantics for Combinatory Logic With Intersection Types. Frontiers Comput. Sci. Silvia Ghilezan, Simona Kasterovic
2021	J	`jnl`	L-types for resource awareness: an implicit name approach. CoRR Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Pierre Lescanne
2021	C	`ed.`	PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 PPDP Niccolò Veltri, Nick Benton, Silvia Ghilezan
2021	J	`jnl`	Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2021	—	`conf`	Type Systems for Trustworthiness -- from Mathematics to Large-Scale Systems. ECBS Silvia Ghilezan
2020	J	`jnl`	Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. J. Log. Comput. Simona Kasterovic, Silvia Ghilezan
2020	—	`conf`	Logic and Applications - LAP Meeting. Logic, Language, and Security Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer
2020	J	`jnl`	Precise Subtyping for Asynchronous Multiparty Sessions. CoRR Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
2020	—	`conf`	Preserving Privacy in Caller ID Applications. Privacy and Identity Management Tamara Stefanovic, Silvia Ghilezan
2020	—	`conf`	Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
2019	—	`conf`	Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. ECBS Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic
2019	J	`jnl`	Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
2019	J	`jnl`	The Duality of Classical Intersection and Union Types. Fundam. Informaticae Paul Downen, Zena M. Ariola, Silvia Ghilezan
2018	—	`ed.`	22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, May 23-26, 2016 TYPES Silvia Ghilezan, Herman Geuvers, Jelena Ivetic
2018	Misc	`conf`	Probabilistic Reasoning About Simply Typed Lambda Terms. LFCS Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic
2017	—	`conf`	An approach to formal verification of python software transactional memory. ECBS Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic
2017	C	`conf`	Characterization of strong normalizability for a sequent lambda calculus with co-control. PPDP José Espírito Santo, Silvia Ghilezan
2017	J	`jnl`	Linked data privacy. Math. Struct. Comput. Sci. Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan
2016	—	`conf`	Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2016	J	`jnl`	Dynamic role authorization in multiparty conversations. Formal Aspects Comput. Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2016	J	`jnl`	Encoding of Multi Level J. Multiple Valued Log. Soft Comput. Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
2015	—	`conf`	A Typed Model for Dynamic Authorizations. PLACES Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2015	J	`jnl`	Combining behavioural types with security analysis. CoRR 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
2015	J	`jnl`	Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 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
2015	—	`conf`	Precise subtyping for synchronous multiparty sessions. PLACES Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2014	—	`conf`	Dynamic Role Authorization in Multiparty Conversations. BEAT Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
2014	—	`conf`	On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic
2014	—	`conf`	Preciseness of Subtyping on Intersection and Union Types. RTA-TLCA Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
2014	J	`jnl`	Resource control and intersection types: an intrinsic connection. CoRR Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
2013	J	`jnl`	A journey through resource control lambda calculi and explicit substitution using intersection types (an account). CoRR Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
2012	J	`jnl`	Computational interpretation of classical logic with explicit structural rules CoRR Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
2012	J	`jnl`	Preface. Fundam. Informaticae Silvia Ghilezan, Luca Paolini
2011	C	`conf`	Intersection Types for the Resource Control Lambda Calculi. ICTAC Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
2011	J	`jnl`	Resource control and strong normalisation CoRR Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec
2010	—	`conf`	Types for Role-Based Access Control of Dynamic Web Data. WFLP Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
2009	—	`conf`	Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. TbiLLC Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic
2008	A*	`conf`	An approach to call-by-name delimited continuations. POPL Hugo Herbelin, Silvia Ghilezan
2008	J	`jnl`	Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
2008	J	`jnl`	Security types for dynamic web data. Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
2007	—	`conf`	Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES José Espírito Santo, Silvia Ghilezan, Jelena Ivetic
2007	—	`ch.`	Partitioning Finite d-Dimensional Integer Grids with Applications. Handbook of Approximation Algorithms and Metaheuristics Silvia Ghilezan, Jovisa D. Zunic, Jovanka Pantovic
2007	J	`jnl`	Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Trans. Neural Networks Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic
2006	—	`conf`	Security Types for Dynamic Web Data. TGC Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic
2005	B	`conf`	Strong Normalization of the Dual Classical Sequent Calculus. LPAR Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
2004	J	`jnl`	Behavioural inverse limit lambda-models. Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec
2004	C	`conf`	Characterizing strong normalization in a language with control operators. PPDP Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
2004	—	`conf`	Intersection and Union Types in the lambda-my-my/tilde-calculus. ITRS Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
2003	—	`conf`	Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. TYPES Silvia Ghilezan, Pierre Lescanne
2002	—	`conf`	Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. ITRS Silvia Ghilezan, Silvia Likavec
2002	—	`conf`	Two Behavioural Lambda Models. TYPES Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
2001	—	`conf`	Confluence of Untyped Lambda Calculus via Simple Types. ICTCS Silvia Ghilezan, Viktor Kuncak
2001	J	`jnl`	Full Intersection Types and Topologies in Lambda Calculus. J. Comput. Syst. Sci. Silvia Ghilezan
2000	—	`conf`	Intersection Types and Topologies and Lambda Calculus. ICALP Satellite Workshops Silvia Ghilezan
2000	J	`jnl`	Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. Henk Barendregt, Silvia Ghilezan
1997	J	`jnl`	The "Relevance" of Intersection and Union Types. Notre Dame J. Formal Log. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
1996	J	`jnl`	Generalized Finiteness of Developments in Typed Lambda Calculi. J. Autom. Lang. Comb. Silvia Ghilezan
1996	J	`jnl`	Strong Normalization and Typability with Intersection Types. Notre Dame J. Formal Log. Silvia Ghilezan
1994	Misc	`conf`	Application of Typed Lambda Calculi in the Untyped Lambda Calculus. LFCS Silvia Ghilezan
1993	J	`jnl`	Inhabitation in Intersection and Union Type Assignment Systems. J. Log. Comput. Silvia Ghilezan