Theory of Computing Systems

Title Publication Date Language Citations
Deducible and Equivalent Structural Knowledges in Distributed Algorithms2003/10/06English
Distributed Search Trees: Fault Tolerance in an Asynchronous Environment2003/10/06English
Automatable Verification of Sequential Consistency2003/07/25English
Foreword2006/06/01English
Guest Editors' Foreword2002/01/01English
Computing the Maximum Overlap of Two Convex Polygons under Translations1998/09/01English
The Graham-Knowlton Problem Revisited2006/04/18English
Foreword2006/11/01English
Composing Stack-Attributed Tree Transducers2008/07/16English
Modulo Constraints and the Complexity of Typechecking XML Views2008/07/16English
Computation and Logic in the Real World: CiE 20072008/12/25English
Foreword2004/12/01English
Preface2009/04/28English
Foreword2009/04/17English
Foreword2005/07/01English
Isomorphic Implication2007/09/14English
WAOA 2005 Special Issue of TOCS2007/09/12English
Minimization Problems for Parity OBDDs2007/10/18English
Machines that Can Output Empty Words2007/10/18English
A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++2007/10/13English
Algorithms in the W-Hierarchy2007/10/06English
Relations between Average-Case and Worst-Case Complexity2007/11/13English
An Outer-Measure Approach for Resource-Bounded Measure2007/11/13English
Pseudo-Kernelization: A Branch-then-Reduce Approach for FPT Problems2007/10/01English
Foreword2007/10/01English
Foreword2004/05/01English
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory2007/05/07English
Some Relations between Approximation Problems and PCPs over the Real Numbers2007/05/07English
Preface2007/07/17English
Foreword2005/05/01English