From

Institution

Field

Type

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

Reset

Papers matching “model decomposition” 44

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
A Theoretical Model for Global Optimization of Parallel Algorithms
2021 Mathematics article Computer Science Parallel Computing and Optimization Techniques Open access

Julian Miller, Lukas Trümper, Christian Terboven

12

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
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
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
Finite Impulse Response Filters for Simplicial Complexes
2021 European Signal Processing Conference (EUSIPCO) conference-paper Computer Science Topological and Geometric Data Analysis Open access

Maosheng Yang, Elvin Isufi, Michael T. Schaub, Geert J. T. Leus

31

citations
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules
2023 conference-paper Computer Science AI-based Problem Solving and Planning Open access

Dominik Drexler, Jendrik Seipp, Héctor Geffner

6

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
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
A formal framework for distributed cyber-physical systems
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

2

citations
A Formal Framework for Distributed Cyber-Physical Systems
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

1

citations
A Methodology for Retrofitting Generative Aspects in Existing Applications.
2021 The Journal of Object Technology article Computer Science Model-Driven Software Engineering Techniques Open access

Imke Drave, Arkadii Gerasimov, Judith Michael, Lukas Netz, Bernhard Rumpe⋆, Simon Varga

6

citations
Self-supervised Few-shot Learning for Semantic Segmentation: An Annotation-free Approach
2023 arXiv (Cornell University) preprint Computer Science Domain Adaptation and Few-Shot Learning Open access

Sanaz Karimijafarbigloo, Reza Azad, Dorit Merhof

1

citations
A comparison study of supervised learning techniques for the approximation of high dimensional functions and feedback control
2024 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Mathias Oster, Luca Saluzzi, Tizian Wenzel

1

citations
Simplicial Convolutional Filters
2022 IEEE Transactions on Signal Processing article Computer Science Topological and Geometric Data Analysis Open access

Maosheng Yang, Elvin Isufi, Michael T. Schaub, Geert J. T. Leus

40

citations
Solving weakly supervised regression problem using low-rank manifold regularization
2021 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Vladimir Berikov, Alexander Litvinenko

2

citations
Assessment of reinforcement learning applications for industrial control based on complexity measures
2022 at - Automatisierungstechnik article Computer Science Reinforcement Learning in Robotics

Julian Grothoff, Nicolas Camargo Torres, Tobias Kleinert

1

citations
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
When is randomization advantageous in quantum simulation?
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Francesco Paganelli, Michele Grossi, Andrea Giachero, T. E. O'Brien, Oriel Kiss

0

citations
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Alexis de Colnet, Floris Geerts, Rihan Hai, Alfons Laarman, Joon Hyung Lee, Guillermo A. Pérez

0

citations
Divide-Then-Aggregate: An Efficient Tool Learning Method via Parallel Tool Invocation
2025 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Zhaochun Ren, Shuaiqiang Wang, Lisong Yan, Dawei Yin

0

citations
Estimating Conditional Mutual Information for Discrete-Continuous Mixtures using Multi-Dimensional Adaptive Histograms
2021 arXiv (Cornell University) preprint Computer Science Bayesian Modeling and Causal Inference Open access

Alexander Marx, Lincen Yang, Matthijs van Leeuwen

0

citations
A Unified Framework for Zero-Shot Reinforcement Learning
2026 conference-paper Computer Science Reinforcement Learning in Robotics Open access

Jan Felix Kleuker, Aske Plaat, Thomas M. Moerland

0

citations
From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Moein E. Samadi, Andreas Schuppert

0

citations