| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Int. J. Comput. Assist. Radiol. Surg.
|
| 2018 | — | conf |
CyPhy/WESE
|
| 2018 | J | jnl |
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI.
Int. J. Comput. Assist. Radiol. Surg.
|
| 2018 | — | conf |
MICCAI (4)
|
| 2018 | J | jnl |
CoRR
|
| 2017 | A | conf |
IROS
|
| 2017 | — | conf |
Bildverarbeitung für die Medizin
|
| 2016 | — | conf |
CURAC
|
| 2016 | — | conf |
MFI
|
| 2016 | — | conf |
CURAC
|
| 2016 | J | jnl |
Int. J. Comput. Assist. Radiol. Surg.
|
| 2016 | C | conf |
Software Engineering (Workshops)
|
| 2016 | — | conf |
MFI
|
| 2015 | C | conf |
Comparing Model-free Motion Prediction and On-line Model Checking for Respiratory Motion Management.
Software Engineering (Workshops)
|
| 2015 | — | conf |
Bildverarbeitung für die Medizin
|
| 2015 | — | conf |
CURAC
|