Simulating (log c n)-Wise Independence in NC.
Structural Conditions for Perturbation Analysis of Queuing Systems.
Nonmonotonic Default Modal Logics.
Faster Scaling Algorithms for General Graph-Matching Problems.
Independence-Reducible Database Schemes.
A Propositional Modal Logic of Time Intervals.
A Parallel Shortest Augmenting Path Algorithm for the Assignment Problem.
Multiobjective A*.
Floyd-Hoare Logic in Iteration Theories.