Concepedia

Author

René Thiemann

Universität InnsbruckORCID

Also Known As

RENÉ THIEMANN, René Thiemann, Thiemann, R., Thiemann, René

121

Publications

2.4K

Citations

25

H-Index

21

Concepts

All Affiliations

Universität InnsbruckRWTH Aachen UniversityUniversity of Southern DenmarkEindhoven University of Technology
RT

About

René Thiemann is an author at Universität Innsbruck specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

523

2

Computer Science

7

7

502

3

Software Analysis

4

4

439

4

Language Studies

1

1

42

5

Linguistics

1

1

42

René Thiemann

×

14

Publications

660

Citations

12

H-Index

YearCitations

Page 1