dblp.uni-trier.dewww.uni-trier.de

Ines Margaria

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)