| |
| 2007 | ||
|---|---|---|
| 3 | EE | Raffaella Gentilini, Klaus Schneider, B. Mishra: Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS 2007: 224-240 |
| 2000 | ||
| 2 | EE | Rene Rasmussen, B. Mishra, Michael C. Mongeon: Using Drum and Flatbed Scanners for Color Image Quality Measurements. PICS 2000: 108-113 |
| 1 | EE | B. Mishra, Rene Rasmussen: MicroUniformity: An Image Quality Metric For Measuring Noise. PICS 2000: 75-78 |
| 1 | Raffaella Gentilini | [3] |
| 2 | Michael C. Mongeon | [2] |
| 3 | Rene Rasmussen | [1] [2] |
| 4 | Klaus Schneider | [3] |