Circuits and local computation
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Size-depth trade-offs for threshold circuits
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Simulating threshold circuits by majority circuits
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Relational queries over interpreted structures
Journal of the ACM (JACM)
Lower bounds for invariant queries in logics with counting
Theoretical Computer Science - Complexity and logic
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Counting and Locality over Finite Structures: A Survey
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
On Approximate Learning by Multi-layered Feedforward Circuits
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Theoretical Computer Science - Database theory
On TC/sup 0/, AC/sup 0/, and Arithmetic Circuits
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Languages to diagonalize against advice classes
Computational Complexity
Monotone circuits for monotone weighted threshold functions
Information Processing Letters
Monotone circuits for monotone weighted threshold functions
Information Processing Letters
Extensions of MSO and the monadic counting hierarchy
Information and Computation
Characterizing definability of second-order generalized quantifiers
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Root finding with threshold circuits
Theoretical Computer Science
| Hi-index | 0.00 |