Algebraic Proofs over Noncommutative Formulas

Algebraic Properties for Selector Functions

Algorithm that Solves 3-SAT in Polynomial Time

Algorithmic complexity and randomness in elastic solids

Algorithmic complexity of pair cleaning method for k-satisfiability problem. (draft version)

Algorithmic Problem Complexity

Algorithms for Boolean Function Query Properties

Algorithms for Estimating Information Distance with Application to Bioinformatics and Linguistics

Algorithms for Quantum Branching Programs Based on Fingerprinting

Algorithms for Testing Monomials in Multivariate Polynomials

All Superlinear Inverse Schemes are coNP-Hard

Almost Settling the Hardness of Noncommutative Determinant

Almost-natural proofs

Alternating Hierarchies for Time-Space Tradeoffs

Alternation-Trading Proofs, Linear Programming, and Lower Bounds

Amazons is PSPACE-complete

An additive combinatorics approach to the log-rank conjecture in communication complexity

An additivity theorem for plain Kolmogorov complexity

An algebraic approach to complexity of data stream computations

An algorithmic complexity interpretation of Lin's third law of information theory