Autor der Publikation

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

, , und . FASE, Volume 8411 von Lecture Notes in Computer Science, Seite 291-305. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A unified framework for input-to-state stability in systems with two time scales., , und . IEEE Trans. Automat. Contr., 48 (9): 1526-1544 (2003)Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs.. GaM, Volume 181 von EPTCS, Seite 129-144. (2015)Sound Rules for Parallel Evaluation of a Functional Language with callcc., und . FPCA, Seite 125-135. ACM, (1993)Report on the International Provenance and Annotation Workshop: (IPAW'06) 3-5 May 2006, Chicago., , und . SIGMOD Record, 35 (3): 51-53 (2006)Birrell's distributed reference listing revisited., , und . ACM Trans. Program. Lang. Syst., 27 (6): 1344-1395 (2005)Learning Users' Interests by Quality Classification in Market-Based Recommender Systems., , und . IEEE Trans. Knowl. Data Eng., 17 (12): 1678-1688 (2005)From Metadata to Links., und . OHS-6/SC-2, Volume 1903 von Lecture Notes in Computer Science, Seite 77-86. Springer, (2000)Standardizing Hypertext: Where Next for OHP?, , und . OHS-6/SC-2, Volume 1903 von Lecture Notes in Computer Science, Seite 3-12. Springer, (2000)NeXeme: A Distributed Scheme Based on Nexus., , und . Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 581-590. Springer, (1997)The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects., und . PSLS, Volume 1068 von Lecture Notes in Computer Science, Seite 53-77. Springer, (1995)