arrow
Back
M

Martin Vechev

University of Sofia

54H-index
349Paper Count
1.1WCitation Count
Published Papers 7
Publication Date
qblaze: An Efficient and Scalable Sparse Quantum Simulator
err2025-10-01
err0
PREAI
errVenev, Hristo; Udomsrirungruang, Thien; Dimitrov, Dimitar; Gehr, Timon; Vechev, Martin
errShare
errSave
Predicting Program Properties from 'Big Code'
err2019-02-21
err11
PREAI
errRaychev, Veselin; Vechev, Martin; Krause, Andreas
errShare
errSave
Upregulation of HLA I on tumor skin T lymphocytes as a tumor immune escape mechanism in CTCL
err2019-01-01
err0
PREAI
errChang, Y. T.; Ziegler, M.; Ignatova, D.; Ivanov, P.; Profanter, R.; Kerl, K.; Hafner, J.; Clark, R. A.; Dummer, R.; Contassot, E.; French, L.; Misailovic, S.; Cozzio, A.; Vechev, M.; Hoetzenecker, W.; Guenova, E.
errShare
errSave
HLA I shield tumor skin T lymphocytes from NK-cell-mediated elimination
err2018-09-01
err0
PREAI
errChang, Yun-Tsan; Wolfensperger, Maya; Ignatova, Desislava; Kerl, Katrin; Hafner, Juerg; Dummer, Reinhard; French, Lars E.; Cozzio, Antonio; Vechev, Martin; Guenova, Emmanuella
errShare
errSave
HLA I shield tumor skin T lymphocytes from NK-cell-mediated elimination
err2018-05-01
err0
errOAAI
errChang, Y.; Ziegler, M.; Ignatova, D.; Ivanov, P.; Profanter, R.; Kerl, K.; Dummer, R.; Contassot, E.; French, L. E.; Cozzio, A.; Misailovic, S.; Hoetzenecker, W.; Vechev, M.; Guenova, E.
errShare
errSave