Search the dblp DataBase
Ines Margaria: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Mariangiola Dezani-Ciancaglini, Ines Margaria
F-Semantics for Intersection Type Discipline. [Citation Graph (0, 0)][DBLP]
Semantics of Data Types, 1984, pp:279-300 [Conf] - Ines Margaria, Maddalena Zacchi
A Filter Model for Safe Ambients. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:217-234 [Journal] - Ines Margaria, Maddalena Zacchi
Right and Left Invertibility in lambda-beta-Calculus. [Citation Graph (0, 0)][DBLP]
ITA, 1983, v:17, n:1, pp:71-88 [Journal] - Ines Margaria, Maddalena Zacchi
Principal Typing in a forall-and-Discipline. [Citation Graph (0, 0)][DBLP]
J. Log. Comput., 1995, v:5, n:3, pp:367-381 [Journal] - Mariangiola Dezani-Ciancaglini, Ines Margaria
A Characterization of F-Complete Type Assignments. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1986, v:45, n:2, pp:121-157 [Journal] - Bart Jacobs, Ines Margaria, Maddalena Zacchi
Filter Models with Polymorphic Types. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1992, v:95, n:1, pp:143-148 [Journal] - Ines Margaria, Maddalena Zacchi
Generalized filter models. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:238, n:1-2, pp:363-387 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002