A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “nominalization” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Provably Bounding Neural Network Preimages
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Suhas Kotha, Christopher Brix, J. Zico Kolter, Krishnamurthy

6

citations
Cloud-Based ICME Software Training
2020 Preprints.org preprint Computer Science Innovative Educational Technologies Open access

Lukas Koschmieder, Ralph Altenfeld, Janin Eiken, Bernd Böttger, Georg J. Schmitz

1

citations
A Real-Time Control Barrier Function-Based Safety Filter for Motion Planning with Arbitrary Road Boundary Constraints
2025 arXiv (Cornell University) preprint Computer Science Robotic Path Planning Algorithms Open access

Jianye Xu, Chang Che, Bassam Alrifaee

0

citations
On the Complexity of Recoverable Robust Optimization in the Polynomial Hierarchy
2024 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Christoph Grüne, Lasse Wulf

0

citations
A Poisson Jump-driven SDE Approach to Distributed Gradient Descent with Sparse Communication
2025 arXiv (Cornell University) preprint Computer Science Distributed Control Multi-Agent Systems Open access

John Paul Strachan, Christian Ebenbauer

0

citations

5 results