Concepedia

Author

Gert Smolka

Also Known As

CP 1997 Linz, G. Smolka, GERT SMOLKA, Gert Smolka, Smolka, Gert

156

Publications

3.6K

Citations

30

H-Index

47

Concepts

All Affiliations

GS

About

Gert Smolka is an author at Saarland University specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

18

22

1.9K

2

Computer Science

15

18

731

3

Language Studies

5

5

1.2K

4

Computer Engineering

2

2

54

5

Law

1

1

37

Gert Smolka

×

30

Publications

2.2K

Citations

23

H-Index

YearCitations

Page 1