| |
| 1993 | ||
|---|---|---|
| 4 | Ghislaine Thuau, Bachir Berkane: A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. Formal Methods in System Design 2(3): 259-276 (1993) | |
| 1992 | ||
| 3 | Ghislaine Thuau, Bachir Berkane: Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96 | |
| 1988 | ||
| 2 | Ghislaine Thuau, Gabriele Saucier: Optimized Layout of MOS Cells. IEEE Trans. Computers 37(1): 79-87 (1988) | |
| 1985 | ||
| 1 | EE | Gabriele Saucier, Ghislaine Thuau: Systematic and optimized layout of MOS cells. DAC 1985: 53-61 |
| 1 | Bachir Berkane | [3] [4] |
| 2 | Gabriele Saucier | [1] [2] |