The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniele Turi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sean Bechhofer, Ian Horrocks, Daniele Turi
    The OWL Instance Store: System Description. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:177-181 [Conf]
  2. Daniele Turi
    Categorical Modelling of Structural Operational Rules: Case Studies. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:127-146 [Conf]
  3. Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer
    The Instance Store: DL Reasoning with Large Numbers of Individuals. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  4. Daniele Turi
    Extending S-Models to Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:397-411 [Conf]
  5. Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi
    Abstract Syntax and Variable Binding. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:193-202 [Conf]
  6. Marcelo P. Fiore, Daniele Turi
    Semantics of Name and Value Passing. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:93-104 [Conf]
  7. Daniele Turi, Gordon D. Plotkin
    Towards a Mathematical Operational Semantics. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:280-291 [Conf]
  8. Maurizio Gabbrielli, Giorgio Levi, Daniele Turi
    A Two Steps Semantics for Logic Programs with Negation. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:297-308 [Conf]
  9. Chris Rose, Daniele Turi, Alan Williams, Katy Wolstencroft, Chris Taylor
    Web Services for the DDSM and Digital Mammography Research. [Citation Graph (0, 0)][DBLP]
    Digital Mammography / IWDM, 2006, pp:376-383 [Conf]
  10. Olga Caprotti, Mike Dewar, Daniele Turi
    Mathematical Service Matching Using Description Logic and OWL. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:73-87 [Conf]
  11. Jan J. M. M. Rutten, Daniele Turi
    On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:477-530 [Conf]
  12. Jan J. M. M. Rutten, Daniele Turi
    Initial Algebra and Final Coalgebra Semantics for Concurrency. [Citation Graph (0, 0)][DBLP]
    REX School/Symposium, 1993, pp:530-582 [Conf]
  13. Katy Wolstencroft, Andy Brass, Ian Horrocks, Phillip W. Lord, Ulrike Sattler, Daniele Turi, Robert Stevens
    A Little Semantic Web Goes a Long Way in Biology. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2005, pp:786-800 [Conf]
  14. Daniele Turi, Jan J. M. M. Rutten
    On the Foundations of Final Coalgebra Semantics. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1998, v:8, n:5, pp:481-540 [Journal]
  15. Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens
    Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2004, v:33, n:2, pp:27-32 [Journal]
  16. John Power, Daniele Turi
    A Coalgebraic Foundation for Linear Time Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]

  17. Taverna Workflows: Syntax and Semantics. [Citation Graph (, )][DBLP]


  18. Mining Taverna's semantic web of provenance. [Citation Graph (, )][DBLP]


  19. Special Issue: The First Provenance Challenge. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002