Get started
Author

Joshua Schmidt

Observed names: J Schmidt, J. Schmidt, Schmidt, Joshua
ORCID: 0000-0001-8842-2993
Observed ORCID: 0000-0001-8842-2993
OpenAlex ID: A5007043815
Repair and Generation of Formal Models Using Synthesis
2018 · Joshua Schmidt, Sebastian Krings, et al. · Lecture notes in computer science · 16
SMT solving for the validation of B and Event-B models
2022 · Joshua Schmidt, Michael Leuschel · International Journal on Software Tools for Technology Transfer · 11
PDF
VertiGo – a pilot project in nystagmus detection via webcam
2020 · Sophia Reinhardt, Joshua Schmidt, et al. · Current Directions in Biomedical Engineering · 10
PDF
A Translation from Alloy to B
2018 · Sebastian Krings, Joshua Schmidt, et al. · Lecture notes in computer science · 9
Interactive Model Repair by Synthesis
2016 · Joshua Schmidt, Sebastian Krings, et al. · Lecture notes in computer science · 9
Improving SMT Solver Integrations for the Validation of B and Event-B Models
2021 · Joshua Schmidt, Michael Leuschel · Lecture notes in computer science · 7
Smartphone-Based Videonystagmography Using Artificial Intelligence
2023 · Sophia Reinhardt, Joshua Schmidt, et al. · Current Directions in Biomedical Engineering · 6
PDF
Towards Constraint Logic Programming over Strings for Test Data Generation
2020 · Sebastian Krings, Joshua Schmidt, et al. · Lecture notes in computer science · 6
PDF
Analysing ProB’s Constraint Solving Backends
2020 · Jannik Dunkelau, Joshua Schmidt, et al. · Lecture notes in computer science · 6
Measuring Coverage of Prolog Programs Using Mutation Testing
2019 · Alexandros Efremidis, Joshua Schmidt, et al. · Lecture notes in computer science · 5
PDF
Translating Alloy and extensions to classical B
2019 · Sebastian Krings, Michael Leuschel, et al. · Science of Computer Programming · 4
PDF
Automated Backend Selection for ProB Using Deep Learning
2019 · Jannik Dunkelau, Sebastian Krings, et al. · Lecture notes in computer science · 4
VertiGo-App – Smartphone-based video nystagmography using artificial intelligence
2022 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie · 2
Experience Report on an Inquiry-Based Course on Model Checking.
2019 · Sebastian Krings, Philipp Körner, et al. · SEUH · 2
VertiGo - Pilot project for nystagmus detection via webcam
2020 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie · 1
Can a smartphone app with AI replace the VNG in caloric testing?
2024 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie
Kann eine Smartphone App mit KI die VNG in der Kalorik ersetzen?
2024 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie
Clinical nystagmus characteristics – distribution of intensity components in acute vertigo patients
2023 · Elena Schulte, Sophia Reinhardt, et al. · Laryngo-Rhino-Otologie
Mobile videonystagmography for everybody
2023 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie
Gesetzter Vortrag aus der Univ. HNO-Klinik Düsseldorf: Mobile Videonystagmographie für Jedermann
2023 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie
Klinische Nystagmusbeschreibung – Verteilung der Intensitätskomponenten bei akuten Schwindelpatienten
2023 · Elena Schulte, Sophia Reinhardt, et al. · Laryngo-Rhino-Otologie
Total atrial conduction time provides novel information in prediction for stroke in patients with sinus rhythm
2022 · A. G. Bejinariu, M. Schilling, et al. · Heart and Vessels
PDF
Wide antral circumferential re-ablation in case of recurrent atrial fibrillation despite of prior pulmonary vein isolation increases freedom from atrial tachyarrhythmias
2022 · H Makimoto, S Gerguri, et al. · EP Europace
VertiGo-App - Smartphonebasierte Videonystagmographie mittels künstlicher Intelligenz
2022 · Sophia Reinhardt, Joshua Schmidt, et al. · Laryngo-Rhino-Otologie
On-device artificial intelligence: mobile solution for detecting severe aortic valve stenosis based on heart sounds
2021 · H Makimoto, T Shiraga, et al. · European Heart Journal - Digital Health
PDF
Works count: 31
Citation count: 98
H-index: 6
I10-index: 3
Year
Topic
Type