Concepedia

Daniele Turi

DT

15

Publications

1.6K

Citations

13

H-Index

1991

Active since

Affiliations

University of Edinburgh(Current)

University of Southampton

University of Manchester

Daniele Turi is an author at University of Edinburgh specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsSemanticsLanguageLinguisticsSemantic WebComputer ScienceSyntaxData Science

Publications per year

1991–2008

15

Publications

15

Rows per page

1–5 of 15