Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 437 | 1999 |
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 425 | 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 | 269 | 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 | 209 | 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 | 154 | 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 | 154 | 1993 |
Semantics of name and value passing M Firore, D Turi Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 93-104, 2001 | 152 | 2001 |
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 | 133 | 1998 |
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 | 128 | 2007 |
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 | 125 | 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 | 114 | 2007 |
Functorial operational semantics D Turi PhD thesis, Free University, Amsterdam, 1996 | 108 | 1996 |
The OWL instance store: System description S Bechhofer, I Horrocks, D Turi International Conference on Automated Deduction, 177-181, 2005 | 96 | 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 |
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 | 43 | 2006 |
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 | 43 | 2004 |
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 | 29 | 2007 |
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 | 26 | 1998 |