From

Institution

Field

Type

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

Reset

Papers matching “partial order reduction” 63

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

SymPaths: Symbolic Execution Meets Partial Order Reduction
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Marcello Bonsangue, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa

2

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

Daniel Schemmel, Julian Büning, César Rodríguez, Klaus Wehrle

15

citations
Model Order Reduction of The Time-Dependent Advection-Diffusion-Reaction Equation with Time-Varying Coefficients: Application to Real-Time Water Quality Monitoring
2022 European Control Conference (ECC) conference-paper Physics and Astronomy Model Reduction and Neural Networks

Ahmed Elkhashap, Dirk Abel

3

citations
Reduced order model predictive control for parametrized parabolic partial differential equations
2023 Applied Mathematics and Computation article Engineering Advanced Control Systems Optimization

Saskia Dietze, Martin Grepl

8

citations
Reduced Order Model Predictive Control for Parametrized Parabolic Partial Differential Equations
2021 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Saskia Dietze, Martin Grepl

0

citations
Preliminary Design of Integrated Partial Turboelectric Aircraft Propulsion Systems
2022 Journal of the Global Power and Propulsion Society article Environmental Science Advanced Aircraft Design and Technologies Open access

Hagen Kellermann, Michael Lüdemann, Peter Jeschke, Mirko Hornung

11

citations
Structural evolution of CrN nanocube electrocatalysts during nitrogen reduction reaction
2020 Nanoscale article Chemical Engineering Ammonia Synthesis and Nitrogen Reduction Open access

Zili Ma, Jianhong Chen, Dong Luo, Thomas Thersleff, Richard Dronskowski, Adam Slabon

40

citations
Fast simulation of coronary in‐stent restenosis: A non‐intrusive data‐driven reduced order surrogate model
2024 PAMM article Physics and Astronomy Model Reduction and Neural Networks Open access

Jianye Shi, Kiran Manjunatha, Stefanie Reese

1

citations
Rotation Equivariant Fourier Neural Operators for Learning Symmetry Preserving Transformations on Scalar Fields, Vector Fields, and Higher Order Tensor Fields
2021 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Paul Shen, Michael F. Herbst, Venkat Viswanathan

0

citations
Integration of physics-informed operator learning and finite element method for parametric learning of partial differential equations
2024 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Shahed Rezaei, Ahmad Moeineddin, Michael Kaliske, Markus Apel

0

citations
On the joint dynamics of potentials and currents in porous electrodes: Model reduction
2024 Journal of Power Sources Advances article Engineering Advanced Battery Technologies Research Open access

Keivan Haghverdi, Dmitri L. Danilov, Grietus Mulder, Luis D. Couto, Rüdiger‐A. Eichel

2

citations
Enhanced Succinate Production in Actinobacillus succinogenes via Neutral Red Bypass Reduction in a Novel Bioelectrochemical System
2025 BioTech article Environmental Science Microbial Fuel Cells and Bioremediation Open access cited by 1 patent

Julian Tix, Fernando Pedraza, Roland Ulber, N. Tippkötter

2

citations
Fourth-order paired-explicit Runge-Kutta methods
2025 Computational Science and Engineering article Mathematics Numerical methods for differential equations Open access

Daniel Doehring, Lars Christmann, Michael Schlottke‐Lakemper, Gregor J. Gassner, Manuel Torrilhon

2

citations
Analysis of the Emission Reduction Potential and Combustion Stability Limits of a Hydrogen-Fired Gas Turbine With External Exhaust Gas Recirculation
2021 conference-paper Engineering Combustion and flame dynamics

Nils Hendrik Petersen, Thomas Bexten, Christian Goßrau, Manfred Wirsum

5

citations
The Application of Neural Operator in subsurface process simulation
2021 conference-abstract Physics and Astronomy Model Reduction and Neural Networks Open access

Zhouji Liang, Denise Degen, Florian Wellmann

0

citations
Sparsely constrained neural networks for model discovery of PDEs
2020 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Gert‐Jan Both, Rémy Kusters

7

citations
Real time physical simulation for virtual welding training
2020 Zavarivanje i zavarene konstrukcije article Engineering Welding Techniques and Residual Stresses Open access

Oleg Mokrova, Andre Schmidtb, Marek Simon, Uwe Reisgend, Andreas Behmel, Jochen Martin, +1 more

0

citations
Nonlinear model predictive control of a radiative heating process with movable radiators
2022 International Journal of Robust and Nonlinear Control article Engineering Advanced Control Systems Optimization Open access

Florian Rötzer, Lorenz Dörschel, Andreas Deutschmann, Dirk Abel, Andreas Kugi

2

citations
Understanding Ligand Effects on Bielectronic Transitions: Chemo‐ and Electroreduction of Rhodium Bis(Diphosphine) Complexes to Low Oxidation States
2024 Angewandte Chemie International Edition article Chemistry Organometallic Complex Synthesis and Catalysis Open access

Anne‐Christine Kick, Thomas Weyhermüller, Markus Hölscher, Nicolas Kaeffer, Walter Leitner

7

citations
Understanding Ligand Effects on Bielectronic Transitions: Chemo‐ and Electroreduction of Rhodium Bis(Diphosphine) Complexes to Low Oxidation States
2024 Angewandte Chemie article Chemistry Organometallic Complex Synthesis and Catalysis Open access

Anne‐Christine Kick, Thomas Weyhermüller, Markus Hölscher, Nicolas Kaeffer, Walter Leitner

1

citations
Spline-PINN: Approaching PDEs without Data Using Fast, Physics-Informed Hermite-Spline CNNs
2022 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Physics and Astronomy Model Reduction and Neural Networks Open access cited by 1 patent

Nils Wandel, Michael Weinmann, Michael Neidlin, Reinhard Klein

60

citations
A reduced basis ensemble Kalman method
2023 GEM - International Journal on Geomathematics article Physics and Astronomy Model Reduction and Neural Networks Open access

Francesco A. B. Silva, Cecilia Pagliantini, Martin Grepl, Karen Veroy

9

citations
A Reduced Basis Ensemble Kalman Method
2022 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Francesco A. B. Silva, Cecilia Pagliantini, Martin Grepl, Karen Veroy

0

citations
Reduced basis methods for real-time thermal ablation treatment planning in cancer therapy
2024 RWTH Publications (RWTH Aachen) dissertation Physics and Astronomy Model Reduction and Neural Networks Open access

Zoi Tokoutsi

0

citations