![]() |
| 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] |