Author of the publication

Maya: Maintaining Structured Developments

, , , and . OMDoc – An Open Markup Format for Mathematical Documents version 1.2, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)

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

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)Preface., and . UITP@TPHOLs, volume 226 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2008)Interactive Theorem Proving with Tasks., , , and . UITP@TPHOLs, volume 103 of Electronic Notes in Theoretical Computer Science, page 161-181. Elsevier, (2003)Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners., , , and . IDC, page 146-152. ACM, (2019)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)ASCAPE: An open AI ecosystem to support the quality of life of cancer patients., , , , , , , , , and . CoRR, (2023)Towards Merging PlatOmega and PGIP., , , and . UITP@TPHOLs, volume 226 of Electronic Notes in Theoretical Computer Science, page 3-21. Elsevier, (2008)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)Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients., , , , , , , , and . MEDES, page 35-42. ACM, (2021)