2009 |
100 | EE | Bogdan Aman,
Mariangiola Dezani-Ciancaglini,
Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties.
Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009) |
99 | EE | Mariangiola Dezani-Ciancaglini,
Sophia Drossopoulou,
Dimitris Mostrous,
Nobuko Yoshida:
Objects and session types.
Inf. Comput. 207(5): 595-641 (2009) |
98 | EE | Sara 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 |
97 | EE | Lorenzo 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 |
96 | EE | Mariangiola Dezani-Ciancaglini,
Roberto Di Cosmo,
Elio Giovannetti,
Makoto Tatsuta:
On Isomorphisms of Intersection Types.
CSL 2008: 461-477 |
95 | EE | Lorenzo 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 |
94 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini:
Structured Communications with Concurrent Constraints.
TGC 2008: 104-125 |
93 | EE | Mariangiola Dezani-Ciancaglini,
J. Roger Hindley:
Lambda-Calculus.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
92 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
Types for ambient and process mobility.
Mathematical Structures in Computer Science 18(2): 221-290 (2008) |
91 | EE | Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
Jovanka Pantovic,
Daniele Varacca:
Security types for dynamic web data.
Theor. Comput. Sci. 402(2-3): 156-171 (2008) |
2007 |
90 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages.
FMOODS 2007: 1-31 |
89 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Nobuko Yoshida:
On Progress for Structured Communications.
TGC 2007: 257-275 |
88 | EE | Mariangiola Dezani-Ciancaglini,
Makoto Tatsuta:
A Behavioural Model for Klop's Calculus.
Electr. Notes Theor. Comput. Sci. 169: 19-32 (2007) |
87 | EE | Pablo Garralda,
Eduardo Bonelli,
Adriana B. Compagnoni,
Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces.
Mathematical Structures in Computer Science 17(4): 587-645 (2007) |
86 | EE | Franco Barbanera,
Michele Bugliesi,
Mariangiola Dezani-Ciancaglini,
Vladimiro Sassone:
Space-aware ambients and processes.
Theor. Comput. Sci. 373(1-2): 41-69 (2007) |
2006 |
85 | EE | Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
Daniele Varacca:
Encoding CDuce in the Cpi-Calculus.
CONCUR 2006: 310-326 |
84 | EE | Mariangiola Dezani-Ciancaglini,
Dimitris Mostrous,
Nobuko Yoshida,
Sophia Drossopoulou:
Session Types for Object-Oriented Languages.
ECOOP 2006: 328-352 |
83 | EE | Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Sophia Drossopoulou,
Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages.
FMCO 2006: 207-245 |
82 | EE | Makoto Tatsuta,
Mariangiola Dezani-Ciancaglini:
Normalisation is Insensible to lambda-Term Identity or Difference.
LICS 2006: 327-338 |
81 | EE | Pablo Garralda,
Adriana B. Compagnoni,
Mariangiola Dezani-Ciancaglini:
BASS: boxed ambients with safe sessions.
PPDP 2006: 61-72 |
80 | EE | Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
Jovanka Pantovic:
Security Types for Dynamic Web Data.
TGC 2006: 263-280 |
79 | EE | Fabio Alessi,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini:
Intersection types and lambda models.
Theor. Comput. Sci. 355(2): 108-126 (2006) |
2005 |
78 | EE | Mario 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 |
77 | EE | Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
Alexander Ahern,
Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types.
TGC 2005: 299-318 |
76 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini:
Type Preorders and Recursive Terms.
Electr. Notes Theor. Comput. Sci. 136: 3-21 (2005) |
75 | EE | Mariangiola 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 |
73 | EE | Eduardo Bonelli,
Adriana B. Compagnoni,
Mariangiola Dezani-Ciancaglini,
Pablo Garralda:
Boxed Ambients with Communication Interfaces.
MFCS 2004: 119-148 |
72 | EE | Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
Re-classification and multi-threading: FickleMT.
SAC 2004: 1297-1304 |
71 | EE | Sté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) |
70 | EE | Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
On Re-classification and Multi-threading.
Journal of Object Technology 3(11): 5-30 (2004) |
69 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Stefania Lusin:
Intersection types and domain operators.
Theor. Comput. Sci. 316(1): 25-47 (2004) |
68 | EE | Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan,
Silvia Likavec:
Behavioural inverse limit lambda-models.
Theor. Comput. Sci. 316(1): 49-74 (2004) |
2003 |
67 | EE | Franco Barbanera,
Michele Bugliesi,
Mariangiola Dezani-Ciancaglini,
Vladimiro Sassone:
A Calculus of Bounded Capacities.
ASIAN 2003: 205-223 |
66 | EE | Fabio Alessi,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini:
Tailoring Filter Models.
TYPES 2003: 17-33 |
65 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A complete characterization of complete intersection-type preorders.
ACM Trans. Comput. Log. 4(1): 120-147 (2003) |
64 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
63 | EE | Christopher 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) |
62 | EE | Fabio Alessi,
Franco Barbanera,
Mariangiola Dezani-Ciancaglini:
Intersection Types and Computational Rules.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
61 | EE | Mariangiola 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 |
60 | EE | Steffen van Bakel,
Mariangiola Dezani-Ciancaglini:
Characterising Strong Normalisation for Explicit Substitutions.
LATIN 2002: 356-370 |
59 | EE | Mariangiola Dezani-Ciancaglini,
Silvia Ghilezan:
Two Behavioural Lambda Models.
TYPES 2002: 127-147 |
58 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Higher-Order Mobile Ambients.
VMCAI 2002: 255-271 |
57 | EE | Sophia Drossopoulou,
Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
More dynamic object reclassification: Fickle||
ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) |
56 | EE | Mariangiola Dezani-Ciancaglini,
Stefania Lusin:
Intersection Types and Lambda Theories
CoRR cs.LO/0211011: (2002) |
55 | EE | Mariangiola 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) |
53 | EE | Mariangiola Dezani-Ciancaglini,
Mitsuhiro Okada,
Masako Takahashi:
Theories of Types and Proofs 1997 - Preface.
Theor. Comput. Sci. 272(1-2): 1-2 (2002) |
52 | EE | Steffen 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 |
51 | EE | Sophia Drossopoulou,
Ferruccio Damiani,
Mariangiola Dezani-Ciancaglini,
Paola Giannini:
Fickle : Dynamic Object Re-classification.
ECOOP 2001: 130-149 |
50 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Furio Honsell:
Filter Models and Easy Terms.
ICTCS 2001: 17-37 |
49 | EE | Mariangiola Dezani-Ciancaglini,
Elio Giovannetti:
From Bohm's Theorem to Observational Equivalences: an Informal Account.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
48 | EE | Mario Coppo,
Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
47 | EE | Franco Barbanera,
Mariangiola Dezani-Ciancaglini,
Ivano Salvo,
Vladimiro Sassone:
A Type Inference Algorithm for Secure Ambients.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
46 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Approximation Theorems for Intersection Type Systems.
J. Log. Comput. 11(3): 395-417 (2001) |
2000 |
45 | EE | Mariangiola 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 |
42 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Compositional Characterizations of lambda-Terms Using Intersection Types.
MFCS 2000: 304-313 |
41 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A Complete Characterization of Complete Intersection-Type Theories
CoRR cs.LO/0011039: (2000) |
40 | EE | Mariangiola 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) |
35 | EE | Alessandro 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 |
33 | EE | Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Adolfo Piperno:
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput. 27(5): 1376-1419 (1998) |
1997 |
32 | EE | Mariangiola 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 |
28 | EE | Mariangiola 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 |