Concepedia

Author

Damiano Mazza

Centre National de la Recherche Scientifique

Also Known As

DAMIANO MAZZA, Damiano Mazza, Mazza, Damiano

42

Publications

450

Citations

13

H-Index

13

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueUniversité Sorbonne Paris NordUniversité Paris CitéLaboratoire d'Informatique de Paris-Nord
DM

About

Damiano Mazza is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

183

2

Computer Science

6

6

183

3

Language Studies

1

1

15

4

Mathematical Foundations

1

1

14

5

Semantics

1

1

15

Damiano Mazza

×

8

Publications

244

Citations

8

H-Index

YearCitations

Page 1