Quantifying Economy in Brain Networks
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability
Structural characterisation of EDEM:PDI, the glycoprotein folding ERAD checkpoint