| Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 434 | 1999 |
| Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 426 | 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 | 271 | 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 | 208 | 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 | 161 | 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 | 157 | 1993 |
| Semantics of name and value passing M Firore, D Turi Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 93-104, 2001 | 153 | 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 | 136 | 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 | 127 | 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 | 126 | 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 | 121 | 2007 |
| Functorial operational semantics D Turi PhD thesis, Free University, Amsterdam, 1996 | 110 | 1996 |
| The OWL instance store: System description S Bechhofer, I Horrocks, D Turi International Conference on Automated Deduction, 177-181, 2005 | 97 | 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 | 85 | 2005 |
| Mathematical service matching using Description Logic and OWL O Caprotti, M Dewar, D Turi International Conference on Mathematical Knowledge Management, 73-87, 2004 | 51 | 2004 |
| A coalgebraic foundation for linear time semantics J Power, D Turi Electronic Notes in Theoretical Computer Science 29, 259-274, 1999 | 50 | 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 | 44 | 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 | 42 | 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 | 31 | 2007 |
| Categorical modelling of structural operational rules case studies D Turi International Conference on Category Theory and Computer Science, 127-146, 1997 | 27 | 1997 |
