Daniele Turi

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2008

Mining Taverna's semantic web of provenance.

Jun Zhao, Carole A. Goble, Robert Stevens, Daniele Turi

Concurr. Comput. Pract. Exp., 2008

Special Issue: The First Provenance Challenge.

Luc Moreau, Bertram Ludäscher, Ilkay Altintas, Roger S. Barga, Shawn Bowers, Steven P. Callahan, George Chin Jr., Ben Clifford, Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davidson, Ewa Deelman, Luciano A. Digiampietri, Ian T. Foster, Juliana Freire, James Frew, Joe Futrelle, Tara Gibson, Yolanda Gil, Carole A. Goble, Jennifer Golbeck, Paul Groth, David A. Holland, Sheng Jiang, Jihie Kim, David Koop, Ales Krenek, Timothy M. McPhillips, Gaurang Mehta, Simon Miles, Dominic Metzger, Steve Munroe, Jim Myers, Beth Plale, Norbert Podhorszki, Varun Ratnakar, Emanuele Santos, Carlos Eduardo Scheidegger, Karen Schuchardt, Margo I. Seltzer, Yogesh L. Simmhan, Cláudio T. Silva, Peter Slaughter, Eric G. Stephan, Robert Stevens, Daniele Turi, Huy T. Vo, Michael Wilde, Jun Zhao, Yong Zhao

Concurr. Comput. Pract. Exp., 2008

2007

Taverna Workflows: Syntax and Semantics.

Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn

Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

Taverna/^myGrid: Aligning a Workflow System with the Life Sciences Community.

Tom Oinn, Peter Li, Douglas B. Kell, Carole A. Goble, Antoon Goderis, Robert Mark Greenwood, Duncan Hull, Robert Stevens, Daniele Turi, Jun Zhao

Proceedings of the Workflows for e-Science, Scientific Workflows for Grids., 2007

2006

Web Services for the DDSM and Digital Mammography Research.

Chris Rose, Daniele Turi, Alan R. Williams, Katy Wolstencroft, Christopher J. Taylor

Proceedings of the Digital Mammography, 2006

2005

A Little Semantic Web Goes a Long Way in Biology.

Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens

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

The OWL Instance Store: System Description.

Sean Bechhofer, Ian Horrocks, Daniele Turi

Proceedings of the Automated Deduction, 2005

2004

Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT.

Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens

SIGMOD Rec., 2004

Mathematical Service Matching Using Description Logic and OWL.

Olga Caprotti, Mike Dewar, Daniele Turi

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

The Instance Store: DL Reasoning with Large Numbers of Individuals.

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

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

2001

Semantics of Name and Value Passing.

Marcelo P. Fiore, Daniele Turi

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

1999

A Coalgebraic Foundation for Linear Time Semantics.

John Power, Daniele Turi

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

Abstract Syntax and Variable Binding.

Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

On the Foundations of Final Coalgebra Semantics.

Daniele Turi, Jan J. M. M. Rutten

Math. Struct. Comput. Sci., 1998

1997

Towards a Mathematical Operational Semantics.

Daniele Turi, Gordon D. Plotkin

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.

Daniele Turi

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

1993

Initial Algebra and Final Coalgebra Semantics for Concurrency.

Jan J. M. M. Rutten, Daniele Turi

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.

Jan J. M. M. Rutten, Daniele Turi

Proceedings of the Sematics: Foundations and Applications, 1992

A Two Steps Semantics for Logic Programs with Negation.

Maurizio Gabbrielli, Giorgio Levi, Daniele Turi

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Extending S-Models to Logic Programs with Negation.

Daniele Turi

Proceedings of the Logic Programming, 1991