Author of the publication

Approximation of Large Probabilistic Networks by Structured Population Protocols.

, and . CAI, volume 8080 of Lecture Notes in Computer Science, page 199-210. Springer, (2013)

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

On the Quantification of Knowledge.. AIMSA, page 245-253. North-Holland, (1986)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)Statistic Analysis for Probabilistic Processes., and . LICS, page 299-308. IEEE Computer Society, (2009)Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing., , , , and . LICS, page 30-39. IEEE Computer Society, (2002)On the Interactive Complexity of Graph Reliability., , , and . FSTTCS, volume 880 of Lecture Notes in Computer Science, page 12-23. Springer, (1994)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)Approximate Satisfiability and Equivalence., , and . LICS, page 421-430. IEEE Computer Society, (2006)