( en | de | ru )

 

Disambiguation of "Ganardi, Moses"

Author of the publication

copydeleteadd this publication to your clipboard
Context-Bounded Verification of Context-Free Specifications.

, , , , and . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (January 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.

Alamsya Ganardi

Arnold Moses

Erich Moses

Arthur Moses

Kurt Moses

 

Other publications of authors with the same name

Existential Definability over the Subword Ordering., , , and . STACS, volume 219 of LIPIcs, page 7:1-7:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Language recognition in the sliding window model.. University of Siegen, Germany, (2019)Compression by Contracting Straight-Line Programs.. ESA, volume 204 of LIPIcs, page 45:1-45:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Visibly Pushdown Languages over Sliding Windows.. STACS, volume 126 of LIPIcs, page 29:1-29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Balancing Straight-line Programs., , and . J. ACM, 68 (4): 27:1-27:40 (2021)Revisiting Membership Problems in Subclasses of Rational Relations., and . LICS, page 1-14. (2023)Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification., , , and . LICS, page 28:1-28:14. ACM, (2022)Derandomization for Sliding Window Algorithms with Strict Correctness∗., , and . Theory Comput. Syst., 65 (3): 1-18 (2021)Universal Tree Source Coding Using Grammar-Based Compression., , , and . IEEE Trans. Inf. Theory, 65 (10): 6399-6413 (2019)Context-Bounded Verification of Context-Free Specifications., , , , and . Proc. ACM Program. Lang., 7 (POPL): 2141-2170 (January 2023)