Orestis Melkonian
发表
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
ISoLA.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
ISoLA.
Anton Podkopaev,
Ori Lahav,
Viktor Vafeiadis,
2020,
ECOOP.
Orestis Melkonian,
Anja Volk,
Iris Yuping Ren,
2019
.
Orestis Melkonian,
Wishnu Prasetya,
Craig Q.H.D. Leek,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET).
Orestis Melkonian,
Angelos Charalambidis,
2018,
REBLS@SPLASH.
Orestis Melkonian,
2019
.
Orestis Melkonian,
Craig Q.H.D. Leek,
Roan Oosenbrug,
2019,
ICSE.
Manuel M. T. Chakravarty,
James Chapman,
Kenneth MacKenzie,
2020,
Financial Cryptography Workshops.
Orestis Melkonian,
Konstantinos Kogkalidis,
Konstantinos Kogkalidis,
2018,
ESSLLI Student Sessions.
Anton Podkopaev,
Ori Lahav,
Viktor Vafeiadis,
2020,
Dagstuhl Artifacts Ser..
Philip Wadler,
Manuel M. T. Chakravarty,
Orestis Melkonian,
2020
.
Orestis Melkonian,
Orestis Melkonian,
2019
.