Concepedia

Author

Bart Van Gasse

Ghent UniversityORCID

Also Known As

B VANGASSE, B. VAN GASSE, B. Van Gasse, BART VAN GASSE, Bart Van Gasse

26

Publications

360

Citations

10

H-Index

8

Concepts

All Affiliations

Ghent UniversityBelgian Nuclear Research Centre
BV

About

Bart Van Gasse is an author at Ghent University specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Automated Reasoning

4

4

131

2

Engineering

3

3

93

3

Discrete Mathematics

2

2

95

4

Computer Science

1

1

22

5

Semantics

1

1

51

Bart Van Gasse

×

7

Publications

292

Citations

7

H-Index

YearCitations

Page 1