Concepedia

Stephan Scheele

SS

Statistics

Publications

4

Citations

59

H-Index

4

Active since

2009

Affiliations

University of Bamberg(Current)

Fraunhofer Institute for Integrated Circuits

Stephan Scheele is an author at University of Bamberg specializing in computer science, formal methods, and algebra.

Publications per year

2009–2023

4

Publications

4

Cut-free Gentzen calculus for multimodal<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="sans-serif">CK</mml:mi></mml:math>

Michael Mendler, Stephan Scheele · Information and Computation · 2011 · 19 citations

Natural Sciences, Mathematics, Algebra +4

Towards Constructive DL for Abstraction and Refinement

Michael Mendler, Stephan Scheele · Journal of Automated Reasoning · 2009 · 17 citations

Computing, Computer Science, Formal Methods +7

An Interactive Explanatory AI System for Industrial Quality Control

Dennis Müller, Michael März, Stephan Scheele et al. · 2022 · 13 citations · Full text

Computing, Computer Science, Industrial Engineering +17

FairCaipi: A Combination of Explanatory Interactive and Fair Machine Learning for Human and Machine Bias Reduction

Louisa Heidrich, Emanuel Slany, Stephan Scheele et al. · Machine Learning and Knowledge Extraction · 2023 · 10 citations · Full text

Computing, Computer Science, Artificial Intelligence +16

1–4 of 4