Maddalena Zacchi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Ines Margaria, Maddalena Zacchi: Access control in mobile ambient calculi: A comparative view. Theor. Comput. Sci. 398(1-3): 183-202 (2008)

8 Ines Margaria, Maddalena Zacchi: A Filter Model for Safe Ambients. Electr. Notes Theor. Comput. Sci. 104: 217-234 (2004)

7 Ines Margaria, Maddalena Zacchi: Generalized filter models. Theor. Comput. Sci. 238(1-2): 363-387 (2000)

6 Ines Margaria, Maddalena Zacchi: Principal Typing in a forall-and-Discipline. J. Log. Comput. 5(3): 367-381 (1995)

5 Bart Jacobs, Ines Margaria, Maddalena Zacchi: Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992)

2 Ines Margaria, Maddalena Zacchi: Right and Left Invertibility in lambda-beta-Calculus. ITA 17(1): 71-88 (1983)

Selection of 6 from 9 records - Maddalena Zacchi has 4 coauthors

9		Ines Margaria, Maddalena Zacchi: Access control in mobile ambient calculi: A comparative view. Theor. Comput. Sci. 398(1-3): 183-202 (2008)
8		Ines Margaria, Maddalena Zacchi: A Filter Model for Safe Ambients. Electr. Notes Theor. Comput. Sci. 104: 217-234 (2004)
7		Ines Margaria, Maddalena Zacchi: Generalized filter models. Theor. Comput. Sci. 238(1-2): 363-387 (2000)
6		Ines Margaria, Maddalena Zacchi: Principal Typing in a forall-and-Discipline. J. Log. Comput. 5(3): 367-381 (1995)
5		Bart Jacobs, Ines Margaria, Maddalena Zacchi: Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992)
2		Ines Margaria, Maddalena Zacchi: Right and Left Invertibility in lambda-beta-Calculus. ITA 17(1): 71-88 (1983)