( en | de | ru )

 

Disambiguation of "Greenberg, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)Representation of Activity Knowledge for Project Management., , and . IEEE Trans. Pattern Anal. Mach. Intell., 7 (5): 531-552 (1985)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)Executable formal semantics for the POSIX shell., and . CoRR, (2019)Management of uncertainty in medicine., , , , , , and . Int. J. Approx. Reason., 1 (1): 103-116 (1987)A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages., , , , , , , , , and 3 other author(s). CoRR, (2022)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)Kleene Algebra Modulo Theories., , and . CoRR, (2017)Files-as-Filesystems for POSIX Shell Data Processing.. PLOS@SOSP, page 17-23. ACM, (2021)