Concepedia

Michelle De Santis

MD

1

Publications

43

Citations

1

H-Index

1985

Active since

Affiliations

Syracuse University(Current)

Michelle De Santis is an author at Syracuse University specializing in verification, automated reasoning, and formal methods.

Top concepts

Publications per year

1985–1985

1

Publications

1

Integrity constraints in logic databases

Patrizia Asirelli, Michelle De Santis, Maurizio Martelli · The Journal of Logic Programming · 1985 · 43 citations

, , +7

Rows per page

1–1 of 1