2007 | ||
---|---|---|
2 | C. Kim, M. Kang, S. Cho, S. Oh, H. Park, M. Park: Noise insensitive demosaicing algorithm. SIP 2007: 422-427 | |
2001 | ||
1 | Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang: JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836 |
1 | Luca de Alfaro | [1] |
2 | Rajeev Alur | [1] |
3 | S. Cho | [2] |
4 | Radu Grosu | [1] |
5 | Thomas A. Henzinger | [1] |
6 | C. Kim | [2] |
7 | Christoph M. Kirsch (Christoph Meyer) | [1] |
8 | Rupak Majumdar | [1] |
9 | Freddy Y. C. Mang | [1] |
10 | S. Oh | [2] |
11 | H. Park | [2] |
12 | M. Park | [2] |
13 | Bow-Yaw Wang | [1] |