| |
| 2007 | ||
|---|---|---|
| 2 | EE | Thuyen Le, Tilman Glökler, Jason Baumgartner: Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. DATE 2007: 219-224 |
| 2000 | ||
| 1 | Thuyen Le, Manfred Glesner: Flexible architectures for DCT of variable-length targeting shape-adaptive transform. IEEE Trans. Circuits Syst. Video Techn. 10(8): 1489-1495 (2000) | |
| 1 | Jason Baumgartner | [2] |
| 2 | Manfred Glesner | [1] |
| 3 | Tilman Glökler | [2] |