Martín Steffen
German Society of Sport Science(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, Parallel Computing and Optimization Techniques, Advanced Software Engineering Methodologies
Most-Cited Works
- → Enhand secretion of tumour necrosis factor-alpha, IL-6, and IL-1β by isolated lamina ropria monouclear cells from patients with ulcretive cilitis and Crohn's disease(1993)859 cited
- → Interaction of tau with the RNA-Binding Protein TIA1 Regulates tau Pathophysiology and Toxicity(2016)340 cited
- → ABS: A Core Language for Abstract Behavioral Specification(2011)309 cited
- → Dielectric Asymmetry in the Photosynthetic Reaction Center(1994)277 cited
- → Microarray analysis of the transcriptional network controlled by the photoreceptor homeobox gene Crx(2000)268 cited
- → Measuring absolute expression with microarrays with a calibrated reference sample and an extended signal intensity range(2002)249 cited