From

Institution

Field

Type

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

Reset

Papers matching “linearization technique” 74

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Linear Prediction
2023 other Computer Science Speech and Audio Processing Open access

Peter Vary, Rainer Martin

0

citations
Linear Maps as Sufficient Criteria for Entanglement Depth and Compatibility in Many-Body Systems
2022 Open Systems & Information Dynamics article Computer Science Quantum Information and Cryptography Open access

Maciej Lewenstein, Guillem Müller-Rigat, Jordi Tura, Anna Sanpera

4

citations
Shifting-based Optimizable Linear Relaxations for General Activation Functions
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Kern, László Antal, Erika Ábrahám, Carsten Sinz

0

citations
Quantum linear algebra
2025 Cambridge University Press eBooks book-chapter Computer Science Quantum Computing Algorithms and Architecture Open access

Sam McArdle, Connor T. Hann, Aleksander Kubica, Fernando G. S. L. Brandão

0

citations
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

7

citations
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions
2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

László Antal, Hana Masara, Erika Ábrahám

4

citations
Generalizing neural network verification to the family of piece-wise linear activation functions
2025 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

László Antal, Erika Ábrahám, Hana Masara

3

citations
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

0

citations
Machine learning based conditional mean filter: a non-linear extension of the ensemble Kalman filter
2021 conference-abstract Computer Science Target Tracking and Data Fusion in Sensor Networks Open access

Truong‐Vinh Hoang, Sebastian Krumscheid, Raul F. Tempone

2

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Quantum interior point methods
2025 Cambridge University Press eBooks book-chapter Computer Science Quantum Computing Algorithms and Architecture Open access

Sam McArdle, Connor T. Hann, Aleksander Kubica, Fernando G. S. L. Brandão

0

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
Compute-Efficient Medical Image Classification with Softmax-Free Transformers and Sequence Normalization
2024 arXiv (Cornell University) preprint Computer Science Advanced Neural Network Applications Open access

Firas Khader, Omar S. M. El Nahhas, Tianyu Han, Gustav Anton Müller‐Franzes, Sven Nebelung, Jakob Nikolas Kather, +1 more

0

citations
Synthesis and analysis of neural-network-based control in cyber-physical systems
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

László Antal

0

citations
Speech Coding
2023 other Computer Science Speech and Audio Processing Open access

Peter Vary, Rainer Martin

0

citations
Smoothing Codes and Lattices: Systematic Study and New Bounds
2023 IEEE Transactions on Information Theory article Computer Science Cryptography and Data Security Open access

Thomas Debris-Alazard, Léo Ducas, Nicolas Resch, Jean–Pierre Tillich

13

citations
Smoothing Codes and Lattices: Systematic Study and New Bounds
2022 arXiv (Cornell University) preprint Computer Science Cryptography and Data Security Open access

Thomas Debris-Alazard, Léo Ducas, Nicolas Resch, Jean–Pierre Tillich

1

citations
Branch-and-price strikes back for the k-vertex cut problem
2026 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Fabio Ciccarelli, Fabio Furini, Christopher Hojny, Marco E. Lübbecke

0

citations
Simulating Quantum Circuits by Model Counting
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Marcello Bonsangue, Alfons Laarman

1

citations
Memory-centric architectures for energy-efficient cryptographic hardware in edge applications
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Cryptographic Implementations and Security Open access

Shutao Zhang

0

citations
Robust Shielding for Safe Reinforcement Learning
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Edwin Hamel-De le Court, Thom Badings, Alessandro Abate, Francesco Belardinelli, Francesco Fabiano

0

citations
Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
TinyAD: Automatic Differentiation in Geometry Processing Made Simple
2022 Computer Graphics Forum article Computer Science Computer Graphics and Visualization Techniques Open access

Patrick Schmidt, Janis Born, David Bommes, Marcel Campen, Leif P. Kobbelt

21

citations
Efficient and Robust Certification of Genuine Multipartite Entanglement in Noisy Quantum Error Correction Circuits
2021 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access

A. Blanco, A. Bermúdez, Markus Michael Müller, Farid Shähandeh

16

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

7

citations