Foundations of Software Technology and Theoretical Computer Science

QSM: A general purpose shared-memory model for parallel computation.- Approximating geometric domains through topological triangulations.- Solving some discrepancy problems in NC.- Graph editing to bipartite interval graphs: Exact and asymptotic bounds.- Model checking.- Recursion versus iteration at higher-orders.- Compilation and equivalence of imperative objects.- On the expressive power of rewriting.- Mechanizing verification of arithmetic circuits: SRT division.- On the complexity of parallel implementation of logic programs.- An abductive semantics for disjunctive logic programs and its proof procedure.- Assumption-commitment in automata.- Compositional design of multitolerant repetitive byzantine agreement.- Algorithmic issues in coding theory.- Sharper results on the expressive power of generalized quantifiers.- Improved lowness results for solvable black-box group problems.- On resource-bounded measure and pseudorandomness.- Verification of open systems.- Hoare-Style compositional proof systems for reactive shared variable concurrency.- A simple characterization of stuttering bisimulation.- General refinement for high level petri nets.- Polynomial-Time Many-One reductions for Petri nets.- Computing reachability properties hidden in finite net unfoldings.