Towards an axiomatic system for Kolmogorov complexity. - Antoine Taveneaux (Electron. Colloquium Comput. Complex., 2011)

Axiomatizing Kolmogorov Complexity. - Antoine Taveneaux (Theory Comput. Syst., 2013)

The axiomatic power of Kolmogorov complexity. - Laurent Bienvenu; Andrei E. Romashchenko; Alexander Shen 001; Antoine Taveneaux; Stijn Vermeeren (Ann. Pure Appl. Log., 2014)

How much randomness is needed for statistics? - Bjørn Kjos-Hanssen; Antoine Taveneaux; Neil Thapen (Ann. Pure Appl. Log., 2014)