BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Condon:Anne

Contributed to:

PODS 20062006
CAV 20042004
ICALP 20032003
HPCA 19991999
STOC 19941994
STOC 19931993

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.