From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Optimized Schedules for Charging Electric Vehicles on Austrian Highways using Genetic Algorithms.

C. Stippel, B. Schwendinger, M. Kammerhofer, R. Hoch, H. Kaindl, и T. Sauter. GECCO Companion, стр. 767-770. ACM, (2023)

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.

John Ralph

Leo Hoch

Ludwig Hoch

Hedwig Hoch

Josef Hoch

Другие публикации лиц с тем же именем

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

BibSonomy

Disambiguation