| 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 |
