No photo of Jamie Gabbay

Jamie Gabbay

Dr

  • EH14 4AS

    United Kingdom

20022021

Research activity per year

  • 26 Article
  • 8 Conference contribution
  • 1 Chapter (peer-reviewed)
Filter
Conference contribution

Search results

  • 2021

    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
  • 2020

    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 Access
    File
    18 Citations (Scopus)
    64 Downloads (Pure)
  • 2018

    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
  • 2015

    Leaving the nest: Nominal techniques for variables with interleaving scopes

    Gabbay, J., Ghica, D. R. & Petrisan, D., Sept 2015, 24th EACSL Annual Conference on Computer Science Logic: CSL 2015, September 7–10, 2015, Berlin, Germany. Kreutzer, S. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 374-389 16 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41).

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

    Open Access
    File
    7 Citations (Scopus)
    62 Downloads (Pure)
  • 2007

    A formal calculus for informal equality with binding

    Gabbay, M. & Mathijssen, A., 2007, Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings. Vol. 4576 LNCS. p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4576 LNCS).

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

    37 Citations (Scopus)

  • Curry-style types for nominal terms

    Fernández, M. & Gabbay, M., 2007, Types for Proofs and Programs - International Workshop, TYPES 2006, Revised Selected Papers. Vol. 4502 LNCS. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4502 LNCS).

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

    10 Citations (Scopus)
  • 2006

    Capture-avoiding substitution as a nominal algebra

    Gabbay, M. & Mathijssen, A., 2006, Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Proceedings. Vol. 4281 LNCS. p. 198-212 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4281 LNCS).

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

    20 Citations (Scopus)

  • One-and-a-halfth-order logic

    Gabbay, M. & Mathijssen, A., 2006, PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Vol. 2006. p. 189-200 12 p.

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

    16 Citations (Scopus)