Concepedia

Author

Gert Smolka

Saarland University

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

Saarland UniversityGerman Research Centre for Artificial IntelligenceUCLouvainSwedish InstituteUniversity of Kaiserslautern
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