Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language. - Konstantinos Kogkalidis; Orestis Melkonian (ESSLLI Student Sessions, 2018)

RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming. - Orestis Melkonian; Angelos Charalambidis (REBLS@SPLASH, 2018)

Music as language: putting probabilistic temporal graph grammars to good use. - Orestis Melkonian (FARM@ICFP, 2019)

What constitutes a musical pattern? - Orestis Melkonian; Iris Yuping Ren; Wouter Swierstra; Anja Volk (FARM@ICFP, 2019)

Having fun in learning formal specifications. - I. S. W. B. Prasetya; Craig Q. H. D. Leek; Orestis Melkonian; Joris ten Tusscher; Jan van Bergen; J. M. Everink; Thomas van der Klis; Rick Meijerink; Roan Oosenbrug; Jelle J. Oostveen; Tijmen van den Pol; Wink M. van Zon (ICSE (SEET), 2019)

Having Fun in Learning Formal Specifications. - I. S. W. B. Prasetya; Craig Q. H. D. Leek; Orestis Melkonian; Joris ten Tusscher; Jan van Bergen; J. M. Everink; Thomas van der Klis; Petar Kostic; Rick Meijerink; Roan Oosenbrug; Jelle J. Oostveen; Tijmen van den Pol; et al. (CoRR, 2019)

Reconciling Event Structures with Modern Multiprocessors. - Evgenii Moiseenko; Anton Podkopaev; Ori Lahav 001; Orestis Melkonian; Viktor Vafeiadis (ECOOP, 2020)

The Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Michael Peyton Jones; Philip Wadler (Financial Cryptography Workshops, 2020)

Native Custom Tokens in the Extended UTXO Model. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler (ISoLA (3), 2020)

UTXOsf ma: UTXO with Multi-asset Support. - Manuel M. T. Chakravarty; James Chapman 001; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler; Joachim Zahnentferner (ISoLA (3), 2020)

Reconciling Event Structures with Modern Multiprocessors (Artifact). - Evgenii Moiseenko; Anton Podkopaev; Ori Lahav 001; Orestis Melkonian; Viktor Vafeiadis (Dagstuhl Artifacts Ser., 2020)

Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. - Jesper Cockx; Orestis Melkonian; Lucas Escot; James Chapman 001; Ulf Norell (Haskell, 2022)

Message-Passing in the Extended UTxO Ledger. - Polina Vinogradova; Orestis Melkonian (FC Workshops, 2024)

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (FMBC@CAV, 2024)

Structured Contracts in the EUTxO Ledger Model. - Polina Vinogradova; Orestis Melkonian; Philip Wadler; Manuel M. T. Chakravarty; Jacco Krijnen; Michael Peyton Jones; James Chapman 001; Tudor Ferariu (FMBC@CAV, 2024)

Learning Structure-Aware Representations of Dependent Types. - Konstantinos Kogkalidis; Orestis Melkonian; Jean-Philippe Bernardy (NeurIPS, 2024)

IntersectMBO/formal-ledger-specifications. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (DROPS Artifacts, 2024)

Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano. - Tudor Ferariu; Philip Wadler; Orestis Melkonian (FMBC, 2025)

A Readable and Computable Formalization of the Streamlet Consensus Protocol. - Mauro Jaskelioff; Orestis Melkonian; James Chapman 001 (FMBC, 2025)

Program Logics for Ledgers. - Orestis Melkonian; Wouter Swierstra; James Chapman 001 (FMBC, 2025)

tferariu/agda2plinth. - Tudor Ferariu; Philip Wadler; Orestis Melkonian (DROPS Artifacts, 2025)

omelkonian/hoare-ledgers. - Orestis Melkonian (DROPS Artifacts, 2025)

input-output-hk/formal-streamlet. - Orestis Melkonian; Mauro Jaskelioff (DROPS Artifacts, 2025)