Orestis Melkonian
According to our database1,
Orestis Melkonian
authored at least 15 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024
2022
Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022
2020
Dagstuhl Artifacts Ser., 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Financial Cryptography and Data Security, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2019
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019
2018
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018
Proceedings of the At the Intersection of Language, Logic, and Information, 2018