Concepedia

Author

Jan Smans

Also Known As

Jan Smans, Smans, Jan

45

Publications

1.3K

Citations

16

H-Index

21

Concepts

All Affiliations

JS

About

Jan Smans is an author at KU Leuven specializing in engineering, formal verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

246

2

Computer Science

5

5

246

3

Software Analysis

5

5

246

4

Computer Engineering

3

3

99

5

Compilers

1

1

22

Jan Smans

×

9

Publications

304

Citations

9

H-Index

YearCitations

Page 1