Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarDaniele Turi
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
[j5]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 T. 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. Concurrency and Computation: Practice and Experience 20(5): 409-418 (2008)- [j4]Jun Zhao, Carole A. Goble, Robert Stevens, Daniele Turi:
Mining Taverna's semantic web of provenance. Concurrency and Computation: Practice and Experience 20(5): 463-472 (2008) - 2007
- [c14]Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn:
Taverna Workflows: Syntax and Semantics. eScience 2007: 441-448 - [p1]Tom Oinn, Peter Li, Douglas B. Kell, Carole A. Goble, Antoon Goderis, R. Mark Greenwood, Duncan Hull, Robert Stevens, Daniele Turi, Jun Zhao:
Taverna/myGrid: Aligning a Workflow System with the Life Sciences Community. Workflows for e-Science, Scientific Workflows for Grids 2007: 300-319 - 2006
- [c13]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: 376-383 - 2005
- [c12]Sean Bechhofer, Ian Horrocks, Daniele Turi:
The OWL Instance Store: System Description. CADE 2005: 177-181 - [c11]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. International Semantic Web Conference 2005: 786-800 - 2004
- [j3]Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens:
Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT. SIGMOD Record 33(2): 27-32 (2004) - [c10]Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer:
The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004 - [c9]Olga Caprotti, Mike Dewar, Daniele Turi:
Mathematical Service Matching Using Description Logic and OWL. MKM 2004: 73-87 - 2001
- [c8]Marcelo P. Fiore, Daniele Turi:
Semantics of Name and Value Passing. LICS 2001: 93-104
1990 – 1999
- 1999
- [j2]John Power, Daniele Turi:
A Coalgebraic Foundation for Linear Time Semantics. Electr. Notes Theor. Comput. Sci. 29: 259-274 (1999) - [c7]Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi:
Abstract Syntax and Variable Binding. LICS 1999: 193-202 - 1998
- [j1]Daniele Turi, Jan J. M. M. Rutten:
On the Foundations of Final Coalgebra Semantics. Mathematical Structures in Computer Science 8(5): 481-540 (1998) - 1997
- [c6]Daniele Turi:
Categorical Modelling of Structural Operational Rules: Case Studies. Category Theory and Computer Science 1997: 127-146 - [c5]Daniele Turi, Gordon D. Plotkin:
Towards a Mathematical Operational Semantics. LICS 1997: 280-291 - 1993
- [c4]Jan J. M. M. Rutten, Daniele Turi:
Initial Algebra and Final Coalgebra Semantics for Concurrency. REX School/Symposium 1993: 530-582 - 1992
- [c3]Maurizio Gabbrielli, Giorgio Levi, Daniele Turi:
A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308 - [c2]Jan J. M. M. Rutten, Daniele Turi:
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. REX Workshop 1992: 477-530 - 1991
- [c1]Daniele Turi:
Extending S-Models to Logic Programs with Negation. ICLP 1991: 397-411
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-10-02 04:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
