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

Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing., , , , and . LICS, page 30-39. IEEE Computer Society, (2002)Statistic Analysis for Probabilistic Processes., and . LICS, page 299-308. IEEE Computer Society, (2009)Uniform Definability on Finite Structures with Successor. STOC, page 409-417. ACM, (1984)The content correlation of multiple streaming edges., and . IEEE BigData, page 1101-1106. IEEE, (2018)On the Quantification of Knowledge.. AIMSA, page 245-253. North-Holland, (1986)On the Interactive Complexity of Graph Reliability., , , and . FSTTCS, volume 880 of Lecture Notes in Computer Science, page 12-23. Springer, (1994)Errata for "SpaceSaving±: An Optimal Algorithm for Frequency Estimation and Frequent Items in the Bounded-Deletion Model"., , , , , and . Proc. VLDB Endow., 17 (4): 643 (December 2023)Fixed-point semantics and the representation of algorithms on large data.. VLDB, page 264-272. Morgan Kaufmann, (1988)The Reliability of Queries.. PODS, page 286-291. ACM Press, (1995)A Model of Uncertainty for Near-Duplicates in Document Reference Networks., and . ECDL, volume 4675 of Lecture Notes in Computer Science, page 449-453. Springer, (2007)