Ghilezan, Silvia

Type

Date issued

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 1-20 of 37 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2022	Semantics for Combinatory Logic With Intersection Types	Ghilezan, Silvia ; Kašterović, Simona	Article	22M22
2022	Probabilistic Reasoning about Typed Combinatory Logic	Kašterović, Simona ; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2022	Crypto-Covid: Privacy challenges in BlockChain and Contact Tracing	Stefanović, Tamara ; Ghilezan, Silvia ; Kašterović, Simona	Conference Paper	Mp. category will be shown later
2021	Differential Privacy and Applications	Stefanović, Tamara ; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2021	Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2021	Kripke-style semantics and completeness for full simply typed Lambda calculus	Kašterović, Simona ; Ghilezan, Silvia	Article	21M21
2021	Towards Logic of Combinatory Logic	Kašterović, Simona ; Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2021	Federating Digital Contact Tracing using Structured Overlay Networks	Ghilezan, Silvia ; Kašterović, Simona ; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara	Conference Paper	Mp. category will be shown later
2016	Types and Privacy : Invited talk	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2015	Types in access control and privacy : Invited talk	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2015	Overview of the publication “Selected Topics in Logic in Computer Science”	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2015	An optimization of lambda type assignment via resource control	Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2014	Church-Rosser Theorem for sequent lambda calculi	Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia	Conference Paper	Mp. category will be shown later
2013	Reducibility method: an overview	Ghilezan, Silvia	Conference Paper	Mp. category will be shown later
2013	Proof Theory: Applications	Ghilezan, Silvia	Book parts	Mp. category will be shown later
2012	Intersection Types and Related Systems. Preface	Ghilezan, Silvia ; Paolini, Luca	Other	Mp. category will be shown later
2008	An approach to call-by-name delimited continuations	Herbelin, Hugo; Ghilezan, Silvia	Article	23M23
2008	Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage	Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre	Article	22M22
2008	Characterising strongly normalising intuitionistic sequent terms	Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena	Article	Mp. category will be shown later
2008	Security types for dynamic web data	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele	Article	22M22