Ines Margaria

	2008
8		Ines Margaria, Maddalena Zacchi: Access control in mobile ambient calculi: A comparative view. Theor. Comput. Sci. 398(1-3): 183-202 (2008)
	2004
7		Ines Margaria, Maddalena Zacchi: A Filter Model for Safe Ambients. Electr. Notes Theor. Comput. Sci. 104: 217-234 (2004)
	2000
6		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)

Coauthor Index

1	Mariangiola Dezani-Ciancaglini	[2] [3]
2	Bart Jacobs	[4]
3	Maddalena Zacchi	[1] [4] [5] [6] [7] [8]