Concepedia

Author

Xavier Thirioux

Institut de Recherche en Informatique de ToulouseORCID

Also Known As

Thirioux, Xavier, Xavier Thirioux

52

Publications

344

Citations

9

H-Index

44

Concepts

All Affiliations

Institut de Recherche en Informatique de ToulouseUniversité Toulouse III - Paul SabatierInstitut Polytechnique de BordeauxInstitut National Polytechnique de ToulouseUniversité Toulouse - Jean Jaurès
XT

About

Xavier Thirioux is an author at Institut de Recherche en Informatique de Toulouse specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

151

2

Computer Engineering

2

2

81

3

Humanities

1

1

56

4

Language Studies

1

1

56

5

Comparative Literature

1

1

56

Xavier Thirioux

×

5

Publications

174

Citations

5

H-Index

YearCitations

Page 1