Mariangiola Dezani-Ciancaglini

207 papers A* 10A 3B 14C 12Misc 1Journal 86Unranked 77
YearRankTypeTitle / Venue / Authors
2026 B conf
Lambda Galore.
FoSSaCS
Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell
2026 J jnl
Sensible Intersection Type Theories.
CoRR
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini, Furio Honsell
2025 — conf
Modular Multiparty Sessions with Mixed Choice.
ICE
Franco Barbanera, Mariangiola Dezani-Ciancaglini
2025 J jnl
Open compliance in multiparty sessions with partial typing.
J. Log. Algebraic Methods Program.
Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini
2025 J jnl
Partially typed multiparty sessions with internal delegation.
J. Log. Algebraic Methods Program.
Franco Barbanera, Viviana Bono, Mariangiola Dezani-Ciancaglini
2025 B conf
Unsolvable Terms in Filter Models (Invited Talk).
FSCD
Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell
2024 — conf
Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday.
ISoLA (1)
Franco Barbanera, Mariangiola Dezani-Ciancaglini
2024 J jnl
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions.
Fundam. Informaticae
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2024 C conf
On the Preciseness of Subtyping in Session Types: 10 Years Later.
PPDP
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2024 C conf
Un-projectable Global Types for Multiparty Sessions.
PPDP
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2024 — conf
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity.
Logics and Type Systems in Theory and Practice
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
2023 J jnl
Deconfined Global Types for Asynchronous Sessions.
Log. Methods Comput. Sci.
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2023 J jnl
Event structure semantics for multiparty sessions.
J. Log. Algebraic Methods Program.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2023 — conf
Gradual Guarantee for FJ with lambda-Expressions.
FTfJP@ECOOP
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
2023 C conf
Multicompatibility for Multiparty-Session Composition.
PPDP
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
2023 — conf
Partial Typing for Asynchronous Multiparty Sessions.
DCM
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2023 — conf
Partially Typed Multiparty Sessions.
ICE
Franco Barbanera, Mariangiola Dezani-Ciancaglini
2022 — conf
Asynchronous Sessions with Input Races.
PLACES@ETAPS
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2022 J jnl
Event structure semantics for multiparty sessions.
CoRR
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2022 — conf
Open Compliance in Multiparty Sessions.
FACS
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2021 J jnl
Composition and decomposition of multiparty sessions.
J. Log. Algebraic Methods Program.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto
2021 C conf
Deconfined Global Types for Asynchronous Sessions.
COORDINATION
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021 J jnl
Deconfined Global Types for Asynchronous Sessions.
CoRR
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
2021 J jnl
Global types and event structure semantics for asynchronous multiparty sessions.
CoRR
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2020 A* conf
A tale of intersection types.
LICS
Viviana Bono, Mariangiola Dezani-Ciancaglini
2020 — conf
Deconfined Intersection Types in Java.
Gabbrielli's Festschrift
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2020 J jnl
Global types with internal delegation.
Theor. Comput. Sci.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne
2020 A conf
Soundness Conditions for Big-Step Semantics.
ESOP
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2020 J jnl
Soundness conditions for big-step semantics.
CoRR
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2019 — conf
Event Structure Semantics for Multiparty Sessions.
Models, Languages, and Tools for Concurrent and Distributed Programming
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2019 C conf
Foundations of Session Types: 10 Years Later.
PPDP
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2019 J jnl
Observational Equivalence for Multiparty Sessions.
Fundam. Informaticae
Paula Severi, Mariangiola Dezani-Ciancaglini
2019 — conf
Open Multiparty Sessions.
ICE
Franco Barbanera, Mariangiola Dezani-Ciancaglini
2019 J jnl
Reversible sessions with flexible choices.
Acta Informatica
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2018 — conf
Intersection Types in Java: Back to the Future.
Models, Mindsets, Meta
Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2018 J jnl
Java & Lambda: a Featherweight Story.
CoRR
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Betti Venneri
2018 J jnl
Java & Lambda: a Featherweight Story.
Log. Methods Comput. Sci.
Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri
2017 B conf
Concurrent Reversible Sessions.
CONCUR
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2017 J jnl
Data-driven adaptation for smart sessions.
J. Log. Algebraic Methods Program.
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2017 J jnl
Isomorphism of intersection and union types.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2017 J jnl
On Sessions and Infinite Data.
Log. Methods Comput. Sci.
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2017 J jnl
On the Preciseness of Subtyping in Session Types.
Log. Methods Comput. Sci.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
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
EATCS Fellows' Advice to the Young Theoretical Computer Scientist.
Bull. EATCS
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
2016 J jnl
Global progress for dynamically interleaved multiparty sessions.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani
2016 J jnl
Information flow safety in multiparty sessions.
Math. Struct. Comput. Sci.
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2016 C conf
On Sessions and Infinite Data.
COORDINATION
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016 J jnl
On Sessions and Infinite Data.
CoRR
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016 J jnl
On the Preciseness of Subtyping in Session Types.
CoRR
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida
2016 — conf
Parallel Monitors for Self-adaptive Sessions.
PLACES
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2016 — conf
Retractions in Intersection Types.
ITRS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
2016 — conf
Reversible Multiparty Sessions with Checkpoints.
EXPRESS/SOS
Mariangiola Dezani-Ciancaglini, Paola Giannini
2016 J jnl
Reversible client/server interactions.
Formal Aspects Comput.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2016 — conf
Secure Multiparty Sessions with Topics.
PLACES
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2016 J jnl
Self-adaptation and secure information flow in multiparty communications.
Formal Aspects Comput.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2015 — conf
A Gentle Introduction to Multiparty Asynchronous Session Types.
SFM
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
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
Partial and Complete Processes in Multiparty Sessions.
ICTCS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2015 — conf
Precise subtyping for synchronous multiparty sessions.
PLACES
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida
2015 — conf
Retractable Contracts.
PLACES
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
2015 J jnl
Self-adaptive multiparty sessions.
Serv. Oriented Comput. Appl.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2014 — conf
Compliance for reversible client/server interactions.
BEAT
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2014 — conf
On Isomorphism of "Functional" Intersection and Union Types.
ITRS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2014 C conf
On the Preciseness of Subtyping in Session Types.
PPDP
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2014 — conf
Preciseness of Subtyping on Intersection and Union Types.
RTA-TLCA
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
2014 — conf
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.
BEAT
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
2014 C conf
Self-Adaptive Monitors for Multiparty Sessions.
PDP
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
2014 — conf
Session Type Isomorphisms.
PLACES
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
2014 J jnl
Typing access control and secure information flow in sessions.
Inf. Comput.
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2013 J jnl
Deriving session and union types for objects.
Math. Struct. Comput. Sci.
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
2013 C conf
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
COORDINATION
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
2013 — conf
Isomorphism of "Functional" Intersection Types.
TYPES
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2013 J jnl
Type Directed Semantics for the Calculus of Looping Sequences.
Int. J. Softw. Informatics
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2012 J jnl
On Global Types and Multi-Party Session
Log. Methods Comput. Sci.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2012 — conf
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
MeCBIC
Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
2012 — conf
Toward Isomorphism of Intersection and Union types.
ITRS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
2012 J jnl
Tracing where and who provenance in Linked Data: A calculus.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone
2012 J jnl
Typed stochastic semantics for the calculus of looping sequences.
Theor. Comput. Sci.
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2011 — conf
A Calculus of Looping Sequences with Local Rules
DCM
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2011 — conf
A Reputation System for Multirole Sessions.
TGC
Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2011 — conf
Constraints for Service Contracts.
TGC
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
2011 J jnl
Extending the lambda-calculus with unbind and rebind.
RAIRO Theor. Informatics Appl.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2011 — conf
Information Flow Safety in Multiparty Sessions
EXPRESS
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
2011 — conf
On Global Types and Multi-party Sessions.
FMOODS/FORTE
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2010 J jnl
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.
Fundam. Informaticae
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
2010 — conf
Intersection types for unbind and rebind
ITRS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2010 J jnl
On isomorphisms of intersection types.
ACM Trans. Comput. Log.
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
2010 B conf
Session Types for Access and Information Flow Control.
CONCUR
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk
2010 — conf
Towards a semantic model for Java wildcards.
FTfJP@ECOOP
Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
2010 — conf
Types for Role-Based Access Control of Dynamic Web Data.
WFLP
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic
2009 — conf
A Type System for Required/Excluded Elements in CLS
DCM
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2009 — conf
A Type System for a Stochastic CLS
MeCBIC
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
2009 J jnl
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci.
Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
2009 C conf
Foundations of session types.
PPDP
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2009 B conf
Intersection, Universally Quantified, and Reference Types.
CSL
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
2009 J jnl
Objects and session types.
Inf. Comput.
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
2009 — conf
Sessions and Session Types: An Overview.
WS-FM
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2009 — conf
The essence of static and dynamic bindings.
ICTCS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2008 J jnl
A Calculus of Evolving Objects.
Sci. Ann. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
2008 B conf
Global Progress in Dynamically Interleaved Multiparty Sessions.
CONCUR
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2008 — ch.
Lambda-Calculus.
Wiley Encyclopedia of Computer Science and Engineering
Mariangiola Dezani-Ciancaglini, J. Roger Hindley
2008 B conf
On Isomorphisms of Intersection Types.
CSL
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
2008 J jnl
Security types for dynamic web data.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
2008 — conf
Session and Union Types for Object Oriented Programming.
Concurrency, Graphs and Models
Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri
2008 — conf
Structured Communications with Concurrent Constraints.
TGC
Mario Coppo, Mariangiola Dezani-Ciancaglini
2008 — conf
Type Disciplines for Analysing Biologically Relevant Properties.
MeCBIC
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina
2008 J jnl
Types for ambient and process mobility.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti
2007 — conf
Asynchronous Session Types and Progress for Object Oriented Languages.
FMOODS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
2007 J jnl
Boxed ambients with communication interfaces.
Math. Struct. Comput. Sci.
Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
2007 — conf
On Progress for Structured Communications.
TGC
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida
2007 — conf
Preface.
DCM@ICALP
Vincent Danos, Mariangiola Dezani-Ciancaglini
2007 J jnl
Space-aware ambients and processes.
Theor. Comput. Sci.
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2006 — conf
A Behavioural Model for Klop's Calculus.
LMCS
Mariangiola Dezani-Ciancaglini, Makoto Tatsuta
2006 C conf
BASS: boxed ambients with safe sessions.
PPDP
Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini
2006 — conf
Bounded Session Types for Object Oriented Languages.
FMCO
Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
2006 B conf
Encoding CDuce in the Cpi-Calculus.
CONCUR
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
2006 J jnl
Intersection types and lambda models.
Theor. Comput. Sci.
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2006 A* conf
Normalisation is Insensible to lambda-Term Identity or Difference.
LICS
Makoto Tatsuta, Mariangiola Dezani-Ciancaglini
2006 — conf
Security Types for Dynamic Web Data.
TGC
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic
2006 A conf
Session Types for Object-Oriented Languages.
ECOOP
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou
2005 — conf
A Distributed Object-Oriented Language with Session Types.
TGC
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou
2005 — conf
A Mobility Calculus with Local and Dependent Types.
Processes, Terms and Cycles
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
2005 J jnl
Compositional characterisations of
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
2004 J jnl
Behavioural inverse limit lambda-models.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec
2004 B conf
Boxed Ambients with Communication Interfaces.
MFCS
Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
2004 — conf
Dynamic and Local Typing for Mobile Ambients.
IFIP TCS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
2004 J jnl
Intersection types and domain operators.
Theor. Comput. Sci.
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin
2004 J jnl
Intersection types for explicit substitutions.
Inf. Comput.
Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel
2004 J jnl
On Re-classification and Multi-threading.
J. Object Technol.
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2004 Misc conf
Re-classification and multi-threading:
SAC
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2004 — conf
Type Preorders and Recursive Terms.
ITRS
Fabio Alessi, Mariangiola Dezani-Ciancaglini
2003 — conf
A Calculus of Bounded Capacities.
ASIAN
Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone
2003 J jnl
A complete characterization of complete intersection-type preorders.
ACM Trans. Comput. Log.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2003 — conf
Can addresses be types? (A case study: objects with delegation).
WOOD
Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
2003 J jnl
Infinitary lambda calculus and discrimination of Berarducci trees.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
2003 C conf
Intersection Types and Computational Rules.
WoLLIC
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2003 — conf
Mobility Types for Mobile Processes in Mobile Ambients.
CATS
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
2003 — conf
Tailoring Filter Models.
TYPES
Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
2002 B conf
A Fully Abstract Model for Higher-Order Mobile Ambients.
VMCAI
Mario Coppo, Mariangiola Dezani-Ciancaglini
2002 B conf
Characterising Strong Normalisation for Explicit Substitutions.
LATIN
Steffen van Bakel, Mariangiola Dezani-Ciancaglini
2002 J jnl
Intersection Types and Lambda Theories
CoRR
Mariangiola Dezani-Ciancaglini, Stefania Lusin
2002 J jnl
Intersection types for lambda-trees.
Theor. Comput. Sci.
Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
2002 J jnl
More dynamic object reclassification: Fickle
ACM Trans. Program. Lang. Syst.
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2002 — conf
The Relevance of Semantic Subtyping.
ITRS
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
2002 J jnl
The Semantics of Entailment Omega.
Notre Dame J. Formal Log.
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
2002 J jnl
Theories of Types and Proofs 1997 - Preface.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi
2002 — conf
Two Behavioural Lambda Models.
TYPES
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
2001 — conf
A Fully Abstract Model for Mobile Ambients.
TOSCA
Mario Coppo, Mariangiola Dezani-Ciancaglini
2001 — conf
A Type Inference Algorithm for Secure Ambients.
TOSCA
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
2001 J jnl
Approximation Theorems for Intersection Type Systems.
J. Log. Comput.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
2001 A conf
Fickle : Dynamic Object Re-classification.
ECOOP
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2001 — conf
Filter Models and Easy Terms.
ICTCS
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
2001 — conf
From Bohm's Theorem to Observational Equivalences: an Informal Account.
BOTH
Mariangiola Dezani-Ciancaglini, Elio Giovannetti
2000 J jnl
A Complete Characterization of Complete Intersection-Type Theories
CoRR
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2000 — conf
A Complete Characterization of the Complete Intersection-Type Theories.
ICALP Satellite Workshops
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2000 — conf
Böhm's theorem for Berarducci trees.
CATS
Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
2000 B conf
Compositional Characterizations of lambda-Terms Using Intersection Types.
MFCS
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
2000 — conf
Intersection Types and Properties of Lambda Terms.
ICALP Satellite Workshops
Mariangiola Dezani-Ciancaglini
2000 — conf
Security Types for Mobile Safe Ambients.
ASIAN
Mariangiola Dezani-Ciancaglini, Ivano Salvo
1999 J jnl
A Subtyping for Extensible, Incomplete Objects.
Fundam. Informaticae
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
1999 J jnl
A filter model for mobile processes.
Math. Struct. Comput. Sci.
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
1999 J jnl
Discrimination by Parallel Observers: The Algorithm.
Inf. Comput.
Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
1999 J jnl
Infinite lambda-Calculus and Types.
Theor. Comput. Sci.
Alessandro Berarducci, Mariangiola Dezani-Ciancaglini
1999 J jnl
Preface.
Math. Struct. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin
1998 J jnl
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1998 — conf
Types for trees.
PROCOMET
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
1997 J jnl
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
Fundam. Informaticae
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1997 A* conf
Discrimination by Parallel Observers.
LICS
Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn
1997 — conf
Subtyping Constraints for Incomplete Objects (Extended Abstract).
TAPSOFT
Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
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
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1996 — —
Logical semantics for concurrent lambda-calculus.
Mariangiola Dezani-Ciancaglini
1995 J jnl
Intersection and Union Types: Syntax and Semantics
Inf. Comput.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1995 — ed.
Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings
TLCA
Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin
1994 J jnl
Combining Type Disciplines.
Ann. Pure Appl. Log.
Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1994 — conf
Fully Abstract Semantics for Concurrent Lambda-calculus.
TACS
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1994 B conf
May and Must Convergencey in Concurrent Lambda-Calculus.
MFCS
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1994 J jnl
Preface
Inf. Comput.
Mariangiola Dezani-Ciancaglini
1993 B conf
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
MFCS
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1992 J jnl
Intersection Types for Combinatory Logic.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, J. Roger Hindley
1991 — conf
Intersection and Union Types.
TACS
Franco Barbanera, Mariangiola Dezani-Ciancaglini
1990 J jnl
Partial Types and Intervals.
SIAM J. Comput.
Mariangiola Dezani-Ciancaglini, Betti Venneri
1989 A* ed.
Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings
ICALP
Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
1987 — conf
Polymorphic types, fixed-point combinators and continuous lambda-models.
Formal Description of Programming Concepts
Mariangiola Dezani-Ciancaglini, Ines Margaria
1987 J jnl
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
1986 J jnl
A Characterization of F-Complete Type Assignments.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Ines Margaria
1984 — conf
F-Semantics for Intersection Type Discipline.
Semantics of Data Types
Mariangiola Dezani-Ciancaglini, Ines Margaria
1983 J jnl
A Filter Lambda Model and the Completeness of Type Assignment.
J. Symb. Log.
Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
1983 — conf
Applicative Information Systems.
CAAP
Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo
1982 — ed.
International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings
Symposium on Programming
Mariangiola Dezani-Ciancaglini, Ugo Montanari
1981 J jnl
Functional Characters of Solvable Terms.
Math. Log. Q.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
1980 J jnl
An extension of the basic functionality theory for the λ-calculus.
Notre Dame J. Formal Log.
Mario Coppo, Mariangiola Dezani-Ciancaglini
1979 J jnl
A Discrimination Algorithm Inside lambda-beta-Calculus.
Theor. Comput. Sci.
Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
1979 J jnl
Complexity of lambda-term reductions.
RAIRO Theor. Informatics Appl.
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta
1979 A* conf
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.
ICALP
Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé
1978 A* conf
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.
ICALP
Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
1978 J jnl
A new type assignment for λ-terms.
Arch. Math. Log.
Mario Coppo, Mariangiola Dezani-Ciancaglini
1977 A* conf
Termination Tests inside lambda-Calculus.
ICALP
Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
1976 J jnl
Characterization of Normal Forms Possessing Inverse in the
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini
1975 — conf
Lambda-terms as total or partial functions on normal forms.
Lambda-Calculus and Computer Science Theory
Corrado Böhm, Mariangiola Dezani-Ciancaglini
1974 J jnl
A parenthesis machine for string manipulation.
RAIRO Theor. Informatics Appl.
Mariangiola Dezani-Ciancaglini
1974 A* conf
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.
ICALP
Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
1974 A* conf
Combinatorial Problems, Combinator Equations and Normal Forms.
ICALP
Corrado Böhm, Mariangiola Dezani-Ciancaglini
1974 — conf
Listing of information structures defined by fixed-point operators.
Symposium on Programming
Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
1972 J jnl
A CUCH-machine: The automatic treatment of bound variables.
Int. J. Parallel Program.
Corrado Böhm, Mariangiola Dezani-Ciancaglini
1972 A* conf
Can Syntax Be Ignored during Translation?
ICALP
Corrado Böhm, Mariangiola Dezani-Ciancaglini