From

Institution

Field

Type

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

Reset

Papers matching “engineering mathematics” 23

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Residual bayesian attention networks for uncertainty quantification in regression tasks
2025 Scientific Reports article Computer Science Gaussian Processes and Bayesian Inference Open access

Youliang Chen, Wencan Guan, Rafig Azzam

10

citations
Preface
2020 Fundamenta Informaticae article Computer Science Formal Methods in Verification Open access

Jetty Kleijn, Laurenţiu Leuştean, Dorel Lucanu

0

citations
TOSSS: a CVE-based Software Security Benchmark for Large Language Models
2026 Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands other Computer Science Software Engineering Research Open access

Marc Damie, Murat Bilgehan Ertan, Domenico Essoussi, Angela Makhanu, Gaëtan Peter, Roos Wensveen

0

citations
Higher order asymptotic homogenization for dynamical problems
2021 Mathematics and Mechanics of Solids article Computer Science Advanced Mathematical Modeling in Engineering

Igor I. Andrianov, Igor V. Andrianov, Igor V. Andrianov, Galina A. Starushenko, Evgenij I. Borodin

9

citations
Effective heat conductivity of a composite with hexagonal lattice of perfectly conducting circular inclusions: An analytical solution
2022 ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik article Computer Science Advanced Mathematical Modeling in Engineering Open access

Igor V. Andrianov, Jan Awrejcewicz, Galina A. Starushenko, Serhii Andriiovych Kvitka

1

citations
Preface to the Special Issue on “Multiscale Mathematical Modeling”
2026 Mathematics editorial Computer Science Advanced Mathematical Modeling in Engineering Open access

Igor V. Andrianov, Julius Kaplunov

0

citations
Preface to the Special Issue on “Multiscale Mathematical Modeling”
2026 Mathematics editorial Computer Science Advanced Mathematical Modeling in Engineering Open access

Igor V. Andrianov, Julius Kaplunov

0

citations
AI Reasoning
2025 Underline Science Inc. other Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
Safe Reinforcement Learning-Based Control for Hydrogen Diesel Dual-Fuel Engines
2025 IFAC-PapersOnLine article Computer Science Reinforcement Learning in Robotics Open access

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

3

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
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
The welch-gong stream cipher - evolutionary path
2023 Cryptography and Communications article Computer Science Cryptographic Implementations and Security Open access

Nuša Zidarič, Kalikinkar Mandal, Guang Gong, Mark D. Aagaard

4

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
Next Generation Power System Planning and Operation With Quantum Computation
2024 IEEE Access article Computer Science Quantum Computing Algorithms and Architecture Open access

Priyanka Arkalgud Ganeshamurthy, Kumar Ghosh, Corey O’Meara, G. Cortiana, Jan Schiefelbein-Lach, Antonello Monti

24

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

11

citations
A Phase-Field Perspective on Mereotopology
2022 AppliedMath article Computer Science Advanced Algebra and Logic Open access

Georg J. Schmitz

7

citations
On the Spatiotemporal Pattern Formation in Nonlinear Coupled Reaction–Diffusion Systems
2023 Axioms article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Satyvir Singh, Ahmed Hussein Msmali

5

citations
On the Computational Complexity of the Chain Rule of Differential Calculus
2021 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Uwe Naumann

1

citations
A Phase-Field Perspective on Mereotopology
2021 Preprints.org preprint Computer Science Advanced Algebra and Logic Open access

Georg J. Schmitz

1

citations
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Shenghua Feng, Mingshuai Chen, Xue Bai, Sriram Sankaranarayanan, Naijun Zhan

1

citations
Formal methods in the scope of the Software and Systems Modeling journal
2025 Software & Systems Modeling article Computer Science Formal Methods in Verification Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

1

citations
Performance Portable Adjoints for Structured Mesh Applications with OPS
2026 ACM Transactions on Mathematical Software article Computer Science Parallel Computing and Optimization Techniques Open access

Gábor Dániel Balogh, Johannes Lotz, Jacques du Toit, Uwe Naumann, István Z. Reguly

0

citations

23 results