Follow
Daniele Turi
Daniele Turi
CTO, AnyJunk Ltd, London, UK
Verified email at anyjunk.co.uk
Title
Cited by
Cited by
Year
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
4781999
Towards a mathematical operational semantics
D Turi, G Plotkin
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
4641997
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
2912008
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
2242004
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
1692008
Initial algebra and final coalgebra semantics for concurrency
JJMM Rutten, D Turi
Centrum voor Wiskunde en Informatica, 1994
1621994
Semantics of name and value passing
M Firore, D Turi
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 93-104, 2001
1582001
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
1351998
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
1332007
On the foundations of final semantics: non-standard sets, metric spaces, partial orders
J Rutten, D Turi
Centrum voor Wiskunde en Informatica, 1992
1301992
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
1242007
Functorial operational semantics
D Turi
PhD thesis, Free University, Amsterdam, 1996
1141996
The OWL instance store: System description
S Bechhofer, I Horrocks, D Turi
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
992005
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
852005
Mathematical service matching using Description Logic and OWL
O Caprotti, M Dewar, D Turi
Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004
552004
A coalgebraic foundation for linear time semantics
J Power, D Turi
Electronic Notes in Theoretical Computer Science 29, 259-274, 1999
521999
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
492006
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
462004
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
322007
Categorical modelling of structural operational rules case studies
D Turi
Category Theory and Computer Science: 7th International Conference, CTCS'97 …, 1997
301997
The system can't perform the operation now. Try again later.
Articles 1–20