| |
| 1998 | ||
|---|---|---|
| 3 | EE | Kenneth Y. Yun, Peter A. Beerel, Vida Vakilotojar, Ayoob E. Dooply, Julio Arceo: The design and verification of a high-performance low-control-overhead asynchronous differential equation solver. IEEE Trans. VLSI Syst. 6(4): 643-655 (1998) |
| 1997 | ||
| 2 | EE | Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, Peter A. Beerel, Vida Vakilotojar: The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver. ASYNC 1997: 140- |
| 1 | EE | Vida Vakilotojar, Peter A. Beerel: RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking. Integration 24(1): 19-35 (1997) |
| 1 | Julio Arceo | [2] [3] |
| 2 | Peter A. Beerel | [1] [2] [3] |
| 3 | Ayoob E. Dooply | [2] [3] |
| 4 | Kenneth Y. Yun | [2] [3] |