AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Markus Püschel

Markus Püschel

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1099361
Swiss Federal Institute of Technology ETH Zurich
person_outline Markus Püschel's MOST POPULAR ARTICLES
1-) SPIRAL: Code generation for DSP transforms Proceedings of the IEEE 93 (2), 232-275, 2005
2-) An abstract domain for certifying neural networks Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
3-) Fast and effective robustness certification Advances in neural information processing systems 31, 2018
4-) Multiplierless multiple constant multiplication ACM Transactions on Algorithms (TALG) 3 (2), 11-es, 2007
5-) D-ADMM: A communication-efficient distributed algorithm for separable optimization IEEE Transactions on Signal Processing 61 (10), 2718-2723, 2013