From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “process scheduling” 25

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Robust optimization and variants of the scheduling problem
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

Jenny Segschneider

0

citations
ALOHA: A Unified Platform-Aware Evaluation Method for CNNs Execution on Heterogeneous Systems at the Edge
2021 IEEE Access article Computer Science Advanced Neural Network Applications Open access

Paola Busia, Svetlana Minakova, Todor P. Stefanov, Luigi Raffo, Paolo Meloni

9

citations
Optimization of Compute Costs in Hybrid Clouds with Full Rescheduling
2020 IEEE International Conference on Smart Cloud (SmartCloud) conference-paper Computer Science Cloud Computing and Resource Management

Sophoan Sok, Sansiri Tanachutiwat, Horst Lichter

3

citations
Precedence constraints in combinatorial optimization
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Corinna Mathwieser

0

citations
Benchmarking Advantage and D-Wave 2000Q quantum annealers with exact cover problems
2022 Quantum Information Processing article Computer Science Quantum Computing Algorithms and Architecture Open access

Dennis Willsch, Madita Willsch, Carlos D. Gonzalez Calaza, Fengping Jin, Hans A. De Raedt, Marika Svensson, +1 more

115

citations
Providing A Compiler Technology-Based Alternative For Big Data Application Infrastructures
2022 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Kristian F. D. Rietveld, Harry A. G. Wijshoff

0

citations
Dynamic computation offloading for wireless sensors in IIoT
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science IoT and Edge/Fog Computing Open access

Praveen Mohanram

0

citations
Efficient Probabilistic Model Checking for Relational Reachability
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

3

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

22

citations
stormchecker/stormpy: v1.13.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Matthias Volk, Sebastian Junges, Hannah, Tom Janson, Linus, Tim Quatmann, +12 more

0

citations
Segmentation-Driven Optimization For Iterative Reconstruction in Optical Projection Tomography: An Exploration
2020 IEEE Transactions on Computational Imaging article Computer Science Medical Image Segmentation Techniques Open access

Xiaoqin Tang, Hermes Spaink, Rob Christiaan van Wijk, Fons J. Verbeek

2

citations
stormchecker/storm: v1.14.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
stormchecker/storm: v1.13.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
Deterministic Execution of ROS 2 Applications via Lingua Franca
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Harun Teper, Shaokai Lin, Shulu Li, Edward A. Lee, Jian-Jia Chen

0

citations
A Preoperative Virtual Reality App for Patients Scheduled for Cardiac Catheterization: Pre–Post Questionnaire Study Examining Feasibility, Usability, and Acceptability
2022 JMIR Cardio article Computer Science Virtual Reality Applications and Impacts Open access

Jiska Joëlle Aardoom, Alexander D Hilt, Tamar Woudenberg, Niels Henrik Chavannes, Douwe E. Atsma

31

citations
Simulation-as-a-Service for Reinforcement Learning Applications by Example of Heavy Plate Rolling Processes
2020 Procedia Manufacturing article Computer Science Reinforcement Learning in Robotics Open access

Christian Scheiderer, Timo Thun, Christian Idzik, Andrés Felipe Posada-Moreno, Alexander Krämer, Johannes Lohmar, +2 more

23

citations
CHAMB-GA: A Containerized HPC Scalable Microservice-Based Framework for Genetic Algorithms
2026 arXiv (Cornell University) preprint Computer Science Metaheuristic Optimization Algorithms Research Open access

Felix Bonhoff, Thiemo Pesch, Andrea Benigni, Alexander Mitsos, Manuel Dahmen

0

citations
Towards dynamic algorithm selection for numerical black-box optimization
2020 Genetic and Evolutionary Computation Conference (GECCO) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Hao Wang, Thomas Bäck, Carola Doerr

18

citations
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more

13

citations
Predictive, reactive and replication-based load balancing of tasks in Chameleon and sam(oa) 2
2021 Platform for Advanced Scientific Computing Conference (PASC) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Philipp Samfaß, Jannis Klinkenberg, Minh Thanh Chung

4

citations
Development and validation of a framework for registration of whole-mount radical prostatectomy histopathology with three-dimensional transrectal ultrasound
2025 BMC Urology article Computer Science Medical Image Segmentation Techniques Open access

Auke Jager, Marije J. Zwart, Arnoud W. Postema, Daniël L. van den Kroonenberg, Wim Zwart, Harrie P. Beerlage, +2 more

3

citations
Case Study: AI Task Planning Setup for an Industrial Scenario with Mobile Manipulators
2021 RWTH Publications (RWTH Aachen) conference-paper Computer Science AI-based Problem Solving and Planning Open access

Stefan-Octavian Bezrucav, Malte Kaiser, Burkhard J. Corves

2

citations
Modeling and Simulation of Cyber-Physical Systems using An Extensible Co-Simulation Framework
2022 Winter Simulation Conference conference-paper Computer Science Modeling and Simulation Systems

Jan Reitz, Tobias Osterloh, Jürgen Roßmann

1

citations
Separating Geometry From Interference in Constrained Quantum Optimization
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Stuart Hadfield, Kristel F. L. Michielsen

0

citations
Evaluation of an automated workflow for TSN-based bounded-latency communication in ISO IEEE 11073 SDC-based medical networks
2026 International Journal of Computer Assisted Radiology and Surgery article Computer Science Network Time Synchronization Technologies Open access

Maja Dohms, Noah Wickel, Klaus Radermacher, Armin Janß

0

citations

25 results