( en | de | ru )

 

Disambiguierung von "Hoch, Ralph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Estimating Problem Instance Difficulty.

, , und . ICEIS (1), Seite 359-369. SCITEPRESS, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

John Ralph

Felicitas Hoch

Andreas Höch

Felix Hoch

Johannes Hoch

 

Weitere Publikationen von Autoren mit dem selben Namen

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