Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I) Fulltext Access 27 Pages 2007
One-unambiguity of regular expressions with numeric occurrence indicators Fulltext Access 27 Pages 2007
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model Fulltext Access 27 Pages 2007
Rewriting queries using views with access patterns under integrity constraints Fulltext Access 27 Pages 2007
Compact and tractable automaton-based representations of time granularities Fulltext Access 27 Pages 2007
The two-way rewriting in action: Removing the mystery of Euler–Glaisher's map Fulltext Access 27 Pages 2007
Control of discrete-event systems with modular or distributed structure Fulltext Access 28 Pages 2007
Towards a dichotomy theorem for the counting constraint satisfaction problem Fulltext Access 28 Pages 2007
Selective strictness and parametricity in structural operational semantics, inequationally Fulltext Access 29 Pages 2007
Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov–Jacobson energy model Fulltext Access 29 Pages 2007
Learning languages from positive data and a limited number of short counterexamples Fulltext Access 29 Pages 2007
Optimality and condensing of information flow through linear refinement Fulltext Access 30 Pages 2007
A compositional natural semantics and Hoare logic for low-level languages Fulltext Access 30 Pages 2007
Analyzing the environment structure of higher-order languages using frame strings Fulltext Access 32 Pages 2007
Hybrid commitments and their applications to zero-knowledge proof systems Fulltext Access 32 Pages 2007
A syntactic correspondence between context-sensitive calculi and abstract machines Fulltext Access 33 Pages 2007
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) Fulltext Access 36 Pages 2007
Instruction-level security analysis for information flow in stack-based assembly languages Fulltext Access 37 Pages 2007
Characterization of some subgraphs of point-collinearity graphs of building geometries Fulltext Access 37 Pages 2007
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic Fulltext Access 43 Pages 2007
Intruder deduction for the equational theory of Abelian groups with distributive encryption Fulltext Access 43 Pages 2007
The $-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems Fulltext Access 44 Pages 2007