Skip to main navigation Skip to search Skip to main content
No photo of Mayer Goldberg

View Scopus Profile

Mayer Goldberg

 https://orcid.org/0000-0001-6339-6119
19972015

Research activity per year

Fingerprint

Dive into the research topics where Mayer Goldberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 11 Article
  • 5 Conference contribution
  • 1 Chapter
  • 1 Review article

  • Ellipses and lambda definability

    Goldberg, M., 30 Sep 2015, In: Logical Methods in Computer Science. 11, 3, 25.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations

  • A declarative approach for software modeling

    Goldberg, M. & Wiener, G., 21 Feb 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 18-32 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Computing functions by approximating the input

    Goldberg, M., 1 Dec 2012, In: International Journal of Mathematical Education in Science and Technology. 43, 8, p. 1092-1099 8 p.

    Research output: Contribution to journal › Article › peer-review

  • Generating Code for Associations Supporting Operations on Multiple Instances

    Goldberg, M. & Wiener, G., 1 Dec 2011, Evaluation of Novel Approaches to Software Engineering - 5th International Conference, ENASE 2010, Revised Selected Papers. Maciaszek, L. A. & Loucopoulos, P. (eds.). p. 163-177 15 p. (Communications in Computer and Information Science; vol. 230).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • A pumping lemma for invalid reductions of fractions

    Fried, M. N. & Goldberg, M., 1 Nov 2010, In: College Mathematics Journal. 41, 5, p. 357-364 8 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • Generating flexible code for associations

    Goldberg, M. & Wiener, G., 1 Dec 2010, ENASE 2010 - Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering. p. 96-104 9 p. (ENASE 2010 - Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Round-trip modeling using OPM/PL

    Goldberg, M. & Wiener, G., 15 Sep 2010, SwSTE2010: IEEE International Conference on Software Science, Technology, and Engineering. p. 13-21 9 p. 5532552. (SwSTE2010: IEEE International Conference on Software Science, Technology, and Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Computing logarithms digit-by-digit

    Goldberg, M., Aug 2006, In: International Journal of Mathematical Education in Science and Technology. 37, 1, p. 109-114

    Research output: Contribution to journal › Article › peer-review

  • A variadic extension of curry's fixed-point combinator

    Goldberg, M., 1 Dec 2005, In: Higher-Order and Symbolic Computation. 18, 3-4, p. 371-388 18 p.

    Research output: Contribution to journal › Article › peer-review

    6 Scopus citations

  • There and back again

    Danvy, O. & Goldberg, M., 7 Sep 2005, In: Fundamenta Informaticae. 66, 4, p. 397-413 17 p.

    Research output: Contribution to journal › Article › peer-review

    14 Scopus citations
View all 18 Research outputs