Concepedia

Author

Marco Patrignani

KU LeuvenORCID

Also Known As

Devriese, Dominique, Marco Patrignani, Patrignani ,Marco, Patrignani M., Patrignani, Marco, Vassena, Marco

71

Publications

720

Citations

16

H-Index

37

Concepts

All Affiliations

KU LeuvenHelmholtz Center for Information SecurityMax Planck Institute for Software SystemsStanford UniversityUniversity of Trento
MP

About

Marco Patrignani is an author at KU Leuven specializing in formal verification, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

12

324

2

Computer Science

11

12

324

3

Computer Engineering

5

5

162

4

Linguistics

2

2

35

5

Language Studies

1

1

15

Marco Patrignani

×

18

Publications

479

Citations

14

H-Index

YearCitations

Page 1