`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.