Autor der Publikation

CASL Logic

, , , und . CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Connecting Textiles: Exploring Textile Interior Surfaces for Power Supply, Communication and User Interaction in the IoT., , , , , , , und . IOT, Seite 88-95. ACM, (2022)Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models., und . ICMLA, Seite 1289-1295. IEEE, (2022)Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners., , , und . IDC, Seite 146-152. ACM, (2019)Model-Based Specification and Refinement for Cyber-Physical Systems, , und . Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, Kapitel 1, Springer, Cham, (2017)AI Approaches in Processing and Using Data in Personalized Medicine., , und . ADBIS, Volume 13389 von Lecture Notes in Computer Science, Seite 11-24. Springer, (2022)The application of machine learning techniques in prediction of quality of life features for cancer patients., , , , , , , , und . Comput. Sci. Inf. Syst., 20 (1): 381-404 (2023)Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen., , und . Künstliche Intelligenz im Gesundheitswesen, Springer Fachmedien Wiesbaden, (2022)The BAALL Ontology - Configuration of Service Robots, Food, and Diet., , und . JOWO, Volume 2969 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment., , , , , , , und . RO-MAN, Seite 963-968. IEEE, (2022)Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients., , , , , , , , und . MEDES, Seite 35-42. ACM, (2021)