dblp.uni-trier.dewww.uni-trier.de

M. Kang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Luca de Alfaro [1]
2Rajeev Alur [1]
3S. Cho [2]
4Radu Grosu [1]
5Thomas A. Henzinger [1]
6C. Kim [2]
7Christoph M. Kirsch (Christoph Meyer) [1]
8Rupak Majumdar [1]
9Freddy Y. C. Mang [1]
10S. Oh [2]
11H. Park [2]
12M. Park [2]
13Bow-Yaw Wang [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)