Jump to contentJump to search

Contact

Dr. Joshua Schmidt

Contact Information

Heinrich-Heine-University Düsseldorf

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email:

Tel.: +49 211 81-12635
Fax: +49 211 81-10712

Room: 25.12.02.52

Current Courses

  • bachelor seminar "Overview Artificial Intelligence"

Past Courses

  • Overview Artificial Intelligence (Seminar, Summerterm 2020 - 2024)
  • Model Checking (Lecture and Tutorial, Summerterm 2018, 2019)
  • Introduction to Logic Programming (Tutorial, Winterterm 2015 - 2022)
  • Practical Programming Course (Tutorial, Summerterm 2016)

Publications

2023

  • Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Elena Schulte, Christiane Schüle, Michael Leuschel, Jörg Schipper
    Smartphone-Based Videonystagmography Using Artificial Intelligence.
    In Current Directions in Biomedical Engineering, 9, 1, 528--531, 2023.

2022

  • Sophia Reinhardt, Joshua Schmidt, Jonas Schneider, Michael Leuschel, Christiane Schüle, Jörg Schipper
    VertiGo-App - Smartphone-based video nystagmography using artificial intelligence.
    In Laryngorhinootologie 2022, 101, 2, 243--244, 2022.
  • SMT solving for the validation of B and Event-B models.
    In Software Tools for Technology Transfer (STTT), Springer-Verlag, 2022.

    2021

    • Improving SMT Solver Integrations for the Validation of B and Event-B Models.
      In Formal Methods for Industrial Critical Systems, Alberto Lluch Lafuente and Anastasia Mavridou, LNCS, 12863, Springer International Publishing, 107--125, 2021.

    2020

    2019

    2018

    2016

    Responsible for the content: