Daniele Turi
Daniele Turi
CTO, AnyJunk Ltd, London, UK
Verified email at anyjunk.co.uk
TitleCited byYear
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
4141999
Towards a mathematical operational semantics
D Turi, G Plotkin
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
4091997
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
2652008
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
2042004
Initial algebra and final coalgebra semantics for concurrency
J Rutten, D Turi
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1511993
Semantics of name and value passing
M Firore, D Turi
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 93-104, 2001
1482001
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
1452008
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
1282007
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
1221998
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
1191992
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
1092007
Functorial operational semantics and its denotational dual
D Turi
Vrije Universiteit Amsterdam, 1996
1061996
The OWL instance store: System description
S Bechhofer, I Horrocks, D Turi
International Conference on Automated Deduction, 177-181, 2005
952005
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
832005
Mathematical service matching using Description Logic and OWL
O Caprotti, M Dewar, D Turi
International Conference on Mathematical Knowledge Management, 73-87, 2004
512004
A coalgebraic foundation for linear time semantics
J Power, D Turi
Electronic Notes in Theoretical Computer Science 29, 259-274, 1999
491999
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
412004
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
372006
On the foundations of final semantics: non-standard sets, metric spaces, partial orders
D Turi, J Rutten
Mathematical structures in computer science 8 (5), 481-540, 1998
271998
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
252007
The system can't perform the operation now. Try again later.
Articles 1–20