| |
| 1998 | ||
|---|---|---|
| 4 | EE | Karim Khordoc, Eduard Cerny: Semantics and verification of action diagrams with linear timing. ACM Trans. Design Autom. Electr. Syst. 3(1): 21-50 (1998) |
| 1994 | ||
| 3 | Karim Khordoc, Eduard Cerny: Modeling Cell Processing Hardware with Action Diagrams. ISCAS 1994: 245-248 | |
| 1993 | ||
| 2 | Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt: Integrating Behavior and Timing in Executable Specifications. CHDL 1993: 399-416 | |
| 1991 | ||
| 1 | Karim Khordoc, Mario Dufresne, Eduard Cerny: A Stimulus/Response System Based on Hierarchical Timing Diagrams. ICCAD 1991: 358-361 | |
| 1 | P. A. Babkine | [2] |
| 2 | Eduard Cerny | [1] [2] [3] [4] |
| 3 | Mario Dufresne | [1] [2] |
| 4 | Allan Silburt | [2] |