Concepedia

Author

Armaël Guéneau

Centre National de la Recherche ScientifiqueORCID

Also Known As

Armaël Gueneau, Armaël Guéneau, Gueneau, Armaël, Guéneau, Armaël

20

Publications

203

Citations

8

H-Index

22

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueUniversité Paris-SaclayAarhus UniversityKU LeuvenInstitut national de recherche en sciences et technologies du numérique
AG

About

Armaël Guéneau is an author at Centre National de la Recherche Scientifique specializing in computer science, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

62

2

Computer Science

3

3

62

3

Computer Engineering

2

2

44

4

Systems Engineering

1

1

16

5

Compilers

1

1

28

Armaël Guéneau

×

5

Publications

114

Citations

5

H-Index

YearCitations

Page 1