# Daniele Turi

According to our database

Collaborative distances:

^{1}, 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

Concurr. Comput. Pract. Exp., 2008

Concurr. Comput. Pract. Exp., 2008

2007

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

Proceedings of the Digital Mammography, 2006

2005

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Proceedings of the Automated Deduction, 2005

2004

SIGMOD Rec., 2004

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2001

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

1999

Proceedings of the Conference on Category Theory and Computer Science, 1999

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

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1993

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

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Extending S-Models to Logic Programs with Negation.

Proceedings of the Logic Programming, 1991