Daniele Turi

20 papers A* 3A 1B 2Misc 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2008 J jnl
Mining Taverna's semantic web of provenance.
Concurr. Comput. Pract. Exp.
Jun Zhao, Carole A. Goble, Robert Stevens, Daniele Turi
2008 J jnl
Special Issue: The First Provenance Challenge.
Concurr. Comput. Pract. Exp.
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
2007 — conf
Taverna Workflows: Syntax and Semantics.
eScience
Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn
2007 — ch.
Taverna/
Workflows for e-Science, Scientific Workflows for Grids
Tom Oinn, Peter Li, Douglas B. Kell, Carole A. Goble, Antoon Goderis, Robert Mark Greenwood, Duncan Hull, Robert Stevens, Daniele Turi, Jun Zhao
2006 — conf
Web Services for the DDSM and Digital Mammography Research.
Digital Mammography / IWDM
Chris Rose, Daniele Turi, Alan R. Williams, Katy Wolstencroft, Christopher J. Taylor
2005 Misc conf
A Little Semantic Web Goes a Long Way in Biology.
ISWC
Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens
2005 A conf
The OWL Instance Store: System Description.
CADE
Sean Bechhofer, Ian Horrocks, Daniele Turi
2004 — conf
Mathematical Service Matching Using Description Logic and OWL.
MKM
Olga Caprotti, Mike Dewar, Daniele Turi
2004 — conf
The Instance Store: DL Reasoning with Large Numbers of Individuals.
Description Logics
Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
2004 J jnl
Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT.
SIGMOD Rec.
Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens
2001 A* conf
Semantics of Name and Value Passing.
LICS
Marcelo P. Fiore, Daniele Turi
1999 — conf
A Coalgebraic Foundation for Linear Time Semantics.
CTCS
John Power, Daniele Turi
1999 A* conf
Abstract Syntax and Variable Binding.
LICS
Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
1998 J jnl
On the Foundations of Final Coalgebra Semantics.
Math. Struct. Comput. Sci.
Daniele Turi, Jan J. M. M. Rutten
1997 — conf
Categorical Modelling of Structural Operational Rules: Case Studies.
Category Theory and Computer Science
Daniele Turi
1997 A* conf
Towards a Mathematical Operational Semantics.
LICS
Daniele Turi, Gordon D. Plotkin
1993 — conf
Initial Algebra and Final Coalgebra Semantics for Concurrency.
REX School/Symposium
Jan J. M. M. Rutten, Daniele Turi
1992 B conf
A Two Steps Semantics for Logic Programs with Negation.
LPAR
Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
1992 — conf
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders.
REX Workshop
Jan J. M. M. Rutten, Daniele Turi
1991 B conf
Extending S-Models to Logic Programs with Negation.
ICLP
Daniele Turi