Researcher Next
Create account
← Back to directory

Martín Steffen

Researcher Next ID · RN-000797

Professor · Computer Science

German Society of Sport Science

Hamburg, Germany

Sign in to saveSign in to claim
Not currently recruitingFunding unknown
Works count
204
Citation count
5,763
H-index
34
i10-index
82

About

204 publications and 5,763 citations recorded on OpenAlex.

Research interests

Computer Science
Formal Methods in Verification
Logic, programming, and type systems
Distributed systems and fault tolerance
Parallel Computing and Optimization Techniques
Advanced Software Engineering Methodologies

Publications

  • Interaction of tau with the RNA-Binding Protein TIA1 Regulates tau Pathophysiology and Toxicity

    Cell Reports · 2016 · 10.1016/j.celrep.2016.04.045

  • ABS: A Core Language for Abstract Behavioral Specification

    Lecture notes in computer science · 2011 · 10.1007/978-3-642-25271-6_8

  • Microarray analysis of the transcriptional network controlled by the photoreceptor homeobox gene Crx

    Current Biology · 2000 · 10.1016/s0960-9822(00)00379-1

  • Dielectric Asymmetry in the Photosynthetic Reaction Center

    Science · 1994 · 10.1126/science.264.5160.810

  • 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

    Clinical & Experimental Immunology · 1993 · 10.1111/j.1365-2249.1993.tb05997.x

Current projects

    No projects listed.