Semi-automatic generation of recommendation processes and their GUIs. - Hermann Kaindl; Elmar P. Wach; Ada Okoli; Roman Popp; Ralph Hoch; Werner Gaulke; Tim Hussein (IUI, 2013)

Semantic Service Specification for V&V of Service Composition and Business Processes. - Ralph Hoch; Hermann Kaindl; Roman Popp; Dominik Ertl; Helmut Horacek (HICSS, 2015)

Consistently Formalizing a Business Process and its Properties for Verification: A Case Study. - Michael Rathmair; Ralph Hoch; Hermann Kaindl; Roman Popp (PoEM, 2015)

Aligning Architectures of Business and Software: Software Driven by Business Process Models and Its User Interface. - Ralph Hoch; Hermann Kaindl; Roman Popp; Christian Zeidler (HICSS, 2016)

Reuse vs. Reusability of Software Supporting Business Processes. - Hermann Kaindl; Roman Popp; Ralph Hoch; Christian Zeidler (ICSR, 2016)

Verification of Business Processes Against Business Rules Using Object Life Cycles. - Ralph Hoch; Michael Rathmair; Hermann Kaindl; Roman Popp (WorldCIST (1), 2016)

A Connection of Task-centric with Artefact-centric Models through Semantic Task Specification and its Use for Formal Verification. - Roman Popp; Ralph Hoch; Hermann Kaindl (HICSS, 2017)

Semantic task specification in business process context. - Hermann Kaindl; Ralph Hoch; Roman Popp (RCIS, 2017)

Verification of Feature Coordination using the Fluent Calculus. - Ralph Hoch; Hermann Kaindl (ENASE, 2018)

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. - Hermann Kaindl; Ralph Hoch; Michael Rathmair; Christoph Luckeneder (ENASE (Selected Papers), 2018)

An inductive learning perspective on automated generation of feature models from given product specifications. - Hermann Kaindl; Stefan Kramer 001; Ralph Hoch (SPLC, 2018)

An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces. - Thomas Rathfux; Hermann Kaindl; Ralph Hoch; Franz Lukasch (ENASE, 2019)

Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking. - Thomas Rathfux; Hermann Kaindl; Ralph Hoch; Franz Lukasch (ICSOFT, 2019)

Estimating Problem Instance Difficulty. - Hermann Kaindl; Ralph Hoch; Roman Popp (ICEIS (1), 2020)

An Investigation of Problem Instance Difficulty for Case-Based Reasoning and Heuristic Search. - Hermann Kaindl; Ralph Hoch; Roman Popp; Thomas Rathfux; Franz Lukasch (ICEIS (Revised Selected Papers), 2020)

Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers. - Kelvin Sparr; Damian Drexel; Ralph Hoch (APMS (5), 2021)

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. - Michael Rathmair; Christoph Luckeneder; Thomas Haspl; Bernhard Reiterer; Ralph Hoch; Michael W. Hofbaur; Hermann Kaindl (RO-MAN, 2021)

Assigning Systems to Test Environments Through Ontological Reasoning. - Petar Paradzikovic; Ralph Hoch; Hermann Kaindl (SEMANTiCS, 2022)

Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications. - Ralph Hoch; Christoph Luckeneder; Roman Popp; Hermann Kaindl (IEEE Trans. Software Eng., 2022)

Towards Using Structural Abstraction for Model Checking. - Christoph Luckeneder; Ralph Hoch; Hermann Kaindl (DSA, 2023)

Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms. - Christian Stippel; Benjamin Schwendinger; Michael Kammerhofer; Ralph Hoch; Hermann Kaindl; Thilo Sauter (GECCO Companion, 2023)

Exploring Machine Learning for Faster Mapping and Scheduling of Automotive Applications on ADAS Platforms. - Rafael Sterzinger; Wolfgang Koch; Ralph Hoch (ICMLA, 2024)

Structural Abstraction and Selective Refinement for Formal Verification. - Christoph Luckeneder; Ralph Hoch; Hermann Kaindl (CoRR, 2025)