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

Mariangiola Dezani-Ciancaglini Home Page Coauthor index pubzone.org

Mariangiola Dezani

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

DBLP keys2012
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-Party Session Logical Methods in Computer Science 8(1): (2012)
2011
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini: Information Flow Safety in Multiparty Sessions EXPRESS 2011: 16-30
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Extending the lambda-calculus with unbind and rebind. RAIRO - Theor. Inf. and Applic. 45(1): 143-162 (2011)
2010
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk: Session Types for Access and Information Flow Control. CONCUR 2010: 237-252
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Intersection types for unbind and rebind ITRS 2010: 45-58
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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On isomorphisms of intersection types. ACM Trans. Comput. Log. 11(4): (2010)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo: A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Inform. 103(1-4): 1-29 (2010)
2009
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for Required/Excluded Elements in CLS DCM 2009: 38-48
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: The essence of static and dynamic bindings. ICTCS 2009: 99-106
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Type System for a Stochastic CLS MeCBIC 2009: 91-105
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani: Foundations of session types. PPDP 2009: 219-230
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Sessions and Session Types: An Overview. WS-FM 2009: 1-28
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina: Type Disciplines for Analysing Biologically Relevant Properties. Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino: Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009)
2008
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On Isomorphisms of Intersection Types. CSL 2008: 461-477
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri: Session and Union Types for Object Oriented Programming. Concurrency, Graphs and Models 2008: 659-680
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. TGC 2008: 104-125
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, J. Roger Hindley: Lambda-Calculus. Wiley Encyclopedia of Computer Science and Engineering 2008
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Danos, Mariangiola Dezani-Ciancaglini: Preface. Electr. Notes Theor. Comput. Sci. 192(3): 1-2 (2008)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz: A Calculus of Evolving Objects. Sci. Ann. Comp. Sci. 18: 63-98 (2008)
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)
2007
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Makoto Tatsuta: A Behavioural Model for Klop's Calculus. Electr. Notes Theor. Comput. Sci. 169: 19-32 (2007)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: Boxed ambients with communication interfaces. Mathematical Structures in Computer Science 17(4): 587-645 (2007)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007)
2006
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida: Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMakoto Tatsuta, Mariangiola Dezani-Ciancaglini: Normalisation is Insensible to lambda-Term Identity or Difference. LICS 2006: 327-338
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: BASS: boxed ambients with safe sessions. PPDP 2006: 61-72
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
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006)
2005
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou: A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Mariangiola Dezani-Ciancaglini: Type Preorders and Recursive Terms. Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional characterisations of lambda-terms using intersection types. Theor. Comput. Sci. 340(3): 459-495 (2005)
2004
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda: Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel: Intersection types for explicit substitutions. Inf. Comput. 189(1): 17-42 (2004)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)
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)
2003
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: A Calculus of Bounded Capacities. ASIAN 2003: 205-223
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Tailoring Filter Models. TYPES 2003: 17-33
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: 144-177 (2003)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou: Can addresses be types? (A case study: objects with delegation). Electr. Notes Theor. Comput. Sci. 82(7): 108-129 (2003)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection Types and Computational Rules. Electr. Notes Theor. Comput. Sci. 84: 45-59 (2003)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Infinitary lambda calculus and discrimination of Berarducci trees. Theor. Comput. Sci. 2(298): 275-302 (2003)
2002
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Mariangiola Dezani-Ciancaglini: Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Silvia Ghilezan: Two Behavioural Lambda Models. TYPES 2002: 127-147
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection Types and Lambda Theories CoRR cs.LO/0211011: (2002)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama: The Relevance of Semantic Subtyping. Electr. Notes Theor. Comput. Sci. 70(1): 88-105 (2002)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama: The Semantics of Entailment Omega. Notre Dame Journal of Formal Logic 43(3): 129-145 (2002)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi: Theories of Types and Proofs 1997 - Preface. Theor. Comput. Sci. 272(1-2): 1-2 (2002)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Intersection types for lambda-trees. Theor. Comput. Sci. 272(1-2): 3-40 (2002)
2001
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell: Filter Models and Easy Terms. ICTCS 2001: 17-37
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Elio Giovannetti: From Bohm's Theorem to Observational Equivalences: an Informal Account. Electr. Notes Theor. Comput. Sci. 50(2): 83-116 (2001)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 62: 177-194 (2001)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone: A Type Inference Algorithm for Secure Ambients. Electr. Notes Theor. Comput. Sci. 62: 83-101 (2001)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11(3): 395-417 (2001)
2000
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ivano Salvo: Security Types for Mobile Safe Ambients. ASIAN 2000: 215-236
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini: Intersection Types and Properties of Lambda Terms. ICALP Satellite Workshops 2000: 267-268
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS 2000: 304-313
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of Complete Intersection-Type Theories CoRR cs.LO/0011039: (2000)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Böhm's theorem for Berarducci trees. Electr. Notes Theor. Comput. Sci. 31: 34-57 (2000)
1999
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers: The Algorithm. Inf. Comput. 150(2): 153-186 (1999)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: A filter model for mobile processes. Mathematical Structures in Computer Science 9(1): 63-101 (1999)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Berarducci, Mariangiola Dezani-Ciancaglini: Infinite lambda-Calculus and Types. Theor. Comput. Sci. 212(1-2): 29-75 (1999)
1998
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Types for trees. PROCOMET 1998: 11-29
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998)
1997
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers. LICS 1997: 396-407
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Inform. 32(3-4): 193-250 (1997)
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)
1996
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996)
1995
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Gordon D. Plotkin: Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings Springer 1995
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics Inf. Comput. 119(2): 202-230 (1995)
1994
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini: Preface Inf. Comput. 109(1/2): 1-3 (1994)
1993
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
1992
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, J. Roger Hindley: Intersection Types for Combinatory Logic. Theor. Comput. Sci. 100(2): 303-324 (1992)
1991
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection and Union Types. TACS 1991: 651-674
1990
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Betti Venneri: Partial Types and Intervals. SIAM J. Comput. 19(4): 644-568 (1990)
1989
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings Springer 1989
1987
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Type Theories, Normal Forms and D_\infty-Lambda-Models Inf. Comput. 72(2): 85-116 (1987)
1986
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ines Margaria: A Characterization of F-Complete Type Assignments. Theor. Comput. Sci. 45(2): 121-157 (1986)
1984
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ines Margaria: F-Semantics for Intersection Type Discipline. Semantics of Data Types 1984: 279-300
1983
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo: Applicative Information Systems. CAAP 1983: 35-64
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini: A Filter Lambda Model and the Completeness of Type Assignment. J. Symb. Log. 48(4): 931-940 (1983)
1982
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Ugo Montanari: International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings Springer 1982
1979
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta: Complexity of lambda-term reductions. ITA 13(3): (1979)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca: A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8: 265-292 (1979)
1978
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. ICALP 1978: 142-164
1977
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini: Termination Tests inside lambda-Calculus. ICALP 1977: 95-110
1976
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini: Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus. Theor. Comput. Sci. 2(3): 323-337 (1976)
1975
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani-Ciancaglini: Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory 1975: 96-121
1974
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariangiola Dezani-Ciancaglini, Maddalena Zacchi: Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP 1974: 170-184
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani-Ciancaglini: Combinatorial Problems, Combinator Equations and Normal Forms. ICALP 1974: 185-199
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279
1973
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani: Notes on "A CUCH-machine: The automatic treatment of bound variables". International Journal of Parallel Programming 2(2): 157-160 (1973)
1972
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani-Ciancaglini: Can Syntax Be Ignored during Translation? ICALP 1972: 197-207
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorrado Böhm, Mariangiola Dezani-Ciancaglini: A CUCH-machine: The automatic treatment of bound variables. International Journal of Parallel Programming 1(2): 171-191 (1972)

Coauthor Index

1Alexander Ahern [80]
2Fabio Alessi [28] [33] [44] [46] [53] [65] [68] [69] [72] [79] [82]
3Bogdan Aman [105]
4Christopher Anderson [66]
5Giorgio Ausiello [20]
6Steffen van Bakel [55] [63] [74]
7Franco Barbanera [22] [29] [37] [50] [55] [65] [66] [69] [70] [82] [89]
8Roberto Barbuti [112]
9Hendrik Pieter Barendregt (Henk Barendregt) [15]
10Alessandro Berarducci [38]
11Lorenzo Bettini [100] [102]
12Corrado Böhm [1] [2] [3] [4] [5] [7] [9] [11]
13Eduardo Bonelli [76] [90]
14Viviana Bono [34] [42]
15Michele Bugliesi [34] [42] [70] [89]
16Sara Capecchi [100] [103] [116] [119]
17Felice Cardone [26]
18Giuseppe Castagna [88] [107] [118] [120]
19Ilaria Castellani [116] [119]
20Adriana B. Compagnoni [76] [84] [90]
21Mario Coppo [9] [10] [13] [15] [16] [19] [51] [61] [67] [77] [81] [93] [96] [99] [102] [103]
22Roberto Di Cosmo [101] [113]
23Federico Cozzi [81]
24Loris D'Antoni [102]
25Ferruccio Damiani [40] [54] [60] [73] [75]
26Vincent Danos [97]
27Daniel J. Dougherty [74]
28Sophia Drossopoulou [54] [60] [66] [80] [86] [87] [103] [104]
29Alain Frisch [58]
30Pablo Garralda [76] [84] [90]
31Silvia Ghilezan [32] [62] [71] [83] [94] [114]
32Elena Giachino [86] [100] [103] [107]
33Paola Giannini [40] [54] [60] [73] [75] [95] [108] [109] [110] [111] [115] [117]
34Elio Giovannetti [52] [58] [67] [77] [81] [96] [101] [113]
35J. Roger Hindley [23] [98]
36Furio Honsell [44] [45] [46] [49] [53] [68] [78]
37Svetlana Jaksic [114]
38Stéphane Lengrand [74]
39Pierre Lescanne [74]
40Silvia Likavec [71]
41Luigi Liquori [34] [42]
42Giuseppe Longo [16] [39]
43Marco De Luca [102]
44Stefania Lusin [59] [72]
45Andrea Maggiolo-Schettini [112]
46Ines Margaria [17] [18]
47Robert K. Meyer [57]
48Paolo Milazzo [112]
49Ugo Montanari [14]
50Dimitris Mostrous [87] [104]
51Yoko Motohama [45] [49] [57] [58] [78]
52Oscar Nierstrasz [95]
53Mitsuhiro Okada [56]
54Luca Padovani [107] [118] [120]
55Jovanka Pantovic [83] [94] [114]
56P. Peretti [11]
57Adolfo Piperno [24] [27] [31] [36]
58Gordon D. Plotkin [30]
59Rosario Pugliese [77] [81]
60Tamara Rezk [116]
61Simona Ronchi Della Rocca [4] [10] [11] [12] [20] [111]
62Lorenza Saitta [12]
63Patrick Sallé [13]
64Ivano Salvo [48] [50] [67]
65Vladimiro Sassone [50] [70] [89]
66Jonathan P. Seldin [39]
67Paula Severi [43] [64]
68Masako Takahashi [56]
69Makoto Tatsuta [85] [91] [101] [113]
70Jerzy Tiuryn [35] [41]
71Angelo Troina [105] [108] [110] [112]
72Pawel Urzyczyn [35] [41]
73Daniele Varacca [88] [94]
74Betti Venneri [21] [32] [100]
75Fer-Jan de Vries [37] [43] [55] [64]
76Nobuko Yoshida [80] [86] [87] [92] [93] [102] [104]
77Maddalena Zacchi [6] [19]
78Elena Zucca [109] [115] [117]
79Ugo de'Liguoro [24] [26] [27] [28] [29] [31] [33] [36] [92] [106]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page