Author:
Kauers Manuel,Paule Peter
Cited by
121 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Arithmetic of D-algebraic functions;Journal of Symbolic Computation;2025-01
2. Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments;ACM Transactions on Modeling and Computer Simulation;2024-07-10
3. (Un)Solvable loop analysis;Formal Methods in System Design;2024-06-11
4. Linear dynamical systems with continuous weight functions;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
5. Hilbert's tenth problem for lacunary entire functions of finite order;Mathematical Logic Quarterly;2024-05