: Succinct quantum proofs for properties of finite groups.
: Improved Algorithms for 3-Coloring, 3-Edge-Coloring, and Constraint Satisfaction.
: Anaphora Resolution in Japanese Sentences Using Surface Expressions and Examples.
: Computing Presuppositions by Contextual Reasoning.
: Parsing with the Shortest Derivation.
: An improved parser for data-oriented lexical-functional analysis.
: The definition of a random sequence of qubits: from Noncommutative Algorithmic Probability Theory to Quantum Algorithmic Information Theory and back.
: Information theory and learning: a physical approach.
, founded at