Concepedia

Author

Thorsten Altenkirch

University of NottinghamORCID

Also Known As

Altenkirch, Altenkirch, T., Altenkirch, Thorsten, Grattage, Jonathan James, Neumann, Jacob, T. Altenkirch, THORSTEN ALTENKIRCH, Thorsten Altenkirch

112

Publications

2.7K

Citations

28

H-Index

46

Concepts

All Affiliations

University of NottinghamUniversidade Federal do Rio Grande do SulRutherford Appleton LaboratoryUniversity of LeicesterIndiana University
TA

About

Thorsten Altenkirch is an author at University of Nottingham specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

22

841

2

Computer Science

13

16

683

3

Linguistics

3

3

105

4

Language Studies

1

1

13

5

Natural Sciences

1

1

36

Thorsten Altenkirch

×

35

Publications

1.2K

Citations

19

H-Index

YearCitations

Page 1