by Kokologiannakis, Michalis, Lahav, Ori, Sagonas, Konstantinos, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.01.2018)

by Raad, Azalea, Wickerson, John, Neiger, Gil, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.01.2020)

by Chakraborty, Soham, Henzinger, Thomas A., Sezgin, Ali, Vafeiadis, Viktor
Published in Logical methods in computer science (01.04.2015)

by Vafeiadis, Viktor
Published in Electronic notes in theoretical computer science (29.09.2011)

by Chakraborty, Soham, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.01.2019)

by Lahav, Ori, Vafeiadis, Viktor
Published in Automata, Languages, and Programming

by Raad, Azalea, Wickerson, John, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.10.2019)

by Podkopaev, Anton, Lahav, Ori, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.01.2019)

by Vafeiadis, Viktor
Published in Computer Aided Verification

by Kokologiannakis, Michalis, Vafeiadis, Viktor
Published in Networked Systems

by Kokologiannakis, Michalis, Marmanis, Iason, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (20.06.2024)

by Kokologiannakis, Michalis, Lahav, Ori, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (09.01.2023)

by Raad, Azalea, Lahav, Ori, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (13.11.2020)

by Kokologiannakis, Michalis, Marmanis, Iason, Gladstein, Vladimir, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.01.2022)

by D'Osualdo, Emanuele, Raad, Azalea, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (09.01.2023)

by Kokologiannakis, Michalis, Raad, Azalea, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.10.2019)

by Raad, Azalea, Maranget, Luc, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (16.01.2022)

by Vafeiadis, Viktor
Published in Electronic proceedings in theoretical computer science (23.09.2015)

by Moiseenko, Evgenii, Kokologiannakis, Michalis, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (31.10.2022)

by Raad, Azalea, Vafeiadis, Viktor
Published in Proceedings of ACM on programming languages (01.11.2018)