Concepedia

J. Schümann

JS

18

Publications

612

Citations

14

H-Index

1987

Active since

Affiliations

Ames Research Center(Current)

Research Institute for Advanced Computer Science

University of Leicester

Infrared Processing and Analysis Center

J. Schümann is an author at Ames Research Center specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystems EngineeringComputer EngineeringSoftware EngineeringProgram AnalysisSoftware Analysis

Publications per year

1987–2025

18

Publications

18

SETHEO: A high-performance theorem prover

Reinhold Letz, J. Schümann, Stefan Bayerl et al. · Journal of Automated Reasoning · 1992 · 235 citations

Computational Complexity Theory, Engineering, Performance Guarantee +6

The Initial Mass Function Based on the Full-sky 20 pc Census of ∼3600 Stars and Brown Dwarfs

J. Davy Kirkpatrick, Federico Marocco, Christopher R. Gelino et al. · The Astrophysical Journal Supplement Series · 2024 · 74 citations · Full text

Cosmic Abundance, Pc Space Densities, Photometry +14

NORA/HAMMR: making deduction-based software component retrieval practical

J. Schümann, Bernd Fischer · 2002 · 57 citations

Software Maintenance, Engineering, Verification +25

Amphion/NAV: deductive synthesis of state estimation software

Jon Whittle, J. Van Baalen, J. Schümann et al. · 2005 · 25 citations

Artificial Intelligence, Engineering, Software Engineering +23

A tool for verification and validation of neural network based adaptive controllers for high assurance systems

Pramod Gupta, J. Schümann · 2004 · 21 citations · Full text

Engineering, Neural Network, Verification +22

Rows per page

1–5 of 18