Concepedia

Author

Alix Trieu

Aarhus UniversityORCID

Also Known As

Alix Trieu, Trieu, Alix

20

Publications

132

Citations

7

H-Index

24

Concepts

All Affiliations

Aarhus UniversityCentre National de la Recherche ScientifiqueInstitut de Recherche en Informatique et Systèmes AléatoiresKU LeuvenAgence Nationale de Sécurité du Médicament et des Produits de Santé
AT

About

Alix Trieu is an author at Aarhus University specializing in computer engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

58

2

Computer Engineering

3

3

58

3

Computer Science

3

3

58

4

Compilers

2

2

43

5

Systems Engineering

1

1

15

Alix Trieu

×

5

Publications

86

Citations

5

H-Index

YearCitations

Page 1