Tobias

PDGF receptors as cancer drug targets
Repair of Infarcted Myocardium by Autologous Intracoronary Mononuclear Bone Marrow Cell Transplantation in Humans
Model Selection and Multimodel Inference
Isabelle/HOL: a proof assistant for higher-order logic
Practical streptomyces genetics
Term rewriting and all that
Term Rewriting and All That: Preface
Term Rewriting and All That: Termination
Testing the efficiency and independence of attentional networks.
ROCR: visualizing classifier performance in R