Martin Vechev

89 papers and 2.0k indexed citations i.

Martin Vechev has authored 89 papers that have received a total of 2.0k indexed citations. This includes 55 papers in Artificial Intelligence, 31 papers in Computer Networks and Communications and 28 papers in Hardware and Architecture. The topics of these papers are Parallel Computing and Optimization Techniques (26 papers), Distributed systems and fault tolerance (23 papers) and Adversarial Robustness in Machine Learning (17 papers). Martin Vechev is often cited by papers focused on Parallel Computing and Optimization Techniques (26 papers), Distributed systems and fault tolerance (23 papers) and Adversarial Robustness in Machine Learning (17 papers) and collaborates with scholars based in Switzerland, United States and Israel. Martin Vechev's co-authors include Eran Yahav, Petar Tsankov, Veselin Raychev, Timon Gehr and Pavol Bielik and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and ACM Transactions on Software Engineering and Methodology