Stephan Scheele
Orcid: 0000-0003-0787-3181
According to our database1,
Stephan Scheele
authored at least 25 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
2
1
1
1
1
1
1
4
1
4
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech.
ACM Trans. Embed. Comput. Syst., September, 2024
CoRR, 2024
Proceedings of the Explainable Artificial Intelligence, 2024
Explanatory Interactive Machine Learning with Counterexamples from Constrained Large Language Models.
Proceedings of the KI 2024: Advances in Artificial Intelligence, 2024
Proceedings of the Artificial Intelligence Applications and Innovations, 2024
SPECTRE: A Dataset for Spectral Reconstruction on Chip-Size Spectrometers with a Physics-Informed Augmentation Method.
Proceedings of the 2024 IEEE SENSORS, Kobe, Japan, October 20-23, 2024, 2024
2023
FairCaipi: A Combination of Explanatory Interactive and Fair Machine Learning for Human and Machine Bias Reduction.
Mach. Learn. Knowl. Extr., December, 2023
Bayesian CAIPI: A Probabilistic Approach to Explanatory and Interactive Machine Learning.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023
2022
Proceedings of the Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops, 2022
Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries.
Proceedings of the Pattern Recognition and Artificial Intelligence, 2022
Proceedings of the Advanced Research in Technologies, Information, Innovation and Sustainability, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
Explanation as a Process: User-Centric Construction of Multi-level and Multi-modal Explanations.
Proceedings of the KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, Virtual Event, September 27, 2021
2020
Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.
Proceedings of the Forum for Specification and Design Languages, 2020
2019
HMD Prax. Wirtsch., 2019
2015
PhD thesis, 2015
2014
On the Computational Interpretation of CK<sub>n</sub> for Contextual Information Processing.
Fundam. Informaticae, 2014
2013
Design and analysis of UHF RFID tag for a rubber transmission belt based on 3D electrical model.
Proceedings of the 21st International Conference on Software, 2013
2011
2010
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010
2009
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2008
2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007