We stand with Ukraine  

Paul R. Stephan

Affiliations:
  • University of California, Berkeley, CA, USA


According to our database1, Paul R. Stephan authored at least 5 papers between 1991 and 1996.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Combinational test generation using satisfiability.
[BibTeX]
[DOI]
Paul R. Stephan
,
Robert K. Brayton
,
Alberto L. Sangiovanni-Vincentelli
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996

1994
Specification, synthesis, and verification of hazard-free asynchronous circuits.
[BibTeX]
[DOI]
Cho W. Moon
,
Paul R. Stephan
,
Robert K. Brayton
J. VLSI Signal Process., 1994

1993
Physically Realizable Gate Models.
[BibTeX]
[DOI]
Paul R. Stephan
,
Robert K. Brayton
Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

1991
Synthesis of Hazard-Free Asynchronous Circuits from Graphical Specifications.
[BibTeX]
[DOI]
Cho W. Moon
,
Paul R. Stephan
,
Robert K. Brayton
Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions.
[BibTeX]
[DOI]
Patrick C. McGeer
,
Alexander Saldanha
,
Paul R. Stephan
,
Robert K. Brayton
,
Alberto L. Sangiovanni-Vincentelli
Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991


  Loading...