Concepedia

Sebastian Fischer

SF

16

Publications

498

Citations

14

H-Index

1996

Active since

Affiliations

Christian-Albrechts-Universität zu Kiel(Current)

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

GFZ Helmholtz Centre for Geosciences

National Institute of Informatics

Universitat Politècnica de València

Sebastian Fischer is an author at Christian-Albrechts-Universität zu Kiel specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisVerificationLogic ProgrammingSoftware AnalysisData Science

Publications per year

1996–2024

16

Publications

16

A parallel SSOR preconditioner for lattice QCD

Sebastian Fischer, Andreas Frommer, U. Glässner et al. · Computer Physics Communications · 1996 · 66 citations · Full text

Engineering, Physics, Natural Sciences +8

EasyCheck: test data for free

Jan Christiansen, Sebastian Fischer · International Symposium on Functional and Logic Programming · 2008 · 59 citations

Engineering, Data Science, Testing Technique +7

The EnMAP spaceborne imaging spectroscopy mission: Initial scientific results two years after launch

Sabine Chabrillat, Saskia Foerster, Karl Segl et al. · Remote Sensing of Environment · 2024 · 55 citations · Full text

Systematic generation of glass-box test cases for functional logic programs

Sebastian Fischer, Herbert Kuchen · 2007 · 46 citations

Engineering, Verification, Software Engineering +22

Monadic combinators for "Putback" style bidirectional programming

Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer · 2014 · 36 citations · Full text

Engineering, Verification, Software Engineering +22

Rows per page

1–5 of 16