Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Two Steps Semantics for Logic Programs with Negation., , and . LPAR, volume 624 of Lecture Notes in Computer Science, page 297-308. Springer, (1992)Extending S-Models to Logic Programs with Negation.. ICLP, page 397-411. MIT Press, (1991)The OWL Instance Store: System Description., , and . CADE, volume 3632 of Lecture Notes in Computer Science, page 177-181. Springer, (2005)Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT., , , and . SIGMOD Record, 33 (2): 27-32 (2004)Initial Algebra and Final Coalgebra Semantics for Concurrency., and . REX School/Symposium, volume 803 of Lecture Notes in Computer Science, page 530-582. Springer, (1993)On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders., and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 477-530. Springer, (1992)Web Services for the DDSM and Digital Mammography Research., , , , and . Digital Mammography / IWDM, volume 4046 of Lecture Notes in Computer Science, page 376-383. Springer, (2006)Taverna/myGrid: Aligning a Workflow System with the Life Sciences Community., , , , , , , , , and . Workflows for e-Science, Scientific Workflows for Grids, Springer, (2007)Mining Taverna's semantic web of provenance., , , and . Concurr. Comput. Pract. Exp., 20 (5): 463-472 (2008)On the Foundations of Final Coalgebra Semantics., and . Math. Struct. Comput. Sci., 8 (5): 481-540 (1998)