| The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ... Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020 | 96 | 2020 |
| Native custom tokens in the extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ... International Symposium on Leveraging Applications of Formal Methods, 89-111, 2020 | 26 | 2020 |
| Having fun in learning formal specifications W Prasetya, C Leek, O Melkonian, J ten Tusscher, J van Bergen, ... 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 23 | 2019 |
| UTXO: UTXO with Multi-asset Support MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ... International symposium on leveraging applications of formal methods, 112-130, 2020 | 14 | 2020 |
| Reconciling event structures with modern multiprocessors E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis arXiv preprint arXiv:1911.06567, 2019 | 11 | 2019 |
| Music as language: putting probabilistic temporal graph grammars to good use O Melkonian Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019 | 11 | 2019 |
| What constitutes a musical pattern? O Melkonian, IY Ren, W Swierstra, A Volk Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019 | 11 | 2019 |
| Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs J Cockx, O Melkonian, L Escot, J Chapman, U Norell Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 108-122, 2022 | 5 | 2022 |
| Formal specification of the Cardano blockchain ledger, mechanized in Agda A Knispel, O Melkonian, J Chapman, A Hill, J Jääger, W DeMeo, U Norell 5th International Workshop on Formal Methods for Blockchains (FMBC 2024), 2024 | 3 | 2024 |
| Reconciling Event Structures with Modern Multiprocessors (Artifact). E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis Dagstuhl Artifacts Ser. 6 (2), 04:1-04:3, 2020 | 3 | 2020 |
| Formal investigation of the Extended UTxO model O Melkonian, W Swierstra, MM Chakravarty 4th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe …, 2019 | 3 | 2019 |
| Towards a 2-Multiple Context-Free grammar for the 3-dimensional Dyck language K Kogkalidis, O Melkonian At the Intersection of Language, Logic, and Information: ESSLLI 2018 Student …, 2019 | 3 | 2019 |
| Formalizing Extended UTxO and BitML Calculus in Agda O Melkonian | 3 | 2019 |
| Structured Contracts in the EUTxO Ledger Model P Vinogradova, O Melkonian, P Wadler, M Chakravarty, J Krijnen, ... 5th International Workshop on Formal Methods for Blockchains (FMBC 2024), 2024 | 2 | 2024 |
| Extending Intermediate Memory Model with SC accesses A Podkopaev, O Lahav, O Melkonian, V Vafeiadis Technical report. Available at: http://plv. mpi-sws. org/imm/immsctr. pdf, 2019 | 2 | 2019 |
| RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming O Melkonian, A Charalambidis Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018 | 2 | 2018 |
| D3 as a 2-MCFL K Kogkalidis, O Melkonian Student Session Proceedings of the 30th European Summer School in Logic …, 2018 | 1* | 2018 |
| Mechanizing BFT consensus protocols in Agda O Melkonian, M Jaskelioff, J Chapman, J Rossie 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| Verified compilation from BitML to Bitcoin: An Agda Odyssey O Melkonian University of Edinburgh, 2024 | | 2024 |
| Learning Structure-Aware Representations of Dependent Types K Kogkalidis, O Melkonian, JP Bernardy arXiv preprint arXiv:2402.02104, 2024 | | 2024 |
James ChapmanIOG (IOHK)Verified email at iohk.io
