Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants. - Minh D. Nguyen; Max Thalmaier; Markus Wedler; Jörg Bormann; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Acceleration of RSA Cryptographic Operations Using FPGA Technology. - Jan Zutter; Max Thalmaier; Martin Klein 005; Karsten-Olaf Laux (DEXA Workshops, 2009)

A re-use methodology for formal SoC protocol compliance verification. - Minh D. Nguyen; Max Thalmaier; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Jörg Bormann (FDL, 2009)

A Re-Use Methodology for SoC Protocol Compliance Verification. - Minh D. Nguyen; Max Thalmaier; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (MBMV, 2009)

Analyzing k-step induction to compute invariants for SAT-based property checking. - Max Thalmaier; Minh D. Nguyen; Markus Wedler; Dominik Stoffel; Jörg Bormann; Wolfgang Kunz (DAC, 2010)

Analyzing k-step induction to compute invariants for SAT-based property checking. - Max Thalmaier; Minh D. Nguyen; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (MBMV, 2010)

Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen. - Max Thalmaier (2011)

A 336 Gbit/s Full-Parallel Window Decoder for Spatially Coupled LDPC Codes. - Matthias Herrmann; Norbert Wehn; Max Thalmaier; Markus Fehrenz; Timo Lehnigk-Emden; Matthias Alles (EuCNC/6G Summit, 2021)