| 2008 |
|---|
| 9 | EE | Ines Margaria,
Maddalena Zacchi:
Access control in mobile ambient calculi: A comparative view.
Theor. Comput. Sci. 398(1-3): 183-202 (2008) |
| 2004 |
|---|
| 8 | EE | Ines Margaria,
Maddalena Zacchi:
A Filter Model for Safe Ambients.
Electr. Notes Theor. Comput. Sci. 104: 217-234 (2004) |
| 2000 |
|---|
| 7 | EE | Ines Margaria,
Maddalena Zacchi:
Generalized filter models.
Theor. Comput. Sci. 238(1-2): 363-387 (2000) |
| 1995 |
|---|
| 6 | | Ines Margaria,
Maddalena Zacchi:
Principal Typing in a forall-and-Discipline.
J. Log. Comput. 5(3): 367-381 (1995) |
| 1992 |
|---|
| 5 | | Bart Jacobs,
Ines Margaria,
Maddalena Zacchi:
Filter Models with Polymorphic Types.
Theor. Comput. Sci. 95(1): 143-148 (1992) |
| 1987 |
|---|
| 4 | | Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Maddalena Zacchi:
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput. 72(2): 85-116 (1987) |
| 1986 |
|---|
| 3 | | Mario Coppo,
Maddalena Zacchi:
Type inference and logical relations
LICS 1986: 218-226 |
| 1983 |
|---|
| 2 | | Ines Margaria,
Maddalena Zacchi:
Right and Left Invertibility in lambda-beta-Calculus.
ITA 17(1): 71-88 (1983) |
| 1974 |
|---|
| 1 | | Mariangiola Dezani-Ciancaglini,
Maddalena Zacchi:
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.
ICALP 1974: 170-184 |
