Concepedia

Author

Armin Rigo

Heinrich Heine University Düsseldorf

Also Known As

A. Rigo, Armin Rigo

16

Publications

700

Citations

8

H-Index

22

Concepts

All Affiliations

Heinrich Heine University DüsseldorfUniversity of Hildesheim
AR

About

Armin Rigo is an author at Heinrich Heine University Düsseldorf specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

626

2

Computer Engineering

5

5

626

3

Computer Science

5

5

626

4

Data Science

1

1

85

5

Combinatorial Optimization

1

1

50

Armin Rigo

×

5

Publications

626

Citations

5

H-Index

YearCitations

Page 1