From

Institution

Field

Type

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

Reset

Papers matching “mathematics” 253

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Exact Inference for Continuous-Time Gaussian Process Dynamics
2023 RWTH Publications (RWTH Aachen) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Katharina Ensinger, Nicholas Tagliapietra, Sebastian Ziesche, Sebastian Trimpe

0

citations
A finite sufficient set of conditions for catalytic majorization
2026 Communications Physics article Computer Science Quantum Information and Cryptography Open access

David Elkouss, Ananda G. Maity, Aditya Nema, Sergii Strelchuk

0

citations
SoK: multiparty computation in the preprocessing model
2025 Leiden Repository (Leiden University) report Computer Science Cryptography and Data Security Open access

S. Sun, E. Makri

0

citations
A Systematic Review of Formal Verification Models for Safety of Autonomous AI Agents: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Formal Methods in Verification Open access

A. G. Lewis, B. Horváth, R. Costa

0

citations
[DC] Towards Comprehensible and Expressive Teleportation Techniques in Immersive Virtual Environments
2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) conference-paper Computer Science Virtual Reality Applications and Impacts

Daniel Rupp

0

citations
Right Label Context in End-to-End Training of Time-Synchronous ASR Models
2025 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Tina Raissi, Ralf Schlüter, Hermann Ney

0

citations
Safe Reinforcement Learning-based Control for Hydrogen Diesel Dual-Fuel Engines
2025 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Alexander Winkler, Armin Norouzi, Jakob Andert, David C. Gordon, Hongsheng Guo

0

citations
Training techniques for robust laser beam shaping with diffractive neural networks
2025 Practical Holography: Displays, Materials, and Applications conference-abstract Computer Science Neural Networks and Reservoir Computing

Paul Buske, Louis Michels, Oskar Hofmann, Annika Bonhoff, Carlo Holly

0

citations
Rethinking Evaluation Paradigms in IBP-based Certified Training
2026 arXiv (Cornell University) preprint Computer Science Adversarial Robustness in Machine Learning Open access

Konstantin Kaulen, Hadar Shavit, Holger H. Hoos

0

citations
MPCC: strong stability of weakly nondegenerate S-stationary points
2024 Optimization article Computer Science Optimization and Variational Analysis Open access

Harald Günzel, Daniel Hernández Escobar, Jan-J. Rückmann

0

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations
Logics with Multiteam Semantics
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Literal-Aware Knowledge Graph Embedding for Welding Quality Monitoring: A Bosch Case
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Advanced Graph Neural Networks Open access

Zhipeng Tan, Baifan Zhou, Zhuoxun Zheng, Ognjen Savković, Ziqi Huang, Irlán Grangel González, +2 more

0

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Embedded corrector problems for homogenization in linear elasticity
2023 HAL (Le Centre pour la Communication Scientifique Directe) article Computer Science Advanced Mathematical Modeling in Engineering Open access

Virginie Ehrlacher, Frédéric Legoll, Benjamin Stamm, Shuyang Xiang

0

citations
Quantitative Information Flow for Hardware: Advancing the Attack Landscape
2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Lennart M. Reimann, Sarp Erdönmez, Dominik Šišejković, Rainer Leupers

0

citations
Reinforced Efficient Reasoning via Semantically Diverse Exploration
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Ziqi Zhao, Zhaochun Ren, Jiahong Zou, Liu Yang, Zhiwei Xu, Xuri Ge, +6 more

0

citations
An adaptive consensus based method for multi-objective optimization with uniform Pareto front approximation
2022 RWTH Publications (RWTH Aachen) article Computer Science Advanced Multi-Objective Optimization Algorithms Open access

Giacomo Borghi, Michaël Herty, Lorenzo Pareschi

0

citations
Independence in Infinite Probabilistic Databases
2020 arXiv (Cornell University) preprint Computer Science Advanced Database Systems and Queries Open access

Martin Grohe, Peter Lindner

0

citations
Reinforced Efficient Reasoning via Semantically Diverse Exploration
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Ziqi Zhao, Zhaochun Ren, Jiahong Zou, Liu Yang, Zhiwei Xu, Xuri Ge, +6 more

0

citations
PERMAVOST '22
2022 ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC) conference-paper Computer Science Parallel Computing and Optimization Techniques

Radita Liem, Ana Veroneze Solorzano, Connor Francis Scully-Allison

0

citations
Preface
2020 other Computer Science Logic, programming, and type systems Open access

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

0

citations
A Comprehensive Review of Optimization-Driven Design of Attribute-Based Encryption Schemes: Security Models, Optimization Techniques, and Emerging Computing Applications
2025 International Journal on Advanced Computer Theory and Engineering article Computer Science Cryptography and Data Security Open access

Emily L. Thompson, Karl Schneider, Alexei Petrov

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
Quantum Computing Methods for Dynamic State Estimation in Power Systems
2025 IEEE PES Innovative Smart Grid Technologies Europe conference-paper Computer Science Quantum Computing Algorithms and Architecture

Ivelina Stoyanova, Orkun Şensebat, Yanjun Ji, Priyanka Arkalgud Ganeshamurthy, Sonja Kajganic, Dennis Willsch, +1 more

0

citations