From

Institution

Field

Type

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

Reset

Papers matching “decomposition” 147

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

0

citations
Factorisation Path Based Refactorisation for High-Performance LU Decomposition in Real-Time Power System Simulation
2021 Energies article Computer Science Matrix Theory and Algorithms Open access

Jan Dinkelbach, Lennart Schumacher, Lukas Razik, Andrea Benigni, Antonello Monti

7

citations
Integrating quantum and classical computing for multi-energy system optimization using Benders decomposition
2024 Computers & Chemical Engineering article Computer Science Quantum Computing Algorithms and Architecture Open access

Ludger Leenders, Martin Sollich, Christiane Reinert, André Bardow

9

citations
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

citations
Micro-macro decomposition of particle swarm optimization methods
2025 Kinetic and Related Models article Computer Science Metaheuristic Optimization Algorithms Research Open access

Michaël Herty, Sara Veneruso

0

citations
A decomposition-compatible canonization framework for the graph isomorphism problem
2021 RWTH Publications (RWTH Aachen) dissertation Computer Science Graph Theory and Algorithms Open access

Daniel Wiebking

0

citations
Translation of a Higher Order Ambisonics Sound Scene Based on Parametric Decomposition
2020 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Speech and Audio Processing cited by 3 patents

Maximilian Kentgens, Andreas Behler, Peter Jax

27

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

1

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

0

citations
A Scalable Two-Level Domain Decomposition Eigensolver for Periodic Schrödinger Eigenstates in Anisotropically Expanding Domains
2024 SIAM Journal on Scientific Computing article Computer Science Matrix Theory and Algorithms Open access

Lambert Theisen, Benjamin Stamm

0

citations
Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition
2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Formal Methods in Verification Open access

Bahareh Taghavi, Max Stachon, Adrian Marin, Bao-Lan Le-Quang, Bernhard Rumpe⋆, Ralf Reussner, +1 more

0

citations
Showcasing straight-line programs with memory via matrix Bruhat decomposition
2024 International Journal of Algebra and Computation article Computer Science Polynomial and algebraic computation Open access

Alice C. Niemeyer, Tomasz Popiel, Cheryl E. Praeger, Daniel Rademacher

0

citations
Automated semantics-preserving parallel decomposition of finite component and connector architectures
2020 Automated Software Engineering article Computer Science Advanced Software Engineering Methodologies

Oliver Kautz, Bernhard Rumpe⋆, Andreas Wortmann

4

citations
Quantum circuit decomposition of the tangent-fermion Dirac operator
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

C. W. J. Beenakker

0

citations
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
2025 CEUR Workshop Proceedings article Computer Science Polynomial and algebraic computation Open access

0

citations
HyperPCTL Model Checking by Probabilistic Decomposition
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour

2

citations
XT-Based Decomposition of a PLC Controller Program in Distributed Control Application Using Petri Nets for Implementation Employing SFC Language
2026 International Conference on Methods and Models in Automation and Robotics conference-paper Computer Science Petri Nets in System Modeling

Łukasz Stefanowicz, Mariusz Buciakowski, Szymon Wermiński, Marcin Witczak

0

citations
Optimizing the information extracted by a single qubit measurement
2023 Physical Review A article Computer Science Quantum Computing Algorithms and Architecture Open access

Stefano Polla, Gian-Luca Anselmetti, Thomas E. O’Brien

16

citations
A structural duality for path-decompositions into parts of small radius
2026 Innovations in Graph Theory article Computer Science Advanced Graph Theory Research Open access

Sandra Albrechtsen, Reinhard Diestel, Ann-Kathrin Elm, Eva Fluck, Raphael W. Jacobs, Paul Knappe, +1 more

0

citations
Monotonicity of the cops and robber game for bounded depth treewidth
2024 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Isolde Adler, Eva Fluck

0

citations
The Power of the Weisfeiler--Leman Algorithm to Decompose Graphs
2022 SIAM Journal on Discrete Mathematics article Computer Science Advanced Graph Theory Research Open access

Sandra Kiefer, Daniel Neuen

11

citations
Exact stochastic constraint optimisation with applications in network analysis
2021 Artificial Intelligence article Computer Science Constraint Satisfaction and Optimization Open access

Anna L. D. Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger H. Hoos, Siegfried Nijssen

5

citations
Dominance-based variable analysis for large-scale multi-objective problems
2022 Natural Computing article Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Dani Irawan, Boris Naujoks, Thomas Bäck, Michael Emmerich

5

citations
3-D Positioning Method for Anonymous UAV Based on Bistatic Polarized MIMO Radar
2022 IEEE Internet of Things Journal article Computer Science Direction-of-Arrival Estimation Techniques cited by 2 patents

Fangqing Wen, Junpeng Shi, Guan Gui, Haris Gacanin, Octavia A. Dobre

84

citations
Information fusion for fully automated segmentation of head and neck tumors from PET and CT images
2023 Medical Physics article Computer Science Medical Image Segmentation Techniques Open access

Isaac Shiri, Mehdi Amini, Fereshteh Yousefirizi, Alireza Vafaei Sadr, Ghasem Hajianfar, Yazdan Salimi, +7 more

21

citations