×

zbMATH — the first resource for mathematics

Edit Profile

Vafeiadis, Viktor

Compute Distance To:
Author ID: vafeiadis.viktor
Published as: Vafeiadis, Viktor
Documents Indexed: 33 Publications since 2005
all top 5

Co-Authors

4 single-authored
7 Dreyer, Derek R.
7 Lahav, Ori
5 Hur, Chung-Kil
5 Zappa Nardelli, Francesco
4 Parkinson, Matthew J.
4 Sewell, Peter
3 Doko, Marko
3 Nanevski, Aleksandar
3 Neis, Georg
2 Allen-Williams, Mair
2 Chakraborty, Soham
2 Habouzit, Pierre
2 Henzinger, Thomas A.
2 Jagannathan, Suresh
2 Kang, Jeehoon
2 Krishnaswami, Neelakantan R.
2 Leifer, James J.
2 Raad, Azalea
2 Ševčík, Jaroslav
2 Sezgin, Ali
2 Wansbrough, Keith
2 Ziliani, Beta
1 Balabonski, Thibaut
1 Berdine, Josh
1 Calcagno, Cristiano
1 Cook, Byron
1 Dodds, Mike
1 Feng, Xinyu
1 Gavran, Ivan
1 Giannarakis, Nick
1 Gotsman, Alexey
1 Hemed, Nir
1 Kaiser, Jan-Oliver
1 Kanade, Aditya
1 Kim, Yoonseung
1 Majumdar, Rupak
1 McLaughlin, Craig A.
1 Morisset, Robin
1 Niksic, Filip
1 Pichon-Pharabod, Jean
1 Rinetzky, Noam
1 Svendsen, Kasper

Serials

2 Journal of Functional Programming
1 Journal of the ACM
1 Logical Methods in Computer Science

Fields

33 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Order, lattices, ordered algebraic structures (06-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription