No photo of Jamie Gabbay
20022021

Research activity per year

Fingerprint

Dive into the research topics where Jamie Gabbay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Algebras of UTxO blockchains

    Gabbay, J., 2021, In: Mathematical Structures in Computer Science. 31, Special Issue 9, p. 1034-1089 56 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Citation (Scopus)
    32 Downloads (Pure)
  • Karl Marx and the blockchain

    Basu, D. & Gabbay, J., 8 Jul 2021, Media, Technology and Education in a Post-Truth Society : From Fake News, Datafication and Mass Surveillance to the Death of Trust. Grech, A. (ed.). Emerald Publishing Limited, p. 225-241

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

    2 Citations (Scopus)
  • Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard

    Gabbay, J., Jakobsson, A. & Sojakova, K., 30 Nov 2021, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Bernardo, B. & Marmsoler, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 2:1-2:14 (Open Access Series in Informatics (OASIcs); vol. 95).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms

    Brünjes, L. & Gabbay, M. J., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-88 16 p. (Lecture Notes in Computer Science; vol. 12478).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    13 Citations (Scopus)
    42 Downloads (Pure)
  • Equivariant ZFA with Choice: a position paper

    Gabbay, J., 12 Apr 2018, Proceedings of the 25th Automated Reasoning Workshop: Bridging the Gap between Theory and Practice. Jamnik, M., Koutsoukou-Argyraki, A., Ayers, E. & Mangla, C. (eds.). p. 39-40 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access