Author of the publication

An Online Validator for Provenance: Algorithmic Design, Testing, and API.

, , and . FASE, volume 8411 of Lecture Notes in Computer Science, page 291-305. Springer, (2014)

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 unified framework for input-to-state stability in systems with two time scales., , and . IEEE Trans. Automat. Contr., 48 (9): 1526-1544 (2003)A Fault-Tolerant Directory Service for Mobile Agents based on Forwarding Pointers.. Scalable Computing: Practice and Experience, (2006)Report on the International Provenance and Annotation Workshop: (IPAW'06) 3-5 May 2006, Chicago., , and . SIGMOD Record, 35 (3): 51-53 (2006)Learning Users' Interests by Quality Classification in Market-Based Recommender Systems., , and . IEEE Trans. Knowl. Data Eng., 17 (12): 1678-1688 (2005)From Metadata to Links., and . OHS-6/SC-2, volume 1903 of Lecture Notes in Computer Science, page 77-86. Springer, (2000)Standardizing Hypertext: Where Next for OHP?, , and . OHS-6/SC-2, volume 1903 of Lecture Notes in Computer Science, page 3-12. Springer, (2000)NeXeme: A Distributed Scheme Based on Nexus., , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 581-590. Springer, (1997)Sound Rules for Parallel Evaluation of a Functional Language with callcc., and . FPCA, page 125-135. ACM, (1993)Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs.. GaM, volume 181 of EPTCS, page 129-144. (2015)Distributed Computations Driven by Resource Consumption., and . ICCL, page 68-79. IEEE Computer Society, (1998)