Concepedia
Statistics
Publications
1
Citations
130
H-Index
Active since
1993
Affiliations
ETH Zurich(Current)
M. Herrmann is an author at ETH Zurich specializing in formal verification, computer science, and engineering.
Top concepts
EngineeringCryptographyCoding TheoryFormal MethodsComputer ScienceHardware SecurityIterative DecodingFormal VerificationComputer EngineeringComputational Complexity
Publications per year
1993–1993
Optimization of cyclic redundancy-check codes with 24 and 32 parity bits
G. Castagnoli, Sascha Brauer, M. Herrmann · IEEE Transactions on Communications · 1993 · 130 citations
Engineering, Error Control Technique, Iterative Decoding +17
1–1 of 1