Travelled to:
2 × USA
Collaborated with:
B.Krishnamurthy ∅
Talks about:
graph (2) algorithm (1) approach (1) problem (1) compact (1) linear (1) simul (1) relat (1) fault (1) domin (1)
Person: Dov Harel
DBLP: Harel:Dov
Contributed to:
Wrote 2 papers:
- DAC-1988-HarelK #approach #fault #graph #simulation
- A Graph Compaction Approach to Fault Simulation (DH, BK), pp. 601–604.
- STOC-1985-Harel #algorithm #graph #linear #problem
- A Linear Time Algorithm for Finding Dominators in Flow Graphs and Related Problems (DH), pp. 185–194.