No photo of Jamie Gabbay
20022021

Research activity per year

If you made any changes in Pure these will be visible here soon.

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

Network

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
    16 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

  • 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
    4 Citations (Scopus)
    29 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