`Travelled to:`

1 × Canada

3 × USA

`Collaborated with:`

M.Aagaard C.H.Seger J.U.Skakkebæk D.L.Dill R.Kaivola K.R.Kohatsu

`Talks about:`

formal (2) verif (2) microprocessor (1) trajectori (1) constraint (1) represent (1) increment (1) algorithm (1) parametr (1) industri (1)

## Person: Robert B. Jones

### DBLP: Jones:Robert_B=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 4 papers:

- DAC-2000-AagaardJKKS #algorithm #verification
- Formal verification of iterative algorithms in microprocessors (MA, RBJ, RK, KRK, CJHS), pp. 201–206.
- DAC-1999-AagaardJS #constraints #parametricity
- Parametric Representations of Boolean Constraints (MA, RBJ, CJHS), pp. 402–407.
- CAV-1998-SkakkebaekJD #execution #incremental #using #verification
- Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
- DAC-1998-AagaardJS #evaluation #industrial #proving #theorem proving
- Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment (MA, RBJ, CJHS), pp. 538–541.