Concepedia

Author

Hans-Peter Störr

Also Known As

Hans-Peter Störr

12

Publications

211

Citations

6

H-Index

8

Concepts

All Affiliations

HS

About

Hans-Peter Störr is an author at Technische Universität Dresden specializing in formal methods, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

40

2

Computer Science

1

1

40

3

Semantics

1

1

40

4

Automated Reasoning

1

1

40

5

Description Logics

1

1

40

Hans-Peter Störr

×

3

Publications

137

Citations

3

H-Index

YearCitations

Page 1