( en | de | ru )

 

Disambiguation of "Goldberg, Benjamin"

Author of the publication

copydeleteadd this publication to your clipboard
VOC: A Methodology for the Translation Validation of OptimizingCompilers.

, , and . J. Univers. Comput. Sci., 9 (3): 223-247 (2003)

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.

Max Goldberg

Walter Goldberg

Wolfgang Goldberg

Gabriele Goldberg

Christine Goldberg

 

Other publications of authors with the same name

Order-of-Demand Analysis for Lazy Languages., and . WSA, volume 81-82 of Series Bigre, page 91-101. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Extended abstract for Canvas Obscura., , , , , and . CHI PLAY, page 379-382. ACM, (2014)Intelligent Tutoring Gets Physical: Coaching the Physical Learner by Modeling the Physical World.. HCI (14), volume 9744 of Lecture Notes in Computer Science, page 13-22. Springer, (2016)Augmenting Instructional Practice in GIFT Using the Engine for Management of Adaptive Pedagogy (EMAP).. HCI (15), volume 9183 of Lecture Notes in Computer Science, page 595-604. Springer, (2015)Functional Programming Languages.. The Computer Science and Engineering Handbook, CRC Press, (1997)Multiprocessor execution of functional programs.. Int. J. Parallel Program., 17 (5): 425-473 (1988)Drill-Practice-Repeat: Experiential Scaffolds.. AI-GEL@AIED, volume 3484 of CEUR Workshop Proceedings, page 33-39. CEUR-WS.org, (2023)Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor.. LISP and Functional Programming, page 40-51. ACM, (1988)A high speed motion capture method and performance metrics for studying gaits on an insect-scale legged robot., , , , and . IROS, page 3964-3970. IEEE, (2017)Phase control for a legged microrobot operating at resonance., , , and . ICRA, page 5969-5975. IEEE, (2017)