Martin Vechev - Publications, H-index & Citations

Martin Vechev

University of Sofia

54H指数

349论文数

1.1W被引数

收录论文 7

发表时间

qblaze: An Efficient and Scalable Sparse Quantum Simulator qblaze：一种高效且可扩展的稀疏量子模拟器

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

IF2.8

2025-10-01

PREAI

Venev, Hristo; Udomsrirungruang, Thien; Dimitrov, Dimitar; Gehr, Timon; Vechev, Martin

Technical Perspective Beautiful Symbolic Abstractions for Safe and Secure Machine Learning

COMMUNICATIONS OF THE ACM

IF12.2

2023-01-20

PREAI

Vechev, Martin

Predicting Program Properties from 'Big Code'

COMMUNICATIONS OF THE ACM

IF12.2

2019-02-21

PREAI

Raychev, Veselin; Vechev, Martin; Krause, Andreas

Upregulation of HLA I on tumor skin T lymphocytes as a tumor immune escape mechanism in CTCL

EUROPEAN JOURNAL OF CANCER

IF7.1

2019-01-01

PREAI

Chang, 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.

HLA I shield tumor skin T lymphocytes from NK-cell-mediated elimination

EUROPEAN JOURNAL OF CANCER

IF7.1

2018-09-01

PREAI

Chang, Yun-Tsan; Wolfensperger, Maya; Ignatova, Desislava; Kerl, Katrin; Hafner, Juerg; Dummer, Reinhard; French, Lars E.; Cozzio, Antonio; Vechev, Martin; Guenova, Emmanuella

HLA I shield tumor skin T lymphocytes from NK-cell-mediated elimination

JOURNAL OF INVESTIGATIVE DERMATOLOGY

IF5.7

2018-05-01

OAAI

Chang, 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.

QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2011-12-01

OAAI

Arnold, Matthew; Vechev, Martin; Yahav, Eran

研究方向