Concepedia

Author

Carsten Lutz

University of BremenORCID

Also Known As

C. Lutz, CARSTEN LUTZ, Carsten Lutz, Cora E. Lutz, Franz Baader, Hongkai Liu, Hölldobler, Steffen, I. Horrocks, Institut für Theoretische Informatik TU Dresden, LuFG Theoretical Computer Science, RWTH Aachen

308

Publications

8.6K

Citations

49

H-Index

65

Concepts

All Affiliations

University of BremenUniversity of LiverpoolTechnische Universität Dresden
CL

About

Carsten Lutz is an author at University of Bremen specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

29

53

2.7K

2

Language Studies

11

11

681

3

Management

6

6

297

4

Arts

1

1

116

5

Public Health

1

1

19

Carsten Lutz

×

101

Publications

6K

Citations

43

H-Index

YearCitations

Page 1