The extended UTXO model MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
109 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
29 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
25 2019 UTXO MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
International symposium on leveraging applications of formal methods, 112-130, 2020
16 2020 Reconciling event structures with modern multiprocessors E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
14 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
9 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), 2 …, 2024
4 2024 Reconciling Event Structures with Modern Multiprocessors (Artifact) E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
Dagstuhl Artifacts Series 6 (2), 4: 1-4: 3, 2020
4 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), 10 …, 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 Learning structure-aware representations of dependent types K Kogkalidis, O Melkonian, JP Bernardy
Advances in Neural Information Processing Systems 37, 65095-65118, 2025
1 2025 IntersectMBO/formal-ledger-specifications A Knispel, O Melkonian, J Chapman, A Hill, J Jääger, W DeMeo, U Norell
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024
1 2024 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 
James ChapmanIOG (IOHK)Email verificata su iohk.io