6 Einträge gefunden

1. Modeling ℝ³ needle steering in Uppaal

   1. Lehmann, Sascha
   2. Rogalla, Antje
   3. Neidhardt, Maximilian
   4. Reinecke, Anton
   5. Schlaefer, Alexander
   6. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
2. Position Data of Offline Needle Steering

   1. Neidhardt, Maximilian
   2. Reinecke, Anton
   3. Rogalla, Antje
   4. Lehmann, Sascha
   5. Sprenger, Johanna
   6. Schlaefer, Alexander
   7. Schupp, Sibylle

   2022 - TUHH Open Research - frei zugänglich
3. Online strategy synthesis for safe and optimized control of steerable needles

   1. Lehmann, Sascha
   2. Rogalla, Antje
   3. Neidhardt, Maximilian
   4. Schlaefer, Alexander
   5. Schupp, Sibylle

   2021 - TUHH Open Research - frei zugänglich
4. Synthesizing strategies for needle steering in gelatin phantoms

   1. Rogalla, Antje
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Sprenger, Johanna
   5. Bengs, Marcel
   6. Schlaefer, Alexander
   7. Schupp, Sibylle

   2020 - TUHH Open Research
5. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - Forschungsinformationssystem des UKE
6. Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI

   1. Antoni, Sven-Thomas
   2. Lehmann, Sascha
   3. Neidhardt, Maximilian
   4. Fehrs, Kai
   5. Ruprecht, Christian
   6. Kording, Fabian
   7. Adam, Gerhard

   2018 - TUHH Open Research