![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Daniele Turi
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
- [j4]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): 409-418 (2008) - [j3]Jun Zhao, Carole A. Goble
, Robert Stevens, Daniele Turi:
Mining Taverna's semantic web of provenance. Concurr. Comput. Pract. Exp. 20(5): 463-472 (2008) - 2007
- [c15]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, Robert 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
- [c14]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
- [c13]Sean Bechhofer
, Ian Horrocks, Daniele Turi:
The OWL Instance Store: System Description. CADE 2005: 177-181 - [c12]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: 786-800 - 2004
- [j2]Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens:
Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT. SIGMOD Rec. 33(2): 27-32 (2004) - [c11]Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer:
The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004 - [c10]Olga Caprotti, Mike Dewar, Daniele Turi:
Mathematical Service Matching Using Description Logic and OWL. MKM 2004: 73-87 - 2001
- [c9]Marcelo P. Fiore, Daniele Turi:
Semantics of Name and Value Passing. LICS 2001: 93-104
1990 – 1999
- 1999
- [c8]Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi:
Abstract Syntax and Variable Binding. LICS 1999: 193-202 - [c7]John Power, Daniele Turi:
A Coalgebraic Foundation for Linear Time Semantics. CTCS 1999: 259-274 - 1998
- [j1]Daniele Turi, Jan J. M. M. Rutten:
On the Foundations of Final Coalgebra Semantics. Math. Struct. Comput. Sci. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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, opencitations.net, and semanticscholar.org to load article reference 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, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
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 and semanticscholar.org 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 as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint