( en | de | ru )

 

Disambiguation of "Greenberg, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Measure Transformer Semantics for Bayesian Machine Learning.

, , , , and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 77-96. Springer, (2011)

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.

Joseph Greenberg

David Greenberg

Jon Greenberg

Ita Heinze-Greenberg

Kristina Löschner-Greenberg

 

Other publications of authors with the same name

Logical Foundations, , , , , , , and . Software Foundations, 5.3 edition, (Sep 6, 2017)Executable formal semantics for the POSIX shell., and . CoRR, (2019)Representation of Activity Knowledge for Project Management., , and . IEEE Trans. Pattern Anal. Mach. Intell., 7 (5): 531-552 (1985)Management of uncertainty in medicine., , , , , , and . Int. J. Approx. Reason., 1 (1): 103-116 (1987)Impact of Providing Off-Site Economic Development Funds to Dependent Regions Surrounding the U.S. DOE's Major Nuclear Weapons Sites, , , and . Journal of Policy Modeling, 22 (7): 801--819 (December 2000)From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems., , and . Proc. ACM Program. Lang., 7 (POPL): 185-217 (January 2023)A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages., , , , , , , , , and 3 other author(s). CoRR, (2022)Kleene Algebra Modulo Theories., , and . CoRR, (2017)Files-as-Filesystems for POSIX Shell Data Processing.. PLOS@SOSP, page 17-23. ACM, (2021)Reasoning About Paths in the Interface Graph.. Eelco Visser Commemorative Symposium, volume 109 of OASIcs, page 11:1-11:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)