Research output per year
Research output 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 journal › Article › peer-review
Open AccessFile1 Citation (Scopus)64 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-241Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
3 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 proceeding › Conference 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 proceeding › Conference contribution
Open AccessFile14 Citations (Scopus)59 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 proceeding › Conference contribution
Open Access
Prizes
-
Alonzo Church Award for Outstanding Contributions to Logic and Computation
Gabbay, Jamie (Recipient), 17 Apr 2019
Prize: National/international honour
-
LICS Test-of-Time Award LICS 1999-2019
Gabbay, Jamie (Recipient) & Pitts, Andrew M (Recipient), 30 Jun 2019
Prize: Prize (including medals and awards)
-
"most influential paper" of the PPDP'04 conference
Gabbay, Jamie (Recipient), 2004
Prize: Prize (including medals and awards)