Tobias Lindahl - Concepedia

Author

Tobias Lindahl

Also Known As

T. Lindahl, Tobias Lindahl

Publications

214

Citations

H-Index

Concepts

All Affiliations

Tobias Lindahl is an author at Uppsala University specializing in engineering, automated reasoning, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	127
2	Computer Science	3	3	127
3	Linguistics	3	3	127
4	Language Studies	2	2	40
5	Data Science	1	1	24

Tobias Lindahl

Publications

140

Citations

H-Index

Page 1

	Year	Citations
Practical type inference based on success typings Tobias Lindahl, Konstantinos Sagonas EngineeringType TheoryVerificationSoftware EngineeringPractical Type Inference	2006	87
<scp>TypEr</scp> Tobias Lindahl, Konstantinos Sagonas EngineeringType TheorySemanticsCorpus LinguisticsNatural Language Processing	2005	24
A language for specifying type contracts in erlang and its interaction with success typings Miguel Jiménez, Tobias Lindahl, Konstantinos Sagonas Software MaintenanceEngineeringType TheorySoftware EngineeringSemantics	2007	16
Study of Local Binary Patterns Tobias Lindahl KTH Publication Database DiVA (KTH Royal Institute of Technology)	2007	13

Page 1