Daniele Turi
Daniele Turi
CTO, AnyJunk Ltd, London, UK
Verified email at anyjunk.co.uk
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
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
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, 300-319, 2007
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
J Rutten, D Turi
Mathematical Structures in Computer Science 8 (5), 481-540, 1998
On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
JJMM Rutten, D Turi
Workshop/School/Symposium of the REX Project (Research and Education in …, 1992
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
International Conference on Automated Deduction, 177-181, 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
International Semantic Web Conference, 786-800, 2005
Mathematical service matching using Description Logic and OWL
O Caprotti, M Dewar, D Turi
International Conference on Mathematical Knowledge Management, 73-87, 2004
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
Web services for the DDSM and digital mammography research
C Rose, D Turi, A Williams, K Wolstencroft, C Taylor
International workshop on digital mammography, 376-383, 2006
Knowledge discovery for biology with taverna
C Goble, K Wolstencroft, A Goderis, D Hull, J Zhao, P Alper, P Lord, ...
Semantic Web, 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