Concepedia

Author

Quentin Stiévenart

Vrije Universiteit BrusselORCID

Also Known As

Brandl, Katharina, Quentin Stievenart, Quentin Stivenart, Quentin Stiévenart, Stiévenart, Quentin

61

Publications

238

Citations

8

H-Index

25

Concepts

All Affiliations

Vrije Universiteit BrusselUniversity of Auckland
QS

About

Quentin Stiévenart is an author at Vrije Universiteit Brussel specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

89

2

Computer Science

5

5

89

3

Computer Engineering

3

3

66

4

Systems Engineering

1

1

14

5

Compilers

1

1

17

Quentin Stiévenart

×

7

Publications

124

Citations

7

H-Index

YearCitations

Page 1