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