DEZANI, Mariangiola
DEZANI, Mariangiola
INFORMATICA
A Reputation System for Multirole Sessions
2012-01-01 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
A tale of intersection types
2020-01-01 Bono V.; Dezani-Ciancaglini M.
A Type System for Required/Excluded Elements in CLS
2009-01-01 Mariangiola Dezani; Paola Giannini; Angelo Troina
Amalgamating the Session Types and the Object Oriented Programming Paradigms
2007-01-01 S. DROSSOPOULOU; M. DEZANI; M. COPPO
BASS: Boxed Ambients with Safe Sessions
2006-01-01 PABLO GARRALDA; ADRIANA COMPAGNONI; M. DEZANI
Compliance for reversible client/server interactions
2014-01-01 F. Barbanera; M. Dezani; U. de'Liguoro
Constraints for Service Contracts
2012-01-01 Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari
Discrimination by Parallel Observers
1997-01-01 M. Dezani-Ciancaglini;J. Tiuryn;P. Urzyczyn
Dynamic and Local Typing for Mobile Ambients
2004-01-01 M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE
Fickle: Dynamic object re-classification
2001-01-01 SOPHIA DROSSOPOULOU; FERRUCCIO DAMIANI; M. DEZANI; PAOLA GIANNINI
Fickle: Dynamic object re-classification.
2001-01-01 DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P.
Foundations of Session Types
2009-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
Foundations of Session Types: 10 Years Later
2019-01-01 Giuseppe Castagna, Mariangiola Dezani, Elena Giachino, Luca Padovani
Global Progress in Dynamically Interleaved Multiparty Sessions
2008-01-01 Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida
Gradual Guarantee for FJ with lambda-Expressions
2023-01-01 Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013-01-01 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Information Flow Safety in Multiparty Sessions
2011-01-01 Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
Intersection Types for Unbind and Rebind
2011-01-01 Mariangiola Dezani; Paola Giannini; Elena Zucca
Intersection, Universally Quantified and Reference Types
2009-01-01 M. Dezani; P. Giannini; S. Ronchi Della Rocca
Inverse limit models as filter models
2004-01-01 M. DEZANI; F. ALESSI; F. HONSELL
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Reputation System for Multirole Sessions | 2012 | Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani | |
| A tale of intersection types | 2020 | Bono V.; Dezani-Ciancaglini M. | |
| A Type System for Required/Excluded Elements in CLS | 2009 | Mariangiola Dezani; Paola Giannini; Angelo Troina | |
| Amalgamating the Session Types and the Object Oriented Programming Paradigms | 2007 | S. DROSSOPOULOU; M. DEZANI; M. COPPO | |
| BASS: Boxed Ambients with Safe Sessions | 2006 | PABLO GARRALDA; ADRIANA COMPAGNONI; M. DEZANI | |
| Compliance for reversible client/server interactions | 2014 | F. Barbanera; M. Dezani; U. de'Liguoro | |
| Constraints for Service Contracts | 2012 | Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari | |
| Discrimination by Parallel Observers | 1997 | M. Dezani-Ciancaglini;J. Tiuryn;P. Urzyczyn | |
| Dynamic and Local Typing for Mobile Ambients | 2004 | M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE | |
| Fickle: Dynamic object re-classification | 2001 | SOPHIA DROSSOPOULOU; FERRUCCIO DAMIANI; M. DEZANI; PAOLA GIANNINI | |
| Fickle: Dynamic object re-classification. | 2001 | DROSSOPOULOU S.; DAMIANI F.; M. DEZANI; GIANNINI P. | |
| Foundations of Session Types | 2009 | Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | |
| Foundations of Session Types: 10 Years Later | 2019 | Giuseppe Castagna, Mariangiola Dezani, Elena Giachino, Luca Padovani | |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008 | Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida | |
| Gradual Guarantee for FJ with lambda-Expressions | 2023 | Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido | |
| Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions | 2013 | Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida | |
| Information Flow Safety in Multiparty Sessions | 2011 | Sara Capecchi; Ilaria Castellani; Mariangiola Dezani | |
| Intersection Types for Unbind and Rebind | 2011 | Mariangiola Dezani; Paola Giannini; Elena Zucca | |
| Intersection, Universally Quantified and Reference Types | 2009 | M. Dezani; P. Giannini; S. Ronchi Della Rocca | |
| Inverse limit models as filter models | 2004 | M. DEZANI; F. ALESSI; F. HONSELL |