Daniele Turi
Daniele Turi
Director of Research and Personalisation, Time Out Limited, London, UK
Geverifieerd e-mailadres voor timeout.com
TitelGeciteerd doorJaar
Abstract syntax and variable binding
M Fiore, G Plotkin, D Turi
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
4101999
Towards a mathematical operational semantics
D Turi, G Plotkin
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
4051997
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
2642008
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
1472001
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
1211998
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
1082007
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
942005
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
822005
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
402004
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
261998
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20