: A Theory of Universal Artificial Intelligence based on Algorithmic Complexity.
, Wei Li
: Exact Phase Transitions in Random Constraint Satisfaction Problems.
: Design and Evaluation of Mechanisms for a Multicomputer Object Store.
Massimo Di Pierro
: Matrix Distributed Processing: A set of C++ Tools for implementing generic lattice computations on parallel systems.