Concepedia

Author

Matti Linna

University of Turku

Also Known As

LINNA, MATTI, Matti Linna

19

Publications

200

Citations

6

H-Index

13

Concepts

All Affiliations

University of Turku
ML

About

Matti Linna is an author at University of Turku specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

69

2

Computer Science

3

3

69

3

Linguistics

3

3

64

4

Language Studies

2

2

52

5

Applied Linguistics

1

1

23

Matti Linna

×

6

Publications

173

Citations

6

H-Index

YearCitations

Page 1