( en | de | ru )

 

Disambiguation of "Kaindl, Hermann"

Author of the publication

copydeleteadd this publication to your clipboard
7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.--27. September 1991, Proceedings

(Eds.) Informatik-Fachberichte Springer, Berlin, (1991)
DOI: 10.1007/978-3-642-46752-3

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.

Annette Kaindl

Simon Kaindl

Klaus Kaindl

Günter Kaindl

Angela Kaindl

 

Other publications of authors with the same name

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda., , , , , , , , , and . Requir. Eng., 7 (3): 113-123 (2002)Verification of Business Processes Against Business Rules Using Object Life Cycles., , , and . WorldCIST (1), volume 444 of Advances in Intelligent Systems and Computing, page 589-598. Springer, (2016)Feature Construction during Tree Learning., , and . GWAI, volume 285 of Informatik-Fachberichte, page 50-61. Springer, (1991)What Happened with AI's Drosophila?. ÖGAI, volume 106 of Informatik-Fachberichte, page 194-203. Springer, (1985)Verification of Feature Coordination using the Fluent Calculus., and . ENASE, page 169-179. SciTePress, (2018)A process for facilitating interaction design through automated GUI generation., , , , and . SAC, page 1324-1330. ACM, (2014)Automated generation of device-specific WIMP UIs: weaving of structural and behavioral models., , , , and . EICS, page 41-46. ACM, (2011)Model transformation rules for customization of multi-device graphical user interfaces., , and . EICS, page 100-109. ACM, (2015)Gradual transition towards autonomic software systems based on high-level communication specification., , , , and . SAC, page 84-89. ACM, (2007)A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification., and . SAC, page 1828-1836. ACM, (2019)