| |
| 2008 | ||
|---|---|---|
| 8 | EE | Ines Margaria, Maddalena Zacchi: Access control in mobile ambient calculi: A comparative view. Theor. Comput. Sci. 398(1-3): 183-202 (2008) |
| 2004 | ||
| 7 | EE | Ines Margaria, Maddalena Zacchi: A Filter Model for Safe Ambients. Electr. Notes Theor. Comput. Sci. 104: 217-234 (2004) |
| 2000 | ||
| 6 | EE | Ines Margaria, Maddalena Zacchi: Generalized filter models. Theor. Comput. Sci. 238(1-2): 363-387 (2000) |
| 1995 | ||
| 5 | Ines Margaria, Maddalena Zacchi: Principal Typing in a forall-and-Discipline. J. Log. Comput. 5(3): 367-381 (1995) | |
| 1992 | ||
| 4 | Bart Jacobs, Ines Margaria, Maddalena Zacchi: Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992) | |
| 1986 | ||
| 3 | Mariangiola Dezani-Ciancaglini, Ines Margaria: A Characterization of F-Complete Type Assignments. Theor. Comput. Sci. 45(2): 121-157 (1986) | |
| 1984 | ||
| 2 | Mariangiola Dezani-Ciancaglini, Ines Margaria: F-Semantics for Intersection Type Discipline. Semantics of Data Types 1984: 279-300 | |
| 1983 | ||
| 1 | Ines Margaria, Maddalena Zacchi: Right and Left Invertibility in lambda-beta-Calculus. ITA 17(1): 71-88 (1983) | |
| 1 | Mariangiola Dezani-Ciancaglini | [2] [3] |
| 2 | Bart Jacobs | [4] |
| 3 | Maddalena Zacchi | [1] [4] [5] [6] [7] [8] |