Daniele Turi

According to our database1, Daniele Turi authored at least 20 papers between 1991 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Mining Taverna's semantic web of provenance.
Concurr. Comput. Pract. Exp., 2008

Special Issue: The First Provenance Challenge.
Concurr. Comput. Pract. Exp., 2008

2007
Taverna Workflows: Syntax and Semantics.
Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

Taverna/<sup>my</sup>Grid: Aligning a Workflow System with the Life Sciences Community.
Proceedings of the Workflows for e-Science, Scientific Workflows for Grids., 2007

2006
Web Services for the DDSM and Digital Mammography Research.
Proceedings of the Digital Mammography, 2006

2005
A Little Semantic Web Goes a Long Way in Biology.
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

The OWL Instance Store: System Description.
Proceedings of the Automated Deduction, 2005

2004
Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT.
SIGMOD Rec., 2004

Mathematical Service Matching Using Description Logic and OWL.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

The Instance Store: DL Reasoning with Large Numbers of Individuals.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2001
Semantics of Name and Value Passing.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1999
A Coalgebraic Foundation for Linear Time Semantics.
Proceedings of the Conference on Category Theory and Computer Science, 1999

Abstract Syntax and Variable Binding.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998
On the Foundations of Final Coalgebra Semantics.
Math. Struct. Comput. Sci., 1998

1997
Towards a Mathematical Operational Semantics.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Categorical Modelling of Structural Operational Rules: Case Studies.
Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1993
Initial Algebra and Final Coalgebra Semantics for Concurrency.
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1992
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.
Proceedings of the Sematics: Foundations and Applications, 1992

A Two Steps Semantics for Logic Programs with Negation.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1991
Extending S-Models to Logic Programs with Negation.
Proceedings of the Logic Programming, 1991


  Loading...