×

zbMATH — the first resource for mathematics

Ghilezan, Silvia

Compute Distance To:
Author ID: ghilezan.silvia Recent zbMATH articles by "Ghilezan, Silvia"
Published as: Ghilezan, S.; Ghilezan, Silvia; Ghilezan, Silvija
External Links: MGP
Documents Indexed: 40 Publications since 1993, including 3 Books

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 79 times in 57 Documents Cited by Year
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
8
2000
The “relevance” of intersection and union types. Zbl 0918.03008
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti
8
1997
Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia
7
2004
Strong normalization and typability with intersection types. Zbl 0859.03007
Ghilezan, Silvia
7
1996
Two behavioural lambda models. Zbl 1023.03022
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
6
2003
An approach to call-by-name delimited continuations. Zbl 1295.68063
Herbelin, Hugo; Ghilezan, Silvia
5
2008
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Zbl 1146.68028
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
5
2008
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
4
2015
Types for role-based access control of dynamic web data. Zbl 1327.68169
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka
4
2011
Security types for dynamic web data. Zbl 1146.68014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele
4
2008
Strong normalization of the dual classical sequent calculus. Zbl 1143.03360
Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia
4
2005
Security types for dynamic web data. Zbl 1211.68267
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka
3
2007
Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus. Zbl 1272.03078
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
3
2005
Dynamic role authorization in multiparty conversations. Zbl 1345.68235
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge A.; Torres Vieira, Hugo
2
2016
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
1
2019
Linked data privacy. Zbl 1364.68073
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia
1
2017
Preciseness of subtyping on intersection and union types. Zbl 1416.68035
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
1
2014
Intersection types for the resource control lambda calculi. Zbl 1351.03008
Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia
1
2011
Intuitionistic sequent-style calculus with explicit structural rules. Zbl 1341.03019
Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Žunić, Dragisa
1
2011
Computational interpretations of logics. Zbl 1313.03002
Ghilezan, Silvia; Likavec, Silvia
1
2009
Confluence of untyped lambda calculus via simple types. Zbl 1042.03016
Ghilezan, Silvia; Kuncak, Viktor
1
2001
Application of typed lambda calculi in the untyped lambda calculus. Zbl 0947.03021
Ghilezan, Silvia
1
1994
Inhabitation in intersection and union type assignment systems. Zbl 0806.03012
Ghilezan, Silvia
1
1993
Precise subtyping for synchronous multiparty sessions. Zbl 1423.68306
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko
1
2019
Linked data privacy. Zbl 1364.68073
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia
1
2017
Dynamic role authorization in multiparty conversations. Zbl 1345.68235
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge A.; Torres Vieira, Hugo
2
2016
Combining behavioural types with security analysis. Zbl 1330.68045
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres
4
2015
Preciseness of subtyping on intersection and union types. Zbl 1416.68035
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
1
2014
Types for role-based access control of dynamic web data. Zbl 1327.68169
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka
4
2011
Intersection types for the resource control lambda calculi. Zbl 1351.03008
Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia
1
2011
Intuitionistic sequent-style calculus with explicit structural rules. Zbl 1341.03019
Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Žunić, Dragisa
1
2011
Computational interpretations of logics. Zbl 1313.03002
Ghilezan, Silvia; Likavec, Silvia
1
2009
An approach to call-by-name delimited continuations. Zbl 1295.68063
Herbelin, Hugo; Ghilezan, Silvia
5
2008
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage. Zbl 1146.68028
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
5
2008
Security types for dynamic web data. Zbl 1146.68014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele
4
2008
Security types for dynamic web data. Zbl 1211.68267
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka
3
2007
Strong normalization of the dual classical sequent calculus. Zbl 1143.03360
Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia
4
2005
Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus. Zbl 1272.03078
Dougherty, Daniel J.; Ghilezan, Silvia; Lescanne, Pierre
3
2005
Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia
7
2004
Two behavioural lambda models. Zbl 1023.03022
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia
6
2003
Confluence of untyped lambda calculus via simple types. Zbl 1042.03016
Ghilezan, Silvia; Kuncak, Viktor
1
2001
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
8
2000
The “relevance” of intersection and union types. Zbl 0918.03008
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Venneri, Betti
8
1997
Strong normalization and typability with intersection types. Zbl 0859.03007
Ghilezan, Silvia
7
1996
Application of typed lambda calculi in the untyped lambda calculus. Zbl 0947.03021
Ghilezan, Silvia
1
1994
Inhabitation in intersection and union type assignment systems. Zbl 0806.03012
Ghilezan, Silvia
1
1993
all top 5

Cited by 87 Authors

14 Dezani-Ciancaglini, Mariangiola
12 Ghilezan, Silvia
7 Pantović, Jovanka
5 van Bakel, Steffen
4 Alessi, Fabio
4 Barbanera, Franco
4 de’Liguoro, Ugo
4 Jakšić, Svetlana
4 Lescanne, Pierre
3 Castellani, Ilaria
3 Kesner, Delia
3 Likavec, Silvia
3 Pérez, Jorge A.
3 Vieira, Hugo Torres
2 Ariola, Zena M.
2 Bartoletti, Massimo
2 Dougherty, Daniel J.
2 Horne, Ross
2 Lengrand, Stéphane Jean Eric
2 Motohama, Yoko
2 Ronchi Della Rocca, Simona
2 Saurin, Alexis
2 Scalas, Alceste
2 Schroeder-Heister, Peter Joseph
2 Vial, Pierre
2 Yoshida, Nobuko
1 Ayala-Rincón, Mauricio
1 Berardi, Stefano
1 Bettini, Lorenzo
1 Biernacki, Dariusz
1 Bimbó, Katalin
1 Bodei, Chiara
1 Bono, Viviana
1 Brodo, Linda
1 Bruni, Roberto
1 Bucciarelli, Antonio
1 Ciobanu, Gabriel
1 Coppo, Mario
1 Deniélou, Pierre-Malo
1 Devesas Campos, Marco
1 Dougherty, Dan
1 Downen, Paul
1 Dunn, Jon Michael
1 Engeler, Erwin
1 Fernández, Maribel
1 Fiore, Marcelo P.
1 Frisch, Alain
1 Giannini, Paola
1 Giovannetti, Elio
1 Gutiérrez, Francisco L.
1 Herbelin, Hugo
1 Honsell, Furio
1 Ivetić, Jelena
1 Johnson-Freyd, Philip
1 Kamareddine, Fairouz D.
1 Lanese, Ivan
1 Lenglet, Sergueï
1 Liquori, Luigi
1 Lusin, Stefania
1 Miquel, Alexandre
1 Miquey, Étienne
1 Murgia, Maurizio
1 Padovani, Luca
1 Paolini, Luca
1 Piccolo, Mauro
1 Polesiuk, Piotr
1 Prokić, Ivan
1 Rahli, Vincent
1 Rocha-Oliveira, Ana Cristina
1 Ruiz, Blas
1 Sassone, Vladimiro
1 Severi, Paula Gabriela
1 Sørensen, Morten Heine B.
1 Stolze, Claude
1 Thiemann, Peter J.
1 Toninho, Bernardo
1 Tuosto, Emilio
1 Urzyczyn, Paweł
1 Valentini, Silvio
1 van Raamsdonk, Femke
1 Varacca, Daniele
1 Venneri, Betti
1 Lima Ventura, Daniel
1 Viale, Matteo
1 Wilkie, Alex James
1 Xi, Hongwei
1 Zunino, Roberto

Citations by Year