| 2008 | ||
|---|---|---|
| 4 | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers: Hazard Checking of Timed Asynchronous Circuits Revisited. Fundam. Inform. 88(4): 411-435 (2008) | |
| 3 | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers: A Conservative Framework for Safety-Failure Checking. IEICE Transactions 91-D(3): 642-654 (2008) | |
| 2007 | ||
| 2 | Frédéric Béal, Tomohiro Yoneda, Chris J. Myers: Hazard Checking of Timed Asynchronous Circuits Revisited. ACSD 2007: 51-60 | |
| 2004 | ||
| 1 | Jean Vuillemin, Frédéric Béal: On the BDD of a Random Boolean Function. ASIAN 2004: 483-493 | |
| 1 | Chris J. Myers | [2] [3] [4] |
| 2 | Jean Vuillemin | [1] |
| 3 | Tomohiro Yoneda | [2] [3] [4] |