Concepedia

Author

Alexander Leitsch

TU WienORCID

Also Known As

A. Leitsch, ALEXANDER LEITSCH, Alexander Leitsch, Dunchev, Cvetan, Leitsch, Alexander, Nipkow, Tobias

122

Publications

1.3K

Citations

21

H-Index

35

Concepts

All Affiliations

TU Wien
AL

About

Alexander Leitsch is an author at TU Wien specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

12

461

2

Language Studies

2

2

54

3

Natural Sciences

1

1

29

4

Classics

1

1

39

5

Computer Engineering

1

1

17

Alexander Leitsch

×

14

Publications

512

Citations

12

H-Index

YearCitations

Page 1