BRICS Report Series · 1996 · 15 citations · 7 references
ComputingComputer ScienceMathematicsAlgorithmsCryptographyTheory Of ComputationCircuit ComplexityCommunication ComplexityComputational ComplexityCryptographic ComplexityCryptographic Protocol DesignCircuit Depth ComplexityCircuit Lower BoundsCommunication Complexity Lower BoundsCommunication Complexity Upper BoundsSymmetric DifferenceSymmetric Functions
We present a direct protocol with logarithmic communication that<br />finds an element in the symmetric difference of two sets of different size. This<br />yields a simple proof that symmetric functions have logarithmic circuit depth.
7
A Temporal Logic Approach to Binding-Time Analysis
Rowan Davies · Journal of the ACM · 2017 · 63 citations
Axiomatizing Prefix Iteration with Silent Steps
Luca Aceto, Rob van Glabbeek, Wan Fokkink et al. · Information and Computation · 1996 · 54 citations · Full text
Automated logical verification based on trace abstractions
Nils Klarlund, Mogens Nielsen, Kim Sunesen · 1996 · 20 citations