From

Institution

Field

Type

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

Reset

Papers matching “state elimination” 21

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Out of Control: Reducing Probabilistic Models by Control-State Elimination
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen

3

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Elimination Techniques for Algorithmic Differentiation Revisited
2023 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Numerical Methods and Algorithms

Uwe Naumann, Erik Schneidereit, Simon Märtens, Markus Towara

0

citations
Review, Evaluation and Application of Condensing Algorithms for Model Predictive Control based on a First-Order Method
2023 European Control Conference (ECC) conference-paper Engineering Advanced Control Systems Optimization

Lukas Schmitt, Niklas Nickig, Matthias Bähr, Sönke Gößling, Dirk Abel

1

citations
Design of Crosstalk Cancellation Filters: Combining Inverse Filtering and Optimal Control
2023 European Signal Processing Conference (EUSIPCO) conference-paper Computer Science Speech and Audio Processing

Tobias Kabzinski, Florian Hilgemann, Peter Jax

0

citations
Order Reduction of Multi-Channel FIR Filters by Balanced Truncation
2023 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Digital Filter Design and Implementation

Florian Hilgemann, Peter Jax

0

citations
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
2025 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification

Jonas Stübbe, Anne Remke, Erika Ábrahám

1

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Towards Faster Continuous Multi-Channel HRTF Measurements Based On Learning System Models
2022 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Speech and Audio Processing Open access

Tobias Kabzinski, Peter Jax

5

citations
Optimizing Automatic Differentiation with Deep Reinforcement Learning
2024 JuSER (Forschungszentrum Jülich) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Jamie Lohoff, Emre Neftci

2

citations
Improved Instantaneous Flux and Current Control for Three-Phase Dual-Active Bridge DC-DC Converters
2021 IEEE Energy Conversion Congress and Exposition (ECCE) conference-paper Engineering Advanced DC-DC Converters

Rafael Goldbeck, Jingxin Hu, Rik W. De Doncker

18

citations
Breaker-Less MVDC-Grid with Single-Phase Dual-Active Bridge
2024 conference-paper Engineering HVDC Systems and Fault Protection

Raphael Mencher, Jan Mathé, Rik W. De Doncker

6

citations
Recurrent Phase Reconstruction Using Estimated Phase Derivatives from Deep Neural Networks
2021 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Speech and Audio Processing

Lars Thieling, Peter Jax

14

citations
False Sense of Security: Leveraging XAI to Analyze the Reasoning and True Performance of Context-less DGA Classifiers
2023 International Symposium on Research in Attacks, Intrusions and Defenses (RAID) conference-paper Computer Science Spam and Phishing Detection Open access

Arthur Drichel, Ulrike Meyer

10

citations
Power Density Analysis of Wind Turbine Main Bearing Units by Holistic Optimization of Material, Manufacturing and Design of the Main Shaft
2024 Journal of Physics Conference Series conference-paper Engineering Wind Energy Research and Development Open access

Christian Hollas, Georg Jacobs, Vitali Züch, Julian Röder, Niklas Reinisch, Moritz Gouverneur, +3 more

2

citations
Notice of Violation of IEEE Publication Principles: A Resilient Distributed Consensus Control Scheme for DC Microgrids Over Fading Channels
2021 Chinese Control and Decision Conference (CCDC) conference-paper Engineering Microgrid Control and Optimization

Jingang Lai, Xiaoqing Lu, Shuai Liu, Yaonan Wang, Xinghuo Yu

1

citations
Distributed Mean-Square Consensus for Microgrid Networks with Switching Topology
2021 Chinese Control Conference (CCC) conference-paper Engineering Microgrid Control and Optimization

Jingang Lai, Xiaoqing Lu

0

citations
Quality-diversity driven robust evolutionary optimization of optical designs
2024 Computational Optics conference-paper Engineering Advanced optical system design

Kirill Antonov, Teus W. Tukker, Tiago Botari, Thomas Bäck, Anna V. Kononova, Bas van Stein

0

citations
25 Pharmacogenetic diagnostics and therapeutic implications for genome medicine
2020 Pharmacopsychiatry conference-paper Pharmacology, Toxicology and Pharmaceutics Pharmacogenetics and Drug Metabolism

JC Stingl

0

citations
Simulating Self-Discharge of Organic Neuromorphic Devices in Spiking Neural Networks
2023 Neuronics Conference conference-paper Engineering Advanced Memory and Neural Computing

Daniel Felder, John Linkhorst, Matthias Weßling

0

citations
A Novel Cost Effective and Highly Dynamic Power Hardware in the Loop (PHIL) System for Automotive Traction Inverter Testing
2025 conference-paper Engineering Real-time simulation and control systems

Michael Schubert, Marcel Reisner, Rik W. De Doncker

0

citations

21 results