`Travelled to:`

1 × Denmark

1 × France

1 × The Netherlands

`Collaborated with:`

T.Nipkow R.Sandner F.Weber

`Talks about:`

automata (2) function (1) theorem (1) support (1) process (1) practic (1) modular (1) isabell (1) theori (1) stream (1)

## Person: Olaf Müller

### DBLP: M=uuml=ller:Olaf

### Contributed to:

### Wrote 4 papers:

- TACAS-1997-SandnerM #proving #refinement #theorem proving
- Theorem Prover Support for the Refinement of Stream Processing Functions (RS, OM), pp. 351–365.
- TACAS-1995-MullerN #deduction #model checking
- Combining Model Checking and Deduction for I/O-Automata (OM, TN), pp. 1–16.
- CADE-1994-MullerW #composition #higher-order #theory and practice
- Theory and Practice of Minimal Modular Higher-Order E-Unification (OM, FW), pp. 650–664.
- TAPSOFT-1997-MullerN #higher-order
- Traces of I/O-Automata in Isabelle/HOLCF (OM, TN), pp. 580–594.