Daniele Turi
Daniele Turi
CTO, AnyJunk Ltd, London, UK
Verified email at
Cited by
Cited by
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
Towards a mathematical operational semantics
D Turi, G Plotkin
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
The first provenance challenge
L Moreau, B Ludäscher, I Altintas, RS Barga, S Bowers, S Callahan, ...
Concurrency and computation: practice and experience 20 (5), 409-418, 2008
The instance store: DL reasoning with large numbers of individuals
I Horrocks, L Li, D Turi, S Bechhofer
Proc. of the 2004 Description Logic Workshop (DL 2004), 31-40, 2004
Mining Taverna's semantic web of provenance
J Zhao, C Goble, R Stevens, D Turi
Concurrency and Computation: Practice and Experience 20 (5), 463-472, 2008
Initial algebra and final coalgebra semantics for concurrency
J Rutten, D Turi
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994
Semantics of name and value passing
M Firore, D Turi
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 93-104, 2001
Taverna/myGrid: Aligning a Workflow System with the Life Sciences Community
T Oinn, P Li, DB Kell, C Goble, A Goderis, M Greenwood, D Hull, ...
Workflows for e-Science: scientific workflows for Grids, 300-319, 2007
On the foundations of final semantics: non-standard sets, metric spaces, partial orders
JJMM Rutten, D Turi
Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
D Turi, J Rutten
Mathematical Structures in Computer Science 8 (5), 481-540, 1998
Taverna workflows: Syntax and semantics
D Turi, P Missier, C Goble, D De Roure, T Oinn
Third IEEE International Conference on e-Science and Grid Computing (e …, 2007
Functorial operational semantics
D Turi
PhD thesis, Free University, Amsterdam, 1996
The OWL instance store: System description
S Bechhofer, I Horrocks, D Turi
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
A little semantic web goes a long way in biology
K Wolstencroft, A Brass, I Horrocks, P Lord, U Sattler, D Turi, R Stevens
The Semantic Web–ISWC 2005: 4th International Semantic Web Conference, ISWC …, 2005
Mathematical service matching using Description Logic and OWL
O Caprotti, M Dewar, D Turi
Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004
Web services for the DDSM and digital mammography research
C Rose, D Turi, A Williams, K Wolstencroft, C Taylor
Digital Mammography: 8th International Workshop, IWDM 2006, Manchester, UK …, 2006
A coalgebraic foundation for linear time semantics
J Power, D Turi
Electronic Notes in Theoretical Computer Science 29, 259-274, 1999
Using reasoning to guide annotation with gene ontology terms in GOAT
M Bada, D Turi, R McEntire, R Stevens
ACM SIGMOD Record 33 (2), 27-32, 2004
Knowledge discovery for biology with Taverna: Producing and consuming semantics in the Web of Science
C Goble, K Wolstencroft, A Goderis, D Hull, J Zhao, P Alper, P Lord, ...
Semantic Web: Revolutionizing knowledge discovery in the life sciences, 355-395, 2007
Categorical modelling of structural operational rules case studies
D Turi
International Conference on Category Theory and Computer Science, 127-146, 1997
The system can't perform the operation now. Try again later.
Articles 1–20