Inferring sequences produced by pseudo-random number generators.
Maintaining state constraints in relational databases: a proof theoretic basis.
Minimizing function-free recursive inference rules.
A common schema for dynamic programming and branch and bound algorithms.
A counter-example for "A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars".
A unified framework for race analysis of asynchronous networks.
A note on probabilistically verifying integer and polynomial products.
Incremental modular decomposition.
Calculating joint queue-length distributions in product-form queuing networks.
Multiplicative complexity of polynomial multiplication over finite fields.
Calculating availability and performability measures of repairable computer systems using randomization.