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

Mariangiola Dezani-Ciancaglini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
100EEBogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina: Type Disciplines for Analysing Biologically Relevant Properties. Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009)
99EEMariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida: Objects and session types. Inf. Comput. 207(5): 595-641 (2009)
98EESara 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
97EELorenzo 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
96EEMariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta: On Isomorphisms of Intersection Types. CSL 2008: 461-477
95EELorenzo 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
94EEMario Coppo, Mariangiola Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. TGC 2008: 104-125
93EEMariangiola Dezani-Ciancaglini, J. Roger Hindley: Lambda-Calculus. Wiley Encyclopedia of Computer Science and Engineering 2008
92EEMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008)
91EEMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008)
2007
90EEMario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31
89EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida: On Progress for Structured Communications. TGC 2007: 257-275
88EEMariangiola Dezani-Ciancaglini, Makoto Tatsuta: A Behavioural Model for Klop's Calculus. Electr. Notes Theor. Comput. Sci. 169: 19-32 (2007)
87EEPablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: Boxed ambients with communication interfaces. Mathematical Structures in Computer Science 17(4): 587-645 (2007)
86EEFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007)
2006
85EEGiuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
84EEMariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou: Session Types for Object-Oriented Languages. ECOOP 2006: 328-352
83EEMariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida: Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245
82EEMakoto Tatsuta, Mariangiola Dezani-Ciancaglini: Normalisation is Insensible to lambda-Term Identity or Difference. LICS 2006: 327-338
81EEPablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini: BASS: boxed ambients with safe sessions. PPDP 2006: 61-72
80EEMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic: Security Types for Dynamic Web Data. TGC 2006: 263-280
79EEFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection types and lambda models. Theor. Comput. Sci. 355(2): 108-126 (2006)
2005
78EEMario 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
77EEMariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou: A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318
76EEFabio Alessi, Mariangiola Dezani-Ciancaglini: Type Preorders and Recursive Terms. Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005)
75EEMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional characterisations of lambda-terms using intersection types. Theor. Comput. Sci. 340(3): 459-495 (2005)
2004
74 Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
73EEEduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda: Boxed Ambients with Communication Interfaces. MFCS 2004: 119-148
72EEFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304
71EESté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)
70EEFerruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: On Re-classification and Multi-threading. Journal of Object Technology 3(11): 5-30 (2004)
69EEFabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection types and domain operators. Theor. Comput. Sci. 316(1): 25-47 (2004)
68EEMariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec: Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004)
2003
67EEFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: A Calculus of Bounded Capacities. ASIAN 2003: 205-223
66EEFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Tailoring Filter Models. TYPES 2003: 17-33
65EEMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003)
64EEMario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: (2003)
63EEChristopher 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): (2003)
62EEFabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection Types and Computational Rules. Electr. Notes Theor. Comput. Sci. 84: (2003)
61EEMariangiola 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
60EESteffen van Bakel, Mariangiola Dezani-Ciancaglini: Characterising Strong Normalisation for Explicit Substitutions. LATIN 2002: 356-370
59EEMariangiola Dezani-Ciancaglini, Silvia Ghilezan: Two Behavioural Lambda Models. TYPES 2002: 127-147
58EEMario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271
57EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: More dynamic object reclassification: Fickle|| ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002)
56EEMariangiola Dezani-Ciancaglini, Stefania Lusin: Intersection Types and Lambda Theories CoRR cs.LO/0211011: (2002)
55EEMariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama: The Relevance of Semantic Subtyping. Electr. Notes Theor. Comput. Sci. 70(1): (2002)
54 Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama: The Semantics of Entailment Omega. Notre Dame Journal of Formal Logic 43(3): 129-145 (2002)
53EEMariangiola Dezani-Ciancaglini, Mitsuhiro Okada, Masako Takahashi: Theories of Types and Proofs 1997 - Preface. Theor. Comput. Sci. 272(1-2): 1-2 (2002)
52EESteffen 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
51EESophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149
50EEFabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell: Filter Models and Easy Terms. ICTCS 2001: 17-37
49EEMariangiola Dezani-Ciancaglini, Elio Giovannetti: From Bohm's Theorem to Observational Equivalences: an Informal Account. Electr. Notes Theor. Comput. Sci. 50(2): (2001)
48EEMario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
47EEFranco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone: A Type Inference Algorithm for Secure Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
46EEMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11(3): 395-417 (2001)
2000
45EEMariangiola Dezani-Ciancaglini, Ivano Salvo: Security Types for Mobile Safe Ambients. ASIAN 2000: 215-236
44 Mariangiola Dezani-Ciancaglini: Intersection Types and Properties of Lambda Terms. ICALP Satellite Workshops 2000: 267-268
43 Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops 2000: 287-302
42EEMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS 2000: 304-313
41EEMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of Complete Intersection-Type Theories CoRR cs.LO/0011039: (2000)
40EEMariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries: Böhm's theorem for Berarducci trees. Electr. Notes Theor. Comput. Sci. 31: (2000)
1999
39 Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999)
38 Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers: The Algorithm. Inf. Comput. 150(2): 153-186 (1999)
37 Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini: A filter model for mobile processes. Mathematical Structures in Computer Science 9(1): 63-101 (1999)
36 Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999)
35EEAlessandro Berarducci, Mariangiola Dezani-Ciancaglini: Infinite lambda-Calculus and Types. Theor. Comput. Sci. 212(1-2): 29-75 (1999)
1998
34 Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries: Types for trees. PROCOMET 1998: 11-29
33EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998)
1997
32EEMariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn: Discrimination by Parallel Observers. LICS 1997: 396-407
31 Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477
30 Fabio 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)
29 Mariangiola 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
28EEMariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996)
1995
27 Mariangiola 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
26 Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics Inf. Comput. 119(2): 202-230 (1995)
1994
25 Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220
24 Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35
23 Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Combining Type Disciplines. Ann. Pure Appl. Logic 66(3): 197-230 (1994)
22 Mariangiola Dezani-Ciancaglini: Preface Inf. Comput. 109(1/2): 1-3 (1994)
1993
21 Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno: Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412
1992
20 Mariangiola Dezani-Ciancaglini, J. Roger Hindley: Intersection Types for Combinatory Logic. Theor. Comput. Sci. 100(2): 303-324 (1992)
1991
19 Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection and Union Types. TACS 1991: 651-674
1990
18 Mariangiola Dezani-Ciancaglini, Betti Venneri: Partial Types and Intervals. SIAM J. Comput. 19(4): 644-568 (1990)
1989
17 Giorgio 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
16 Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Type Theories, Normal Forms and D_\infty-Lambda-Models Inf. Comput. 72(2): 85-116 (1987)
1986
15 Mariangiola Dezani-Ciancaglini, Ines Margaria: A Characterization of F-Complete Type Assignments. Theor. Comput. Sci. 45(2): 121-157 (1986)
1984
14 Mariangiola Dezani-Ciancaglini, Ines Margaria: F-Semantics for Intersection Type Discipline. Semantics of Data Types 1984: 279-300
1983
13 Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo: Applicative Information Systems. CAAP 1983: 35-64
12 Henk 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
11 Mariangiola Dezani-Ciancaglini, Ugo Montanari: International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings Springer 1982
1979
10 Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé: Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146
9 Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta: Complexity of lambda-term reductions. ITA 13(3): (1979)
8 Corrado 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
7 Mario 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
6 Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini: Termination Tests inside lambda-Calculus. ICALP 1977: 95-110
1976
5 Mariangiola Dezani-Ciancaglini: Characterization of Normal Forms Possessing Inverse in the lambda-beta-mu -Calculus. Theor. Comput. Sci. 2(3): 323-337 (1976)
1975
4 Corrado 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
3 Mariangiola Dezani-Ciancaglini, Maddalena Zacchi: Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms. ICALP 1974: 170-184
2 Corrado Böhm, Mariangiola Dezani-Ciancaglini: Combinatorial Problems, Combinator Equations and Normal Forms. ICALP 1974: 185-199
1 Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca: Listing of information structures defined by fixed-point operators. Symposium on Programming 1974: 266-279

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)