From

Institution

Field

Type

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

Reset

Papers matching “differential dynamic programming” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

15

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
Fast and General Automatic Differentiation for Finite-State Methods
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lucas Ondel Yang, Tina Raissi, Martin Kocour, Pablo Riera, Caio Corro

0

citations
Matrix-Free Jacobian Chaining
2026 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Matrix Theory and Algorithms

Uwe Naumann

0

citations
Hessian chain bracketing
2023 Journal of Combinatorics article Computer Science Complexity and Algorithms in Graphs

Uwe Naumann, Shubhaditya Burela

1

citations
Which Algorithms Can Graph Neural Networks Learn?
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Solveig Wittig, Antonis Vasileiou, Robert R. Nerem, Timo Stoll, Floris Geerts, Yusu Wang, +1 more

0

citations
Gradient-Based Speech-to-Text Alignment for Any ASR Model: From CTC to Speech LLMs
2026 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Albert Zeyer, Ralf Schlüter, Hermann Ney

0

citations
Towards compiler-aided correctness checking of adjoint MPI applications
2020 conference-paper Computer Science Software Testing and Debugging Techniques Open access

Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H Bischof, Matthias Müller

5

citations

9 results