Concepedia

Ines Margaria

IM

Statistics

Publications

3

Citations

59

H-Index

3

Active since

1986

Affiliations

University of Turin(Current)

Ines Margaria is an author at University of Turin specializing in data modeling, formal methods, and automated reasoning.

Top concepts

Publications per year

1986–2015

3

Publications

3

A characterization of F-complete type assignments

Mariangiola Dezani-Ciancaglini, Ines Margaria · Theoretical Computer Science · 1986 · 30 citations

, , +5

Filter models with polymorphic types

Bart Jacobs, Ines Margaria, Maddalena Zacchi · Theoretical Computer Science · 1992 · 19 citations

, , +3

Isomorphism of intersection and union types

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria et al. · Mathematical Structures in Computer Science · 2015 · 10 citations · Full text

, , +6

1–3 of 3