Markus Püschel
ETH Zurich(CH)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Numerical Methods and Algorithms, Digital Filter Design and Implementation, Embedded Systems Design Techniques, Logic, programming, and type systems
Most-Cited Works
- → SPIRAL: Code Generation for DSP Transforms(2005)822 cited
- → An abstract domain for certifying neural networks(2019)589 cited
- → Multiplierless multiple constant multiplication(2007)422 cited
- → D-ADMM: A Communication-Efficient Distributed Algorithm for Separable Optimization(2013)372 cited
- Fast and Effective Robustness Certification(2018)
- → Distributed Basis Pursuit(2012)218 cited
- → Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms(2004)184 cited
- → Computer Generation of Hardware for Linear Digital Signal Processing Transforms(2012)122 cited
- → The Algebraic Approach to the Discrete Cosine and Sine Transforms and Their Fast Algorithms(2003)116 cited
- → Algebraic Signal Processing Theory: Cooley–Tukey Type Algorithms for Real DFTs(2008)116 cited