| Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 528 | 1999 |
| Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 509 | 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 | 305 | 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 | 226 | 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 | 172 | 2008 |
| Initial algebra and final coalgebra semantics for concurrency J Rutten, D Turi A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 164 | 1994 |
| Semantics of name and value passing M Firore, D Turi Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 93-104, 2001 | 161 | 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 | 139 | 2007 |
| 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 | 137 | 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 | 135 | 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 | 135 | 1993 |
| Functorial operational semantics and its denotational dual D Turi Vrije Universiteit Amsterdam, 1996 | 117 | 1996 |
| The OWL instance store: System description S Bechhofer, I Horrocks, D Turi Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 100 | 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 | 86 | 2005 |
| Mathematical service matching using Description Logic and OWL O Caprotti, M Dewar, D Turi Mathematical Knowledge Management: Third International Conference, MKM 2004 …, 2004 | 56 | 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 | 55 | 2006 |
| A coalgebraic foundation for linear time semantics J Power, D Turi Electronic Notes in Theoretical Computer Science 29, 259-274, 1999 | 49 | 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 | 45 | 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 | 32 | 2007 |
| Categorical modelling of structural operational rules case studies D Turi International Conference on Category Theory and Computer Science, 127-146, 1997 | 29 | 1997 |
