Cs-Cc
Kolmogorov Complexity, Causality And Spin
Relativized Propositional Calculus
Testing Booleanity and the Uncertainty Principle
Hypercontractive inequalities via SOS, and the Frankl--R"odl graph
A type system for PSPACE derived from light linear logic
On the principal impossibility to prove P=NP
Superlinear advantage for exact quantum algorithms
An Algebraic Theory of Complexity for Discrete Optimisation
BPA Bisimilarity is EXPTIME-hard
P(l)aying for Synchronization
Gaming is a hard job, but someone has to do it!
Linear Kernels on Graphs Excluding Topological Minors
Computing by Temporal Order: Asynchronous Cellular Automata
Topological arguments for Kolmogorov complexity
On complexity of regular realizability problems
On the complexity of the model checking problem
Optimization hardness as transient chaos in an analog approach to constraint satisfaction
Quasi-optimal multiplication of linear differential operators
Imperfect best-response mechanisms
On Derivatives and Subpattern Orders of Countable Subshifts
The Hardness of the Functional Orientation 2-Color Problem
Two-Dimensional Kolmogorov Complexity and Validation of the Coding Theorem Method by Compressibility
