Orestis Melkonian
Title
Cited by
Cited by
Year
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, MP Jones, ...
International Conference on Financial Cryptography and Data Security, 525-539, 2020
182020
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
102019
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
72020
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
62020
Reconciling Event Structures with Modern Multiprocessors
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
52019
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
42019
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
32019
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
22019
Formal investigation of the Extended UTxO model
O Melkonian, W Swierstra, MMT Chakravarty
4th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe …, 2019
22019
Towards a 2-Multiple Context-Free grammar for the 3-dimensional Dyck language
K Kogkalidis, O Melkonian
European Summer School in Logic, Language and Information, 79-92, 2018
12018
Reconciling Event Structures with Modern Multiprocessors (Artifact)
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020
2020
Music as Language
O Melkonian
2019
Formalizing Extended UTxO and BitML Calculus in Agda
O Melkonian
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
2018
D3 as a 2-MCFL
K Kogkalidis, O Melkonian
Student Session Proceedings of the 30th European Summer School in Logic …, 2018
2018
Formalizing BitML Calculus in Agda
O MELKONIAN
The system can't perform the operation now. Try again later.
Articles 1–16