`Travelled to:`

1 × Canada

1 × The Netherlands

4 × USA

`Collaborated with:`

L.Hellerstein ∅ A.Deshpande N.Wu M.D.Hill M.Plakal D.J.Sorin S.Pottle A.Wigderson J.Feigenbaum C.Lund P.W.Shor J.D.Bingham A.J.Hu S.Qadeer Z.Zhang

`Talks about:`

probabilist (2) algorithm (2) problem (2) nondeterminist (1) secondari (1) structur (1) sequenti (1) function (1) checkabl (1) automata (1)

## Person: Anne Condon

### DBLP: Condon:Anne

### Contributed to:

### Wrote 6 papers:

- PODS-2006-CondonDHW #algorithm #pipes and filters #problem
- Flow algorithms for two pipelined filter ordering problems (AC, AD, LH, NW), pp. 193–202.
- CAV-2004-BinghamCHQZ #automation #bound #consistency #verification
- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values (JDB, AC, AJH, SQ, ZZ), pp. 427–439.
- ICALP-2003-Condon #design #predict #problem
- Problems on RNA Secondary Structure Prediction and Design (AC), pp. 22–32.
- HPCA-1999-CondonHPS #memory management #modelling #using
- Using Lamport Clocks to Reason about Relaxed Memory Models (AC, MDH, MP, DJS), pp. 270–278.
- STOC-1994-CondonHPW #automaton #finite #nondeterminism #on the #power of #probability
- On the power of finite automata with both nondeterministic and probabilistic states (AC, LH, SP, AW), pp. 676–685.
- STOC-1993-CondonFLS #algorithm #approximate
- Probabilistically checkable debate systems and approximation algorithms for PSPACE-hard functions (AC, JF, CL, PWS), pp. 305–314.