We stand with Ukraine  

Joonyoung Kim

Affiliations:
  • Intel Corporation
  • University of Michigan, Electrical Engineering and Computer Science Department, MI, USA


According to our database1, Joonyoung Kim authored at least 4 papers between 1999 and 2001.

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

2001
SATIRE: A New Incremental Satisfiability Engine.
[BibTeX]
[DOI]
Jesse Whittemore
,
Joonyoung Kim
,
Karem A. Sakallah
Proceedings of the 38th Design Automation Conference, 2001

2000
On Solving Stack-Based Incremental Satisfiability Problems.
[BibTeX]
[DOI]
Joonyoung Kim
,
Jesse Whittemore
,
Karem A. Sakallah
Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

On Applying Incremental Satisfiability to Delay Fault Testing.
[BibTeX]
[DOI]
Joonyoung Kim
,
Jesse Whittemore
,
Karem A. Sakallah
,
João P. Marques Silva
Proceedings of the 2000 Design, 2000

1999
Satisfiability-Based Functional Delay Fault Testing.
[BibTeX]
Joonyoung Kim
,
João Marques-Silva
,
Karem A. Sakallah
Proceedings of the VLSI: Systems on a Chip, 1999


  Loading...