Daniele Turi

Publications by Year

Research Areas

Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Logic, programming, and type systems, Scientific Computing and Data Management, Natural Language Processing Techniques

Most-Cited Works

• → Towards a mathematical operational semantics(2002)363 cited
• → Abstract syntax and variable binding(2003)352 cited
• → Special Issue: The First Provenance Challenge(2007)133 cited
• The Instance Store: DL Reasoning with Large Numbers of Individuals(2004)
• → Semantics of name and value passing(2002)119 cited
• Functional Operational Semantics and its Denotational Dual(1996)
• → On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces(1998)92 cited
• → On the foundations of final semantics: Non-standard sets, metric spaces, partial orders(1993)89 cited
• → Taverna/myGrid: Aligning a Workflow System with the Life Sciences Community(2007)88 cited
• → Mining Taverna's semantic web of provenance(2007)86 cited