2008 | ||
---|---|---|
19 | EE | 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) |
18 | EE | 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 | ||
17 | EE | Daniele Turi, Paolo Missier, Carole A. Goble, David De Roure, Tom Oinn: Taverna Workflows: Syntax and Semantics. eScience 2007: 441-448 |
2006 | ||
16 | EE | Chris 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 | ||
15 | EE | Sean Bechhofer, Ian Horrocks, Daniele Turi: The OWL Instance Store: System Description. CADE 2005: 177-181 |
14 | EE | 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 | ||
13 | EE | Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer: The Instance Store: DL Reasoning with Large Numbers of Individuals. Description Logics 2004 |
12 | EE | Olga Caprotti, Mike Dewar, Daniele Turi: Mathematical Service Matching Using Description Logic and OWL. MKM 2004: 73-87 |
11 | EE | 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) |
2001 | ||
10 | Marcelo P. Fiore, Daniele Turi: Semantics of Name and Value Passing. LICS 2001: 93-104 | |
1999 | ||
9 | EE | Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi: Abstract Syntax and Variable Binding. LICS 1999: 193-202 |
8 | EE | John 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 | |
5 | EE | Daniele 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 |