dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mariangiola Dezani-Ciancaglini (Selection)

Mariangiola Dezani

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic: Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic: Security Types for Dynamic Web Data. TGC 2006: 263-280
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec: Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan: Two Behavioural Lambda Models. TYPES 2002: 127-147
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri: The "Relevance" of Intersection and Union Types. Notre Dame Journal of Formal Logic 38(2): 246-269 (1997)

Selection of 6 from 123 records - Mariangiola Dezani-Ciancaglini has 81 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page