PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Püschel, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
PRIMA: general and precise neural network certification via scalable convex hull approximations.

, , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-33 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Markus Schröppel University of Stuttgart

Adaptives Fahrwerk für Hochgeschwindigkeitsförderer SPEEDTrans, and . Tagungsband zum 16. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik e. V. (WGTL), volume 16 of Logistics Journal: Proceedings, page 181-188. Wissenschaftliche Gesellschaft für Technische Logistik e. V. (WGTL), (2020)
Adaptives Fahrwerk für Hochgeschwindigkeitsförderer SPEEDTrans, and . Tagungsband zum 16. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik e. V. (WGTL), volume 16 of Logistics Journal: Proceedings, page 181-188. Wissenschaftliche Gesellschaft für Technische Logistik e. V. (WGTL), (2020)Verschleiß- und Schadensmechanismen an Flurförderzeugrädern und -rollen., , and . Hebezeuge Fördermittel 6/2016, Forschungskatalog Flurförderzeuge 2016, (2016)Neuartiges Hochgeschwindigkeitsfördersystem für den Palettentransport, and . Tagungsband 11. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik (WGTL), (2015)

Markus Wagner

Markus Wagner

Markus Wizani

Markus Blandl University of Stuttgart

 

Other publications of authors with the same name

Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice., and . Appl. Algebra Eng. Commun. Comput., 19 (3): 259-292 (2008)The Algebraic Approach to the Discrete Cosine and Sine Transforms and Their Fast Algorithms., and . SIAM J. Comput., 32 (5): 1280-1316 (2003)Extending the roofline model: Bottleneck analysis with microarchitectural constraints., and . IISWC, page 222-231. IEEE Computer Society, (2014)FFT Compiler: from math to efficient hardware HLDVT invited short paper., , , and . HLDVT, page 137-139. IEEE Computer Society, (2007)Distributed ADMM for model predictive control and congestion control., , , and . CDC, page 5110-5115. IEEE, (2012)Real, Tight Frames with Maximal Robustness to Erasures., and . DCC, page 63-72. IEEE Computer Society, (2005)Automatic generation of implementations for DSP transforms on fused multiply-add architectures., and . ICASSP (5), page 101-104. IEEE, (2004)Fourier transform for the directed quincunx lattice., and . ICASSP (4), page 401-404. IEEE, (2005)A unified algorithmic approach to distributed optimization., , , and . GlobalSIP, page 607-610. IEEE, (2013)Offline library adaptation using automatically generated heuristics., , and . IPDPS, page 1-10. IEEE, (2010)