dblp.uni-trier.dewww.uni-trier.de

Daniele Turi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19EELuc 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)
18EEJun 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
17EEDaniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn: Taverna Workflows: Syntax and Semantics. eScience 2007: 441-448
2006
16EEChris Rose, Daniele Turi, Alan Williams, Katy Wolstencroft, Chris J. Taylor: Web Services for the DDSM and Digital Mammography Research. Digital Mammography / IWDM 2006: 376-383
2005
15EESean Bechhofer, Ian Horrocks, Daniele Turi: The OWL Instance Store: System Description. CADE 2005: 177-181
14EEKaty 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
13EEIan Horrocks, Lei Li, Daniele Turi, Sean Bechhofer: The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004
12EEOlga Caprotti, Mike Dewar, Daniele Turi: Mathematical Service Matching Using Description Logic and OWL. MKM 2004: 73-87
11EEMichael 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)
2001
10 Marcelo P. Fiore, Daniele Turi: Semantics of Name and Value Passing. LICS 2001: 93-104
1999
9EEMarcelo P. Fiore, Gordon D. Plotkin, Daniele Turi: Abstract Syntax and Variable Binding. LICS 1999: 193-202
8EEJohn Power, Daniele Turi: A Coalgebraic Foundation for Linear Time Semantics. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
7 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
6 Daniele Turi: Categorical Modelling of Structural Operational Rules: Case Studies. Category Theory and Computer Science 1997: 127-146
5EEDaniele Turi, Gordon D. Plotkin: Towards a Mathematical Operational Semantics. LICS 1997: 280-291
1993
4 Jan J. M. M. Rutten, Daniele Turi: Initial Algebra and Final Coalgebra Semantics for Concurrency. REX School/Symposium 1993: 530-582
1992
3 Maurizio Gabbrielli, Giorgio Levi, Daniele Turi: A Two Steps Semantics for Logic Programs with Negation. LPAR 1992: 297-308
2 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
1 Daniele Turi: Extending S-Models to Logic Programs with Negation. ICLP 1991: 397-411

Coauthor Index

1Ilkay Altintas [19]
2Michael Bada [11]
3Roger S. Barga [19]
4Sean Bechhofer [13] [15]
5Sarah Cohen Boulakia [19]
6Shawn Bowers [19]
7Andy Brass [14]
8Steven P. Callahan [19]
9Olga Caprotti [12]
10George Chin Jr. [19]
11Ben Clifford [19]
12Shirley Cohen [19]
13Susan B. Davidson [19]
14Ewa Deelman [19]
15Mike Dewar [12]
16Luciano A. Digiampietri [19]
17Marcelo P. Fiore [9] [10]
18Ian T. Foster [19]
19Juliana Freire [19]
20James Frew [19]
21Joe Futrelle [19]
22Maurizio Gabbrielli [3]
23Tara Gibson [19]
24Yolanda Gil [19]
25Carole A. Goble [17] [18] [19]
26Jennifer Golbeck [19]
27Paul T. Groth [19]
28David A. Holland [19]
29Ian Horrocks [13] [14] [15]
30Sheng Jiang [19]
31Jihie Kim [19]
32David Koop [19]
33Ales Krenek [19]
34Giorgio Levi [3]
35Lei Li [13]
36Phillip W. Lord [14]
37Bertram Ludäscher [19]
38Robin McEntire [11]
39Timothy M. McPhillips [19]
40Gaurang Mehta [19]
41Dominic Metzger [19]
42Simon Miles [19]
43Paolo Missier [17]
44Luc Moreau [19]
45Steve Munroe [19]
46Jim Myers [19]
47Thomas M. Oinn (Tom Oinn) [17]
48Beth Plale [19]
49Gordon D. Plotkin [5] [9]
50Norbert Podhorszki [19]
51John Power (A. John Power) [8]
52Varun Ratnakar [19]
53Chris Rose [16]
54David De Roure [17]
55Jan J. M. M. Rutten [2] [4] [7]
56Emanuele Santos [19]
57Ulrike Sattler [14]
58Carlos Eduardo Scheidegger [19]
59Karen Schuchardt [19]
60Margo I. Seltzer [19]
61Cláudio T. Silva [19]
62Yogesh L. Simmhan (Yogesh Simmhan) [19]
63Peter Slaughter [19]
64Eric G. Stephan [19]
65Robert Stevens (Robert D. Stevens) [11] [14] [18] [19]
66Chris J. Taylor [16]
67Huy T. Vo [19]
68Michael Wilde [19]
69Alan Williams [16]
70Katy Wolstencroft [14] [16]
71Jun Zhao [18] [19]
72Yong Zhao [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)