I agree that this site is using cookies. You can find further informations here.
X
Althoff, Christian
8  results:
Bookchapter (Online) X
Search for persons X
?
1

Arthritis:

, In: Measurements in Musculoskeletal Radiology; Medical Radiology,
O'Connor, Philip James ; Farrant, J. ; Hodgson, Richard... - p. 719-784 , 2019
Link: https://doi.org/10.1007/..
 
?
2

Open- and Closed-Loop Neural Network Verification Using Pol..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Kochdumper, Niklas ; Schilling, Christian ; Althoff, Matthias. - p. 16-36 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Heuristic Once Learning for Image & Text Duality Informatio..:

, In: 2022 IEEE Smartworld, Ubiquitous Intelligence & Computing, Scalable Computing & Communications, Digital Twin, Privacy Computing, Metaverse, Autonomous & Trusted Vehicles (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta),
Weigang, Li ; Martins, Luiz ; Ferreira, Nikson... - p. 1353-1359 , 2022
Link: https://doi.org/10.1109/..
 
?
4

CommonRoad Drivability Checker: Simplifying the Development..:

, In: 2020 IEEE Intelligent Vehicles Symposium (IV),
Pek, Christian ; Rusinov, Vitaliy ; Manzinger, Stefanie.. - p. 1013-1020 , 2020
Link: https://doi.org/10.1109/..
 
?
5

Provably-Safe Cooperative Driving via Invariably Safe Sets:

, In: 2020 IEEE Intelligent Vehicles Symposium (IV),
Liu, Edmond Irani ; Pek, Christian ; Althoff, Matthias - p. 516-523 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Computationally Efficient Safety Falsification of Adaptive ..:

, In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC),
Koschi, Markus ; Pek, Christian ; Maierhofer, Sebastian. - p. 2879-2886 , 2019
Link: https://doi.org/10.1109/..
 
?
7

Comparative Quantitative Evaluation of Distributed Methods ..:

, In: Lecture Notes in Computer Science; Agents and Artificial Intelligence,
Espinoza-Stapelfeld, Christian ; Eisenstadt, Viktor ; Althoff, Klaus-Dieter - p. 46-63 , 2018
Link: https://doi.org/10.1007/..
 
?
8

Explainable Distributed Case-Based Support Systems: Pattern..:

, In: Case-Based Reasoning Research and Development; Lecture Notes in Computer Science,
Eisenstadt, Viktor ; Espinoza-Stapelfeld, Christian ; Mikyas, Ada. - p. 78-94 , 2018
Link: https://doi.org/10.1007/..
 
1-8