Daniele Turi

Publication Activity (10 Years)

Years Active: 1991-2008
Publications (10 Years): 0

Publications

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