Concepedia

Stephan Schulz

SS

14

Publications

931

Citations

14

H-Index

2000

Active since

Affiliations

Technical University of Munich(Current)

Klinikum rechts der Isar

Helmholtz Zentrum München

Charité - Universitätsmedizin Berlin

Helmholtz Centre for Environmental Research

Stephan Schulz is an author at Technical University of Munich specializing in medicine, engineering, and pathology.

Top concepts

MedicinePathologyEngineeringImmunologyImmunotherapyFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationAutoimmunity

Publications per year

2000–2018

14

Publications

14

E - a brainiac theorem prover

Stephan Schulz · 2002 · 414 citations

Engineering, Automated Reasoning, Propositional Logic +14

RNAi-mediated TCR Knockdown Prevents Autoimmunity in Mice Caused by Mixed TCR Dimers Following TCR Gene Transfer

Mario Bunse, Gavin Bendle, Carsten Linnemann et al. · Molecular Therapy · 2014 · 68 citations · Full text

Adaptive Immune System, T-regulatory Cell, Immunology +23

TSTP Data-Exchange Formats for Automated Theorem Proving Tools

Geoff Sutcliffe, Jürgen Zimmer, Stephan Schulz · 2004 · 58 citations

Engineering, Verification, Software Engineering +19

Plant litter and soil type drive abundance, activity and community structure of <i>alkB</i> harbouring microbes in different soil compartments

Stephan Schulz, Julia Giebler, Antonis Chatzinotas et al. · The ISME Journal · 2012 · 54 citations · Full text

PD‐1 expression on Melan‐A‐reactive T cells increases during progression to metastatic disease

Holger Krönig, Kathrin Julia Falchner, Marcus Odendahl et al. · International Journal of Cancer · 2011 · 52 citations · Full text

Immunology, Pathology, Malignant Melanoma +19

Rows per page

1–5 of 14