Concepedia

Author

Andrea Aquino

University of Milano-Bicocca

Also Known As

Andrea Aquino

6

Publications

52

Citations

4

H-Index

20

Concepts

All Affiliations

University of Milano-BicoccaUniversità della Svizzera italiana
AA

About

Andrea Aquino is an author at University of Milano-Bicocca specializing in formal methods, program analysis, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

40

2

Computer Science

2

2

40

3

Software Analysis

2

2

40

4

Computer Engineering

1

1

11

5

Combinatorial Optimization

1

1

11

Andrea Aquino

×

2

Publications

40

Citations

2

H-Index

YearCitations

Page 1