J. Schümann
Publications by Year
Research Areas
Stellar, planetary, and galactic studies, Logic, programming, and type systems, Astronomy and Astrophysical Research, Formal Methods in Verification, Software Testing and Debugging Techniques
Most-Cited Works
- → SETHEO: A high-performance theorem prover(1992)235 cited
- → The Initial Mass Function Based on the Full-sky 20 pc Census of ∼3600 Stars and Brown Dwarfs(2024)77 cited
- → NORA/HAMMR: making deduction-based software component retrieval practical(2002)57 cited
- → SETHEO V3.2: Recent developments(1994)42 cited
- → Amphion/NAV: deductive synthesis of state estimation software(2005)25 cited
- → A tool for verification and validation of neural network based adaptive controllers for high assurance systems(2004)21 cited
- → A Wide Planetary Mass Companion Discovered through the Citizen Science Project Backyard Worlds: Planet 9(2021)20 cited
- → Carbon / high-k Trench Capacitor for the 40nm DRAM Generation(2007)20 cited
- Negative differential miller capacitance during switching transients of IGBTs(2011)
- → What makes a code review trustworthy?(2004)20 cited