Georgios Sakkas
发表
Philip J. Guo,
Westley Weimer,
Ranjit Jhala,
2022,
Proc. ACM Program. Lang..
Westley Weimer,
Ranjit Jhala,
Georgios Sakkas,
2020
.
Nikos D. Lagaros,
Spyros K. Chandrinos,
Georgios Sakkas,
2018,
Expert Syst. Appl..
N. Voulgaris,
V. Kouskouna,
P. Bonatis,
2022,
Pure and Applied Geophysics.
N. Drukker,
Georgios Sakkas,
Ziwen Kong,
2022,
Physical review letters.
N. Drukker,
Georgios Sakkas,
Ziwen Kong,
2022
.
Kamalika Chaudhuri,
Ranjit Jhala,
B. Cosman,
2020,
SIGCSE.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Westley Weimer,
Ranjit Jhala,
Georgios Sakkas,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Westley Weimer,
Ranjit Jhala,
B. Cosman,
2020,
PLDI.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.