( en | de | ru )

 

Disambiguation of "Hoch, Ralph"

Author of the publication

copydeleteadd this publication to your clipboard
Reuse vs. Reusability of Software Supporting Business Processes.

, , , and . ICSR, volume 9679 of Lecture Notes in Computer Science, page 138-145. Springer, (2016)

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.

John Ralph

Felicitas Hoch

Felix Hoch

Andreas Höch

Johannes Hoch

 

Other publications of authors with the same name

Verification of Feature Coordination using the Fluent Calculus., and . ENASE, page 169-179. SciTePress, (2018)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)Estimating Problem Instance Difficulty., , and . ICEIS (1), page 359-369. SCITEPRESS, (2020)Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers., , and . APMS (5), volume 634 of IFIP Advances in Information and Communication Technology, page 445-454. Springer, (2021)Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms., , , , , and . GECCO Companion, page 767-770. ACM, (2023)Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models., , , and . ENASE (Selected Papers), volume 1023 of Communications in Computer and Information Science, page 261-287. Springer, (2018)Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability., , , , , , and . RO-MAN, page 1283-1288. IEEE, (2021)An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces., , , and . ENASE, page 289-296. SciTePress, (2019)A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification., , and . HICSS, page 1-10. ScholarSpace / AIS Electronic Library (AISeL), (2017)Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking., , , and . ICSOFT, page 595-604. SciTePress, (2019)