I agree that this site is using cookies. You can find further informations here.
X
Melkonian, Orestis
13  results:
Search for persons X
?
1

Reasonable Agda is correct Haskell: writing verified Haskel..:

, In: Proceedings of the 15th ACM SIGPLAN International Haskell Symposium,
Cockx, Jesper ; Melkonian, Orestis ; Escot, Lucas.. - p. 108-122 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

The Extended UTXO Model:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,
Chakravarty, Manuel M. T. ; Chapman, James ; MacKenzie, Kenneth... - p. 525-539 , 2020
Link: https://doi.org/10.1007/..
 
?
3

UTXO$$_{\textsf {ma}}$$: UTXO with Multi-asset Support:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,
Chakravarty, Manuel M. T. ; Chapman, James ; MacKenzie, Kenneth... - p. 112-130 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Native Custom Tokens in the Extended UTXO Model:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,
Chakravarty, Manuel M. T. ; Chapman, James ; MacKenzie, Kenneth... - p. 89-111 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Music as language: putting probabilistic temporal graph gra..:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design,
Melkonian, Orestis - p. 1-10 , 2019
Link: https://dl.acm.org/doi/1..
 
?
6

Having fun in learning formal specifications:

, In: Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training,
Prasetya, I. S. W. B. ; Leek, Craig Q. H. D. ; Melkonian, Orestis... - p. 192-196 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Towards a 2-Multiple Context-Free Grammar for the 3-Dimensi..:

, In: Lecture Notes in Computer Science; At the Intersection of Language, Logic, and Information,
Kogkalidis, Konstantinos ; Melkonian, Orestis - p. 79-92 , 2019
Link: https://doi.org/10.1007/..
 
?
8

What constitutes a musical pattern?:

, In: Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design,
Melkonian, Orestis ; Ren, Iris Yuping ; Swierstra, Wouter. - p. 95-105 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

RHEA: a reactive, heterogeneous, extensible, and abstract f..:

, In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,
Melkonian, Orestis ; Charalambidis, Angelos - p. 11-20 , 2018
Link: https://dl.acm.org/doi/1..
 
?
10

Reconciling Event Structures with Modern Multiprocessors:

Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori..
doi:10.4230/LIPIcs.ECOOP.2020.5.  , 2020
Link: https://doi.org/10.4230/..
 
?
11

Reconciling Event Structures with Modern Multiprocessors (A..:

Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori..
doi:10.4230/DARTS.6.2.4.  , 2020
Link: https://doi.org/10.4230/..
 
?
12

Having Fun in Learning Formal Specifications:

Prasetya, I. S. W. B ; Leek, Craig Q. H. D ; Melkonian, Orestis...
http://arxiv.org/abs/1903.00334.  , 2019
Link: http://arxiv.org/abs/190..
 
?
13

Reconciling Event Structures with Modern Multiprocessors:

Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori..
http://arxiv.org/abs/1911.06567.  , 2019
Link: http://arxiv.org/abs/191..
 
1-13