Concepedia

Author

Steffen van Bakel

Also Known As

S. van Bakel, S.V. Bakel, STEFFEN VAN BAKEL, STEFFEN van BAKEL, Sophie Van Bakel, Sophie van Bakel, Steffen Bakel, Steffen Van Bakel, Steffen van Bakel, van Bakel, Steffen

86

Publications

754

Citations

12

H-Index

18

Concepts

All Affiliations

SV

About

Steffen van Bakel is an author at Imperial College London specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

259

2

Computer Science

6

6

213

3

Combinatorial Optimization

3

3

127

4

Language Studies

1

1

24

5

Linear Optimization

1

1

18

Steffen van Bakel

×

12

Publications

447

Citations

10

H-Index

YearCitations

1992

142

1995

99

2003

36

1993

30

1997

30

2008

24

1997

20

2004

18

1996

16

2007

12

Page 1