Concepedia

Author

Daniele Turi

University of Edinburgh

Also Known As

D. Turi, DANIELE TURI, Daniele Turi, R. Stevens, Turi, D.

38

Publications

2.2K

Citations

21

H-Index

40

Concepts

All Affiliations

University of EdinburghUniversity of SouthamptonUniversity of Manchester
DT

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

1.3K

2

Language Studies

4

4

924

3

Computer Science

4

4

276

4

Medicine

1

1

34

5

Biology

1

1

34

Daniele Turi

×

15

Publications

1.6K

Citations

13

H-Index

YearCitations

Towards a mathematical operational semantics

Daniele Turi, Gordon Plotkin

2002

362

Abstract syntax and variable binding

Marcelo Fiore, Gordon Plotkin, Daniele Turi

2003

352

The Instance Store: DL Reasoning with Large Numbers of Individuals

Ian Horrocks, Lei Li, Daniele Turi,

2004

133

Special Issue: The First Provenance Challenge

Luc Moreau, Bertram Ludäscher, İlkay Altıntaş,

Concurrency and Computation Practice and Experience

2007

133

Semantics of name and value passing

M. Firore, Daniele Turi

2002

118

On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces

Daniele Turi, Jan Rutten

Mathematical Structures in Computer Science

1998

92

Mining Taverna's semantic web of provenance

Jun Zhao, Carole Goble, Robert Stevens,

Concurrency and Computation Practice and Experience

2007

86

Taverna Workflows: Syntax and Semantics

Daniele Turi, Paolo Missier, Carole Goble,

2007

85

The First Provenance Challenge

Luc Moreau, Bertram Ludaescher, İlkay Altıntaş,

ePrints Soton (University of Southampton)

2008

81

Abstract Syntax and Variable Binding (Extended Abstract)

Marcelo Fiore, Gordon Plotkin, Daniele Turi

Edinburgh Research Archive (University of Edinburgh)

2003

42

Page 1