( en | de | ru )

 

Disambiguation of "Müller, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Determining the effective sample size of a parametric prior

, , and . Biometrics, 64 (2): 595--602 (2008)

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.

Peter Müller

Peter Müller

Peter Müller

Peter Müller

Peter Müller

 

Other publications of authors with the same name

Little boxes. Books on Demand, Norderstedt, (2006)A Sound and Complete Program Logic for Eiffel., , , and . TOOLS (47), volume 33 of Lecture Notes in Business Information Processing, page 195-214. Springer, (2009)Verification-Preserving Inlining in Automatic Separation Logic Verifiers., , and . Proc. ACM Program. Lang., 7 (OOPSLA1): 789-818 (April 2023)Leveraging Rust Types for Program Synthesis., , , , and . Proc. ACM Program. Lang., 7 (PLDI): 1414-1437 (2023)Verification of Equivalent-Results Methods., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 307-321. Springer, (2008)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Alternative Streitbeilegung für Domainnamen nach dem Uniform Rapid Suspension System (URS).. Comput. und Recht, 32 (7): 446-451 (2016)Proof-Transforming Compilation of Eiffel Programs., , and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 316-335. Springer, (2008)Building automatic program verifiers.. PLMW@POPL, page 3:1. ACM, (2015)Bayesian Graphical Models for Computational Network Biology., , , and . BCB, page 751. ACM, (2017)