Ghislaine Thuau

According to our database, Ghislaine Thuau authored at least 5 papers between 1983 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1993

A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems.

Ghislaine Thuau, Bachir Berkane

Formal Methods Syst. Des., 1993

1992

Using the Language Lustre for Sequential Circuit Verification.

Ghislaine Thuau, Bachir Berkane

Proceedings of the Designing Correct Circuits, 1992

1988

Optimized Layout of MOS Cells.

Ghislaine Thuau, Gabriele Saucier

IEEE Trans. Computers, 1988

1985

Systematic and optimized layout of MOS cells.

Gabriele Saucier, Ghislaine Thuau

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985

1983

Conception logique et topologique en technologie MOS.

Ghislaine Thuau

PhD thesis, 1983