Author of the publication

CASL Logic

, , , and . CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

AI Approaches in Processing and Using Data in Personalized Medicine., , and . ADBIS, volume 13389 of Lecture Notes in Computer Science, page 11-24. Springer, (2022)Model-Based Specification and Refinement for Cyber-Physical Systems, , and . Dynamics in Logistics: Proceedings of the 5th International Conference LDIC, 2016 Bremen, Germany, chapter 1, Springer, Cham, (2017)Connecting Textiles: Exploring Textile Interior Surfaces for Power Supply, Communication and User Interaction in the IoT., , , , , , , and . IOT, page 88-95. ACM, (2022)Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models., and . ICMLA, page 1289-1295. IEEE, (2022)Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners., , , and . IDC, page 146-152. ACM, (2019)The application of machine learning techniques in prediction of quality of life features for cancer patients., , , , , , , , and . 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., , and . Künstliche Intelligenz im Gesundheitswesen, Springer Fachmedien Wiesbaden, (2022)The BAALL Ontology - Configuration of Service Robots, Food, and Diet., , and . JOWO, volume 2969 of 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., , , , , , , and . RO-MAN, page 963-968. IEEE, (2022)Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients., , , , , , , , and . MEDES, page 35-42. ACM, (2021)