Concepedia

Author

Tarmo Uustalu

Tallinn University of TechnologyORCID

Also Known As

T. UUSTALU, TARMO UUSTALU, Tarmo UUSTALU, Tarmo Uustalu, Uustalu, Tarmo, Vene, Varmo

154

Publications

1.8K

Citations

23

H-Index

47

Concepts

All Affiliations

Tallinn University of TechnologyUniversity of TartuInstitut national de recherche en sciences et technologies du numériqueKyoto UniversityUniversity of Minho
TU

About

Tarmo Uustalu is an author at Tallinn University of Technology specializing in formal methods, automated reasoning, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

16

25

729

2

Computer Science

16

22

676

3

Language Studies

9

9

231

4

Education

2

2

71

5

Computer Engineering

1

1

16

Tarmo Uustalu

×

43

Publications

1.2K

Citations

20

H-Index

YearCitations

Page 1