On the Inapproximability of Disjoint Paths and Minimum Steiner Forest with Bandwidth Constraints
Rooted Branching Bisimulation as a Congruence
Global Exponential Stability and Periodic Solutions of Delayed Cellular Neural Networks
On Relationships between Statistical Zero-Knowledge Proofs
Data Independence of Read, Write, and Control Structures in PRAM Computations
A 5/4 Linear Time Bin Packing Algorithm
Computational Sample Complexity and Attribute-Efficient Learning
Estimation of the Domain of Attraction and the Convergence Rate of a Hopfield Associative Memory and an Application
Deciding Bisimilarity and Similarity for Probabilistic Processes