From

Institution

Field

Type

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

Reset

Papers matching “partial order reduction” 55

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
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
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
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
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
Synthesis of Copper, Silver, and Copper–Silver Powders by Hydrogen-Assisted Ultrasonic Spray Pyrolysis
2026 Inorganics article Engineering Powder Metallurgy Techniques and Materials Open access

Mame Haicha Faye, Duško Kostić, Srećko Stopić, Kone Daouda, Aleksandar M. Mitrašinović, Tatjana Volkov Husović, +2 more

1

citations
3D multi-physics uncertainty quantification using physics-based machine learning
2022 Scientific Reports article Physics and Astronomy Model Reduction and Neural Networks Open access

Denise Degen, Mauro Cacace, Florian Wellmann

30

citations
Variationally correct neural residual regression for parametric PDEs: on the viability of controlled accuracy
2025 IMA Journal of Numerical Analysis article Physics and Astronomy Model Reduction and Neural Networks Open access

Markus Bachmayr, Wolfgang Dahmen, Mathias Oster

7

citations