| On termination of integer linear loops J Ouaknine, JS Pinto, J Worrell Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete …, 2014 | 52 | 2014 |
| On the decidability of reachability in linear time-invariant systems N Fijalkow, J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 29 | 2019 |
| On the polytope escape problem for continuous linear dynamical systems J Ouaknine, J Sousa-Pinto, J Worrell Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 7* | 2017 |
| Solvability of matrix-exponential equations J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 6 | 2016 |
| On the decidability of membership in matrix-exponential semigroups J Ouaknine, A Pouly, J Sousa-Pinto, J Worrell Journal of the ACM (JACM) 66 (3), 1-24, 2019 | 2 | 2019 |
| Primal-Dual iLQR J Sousa-Pinto, D Orban arXiv preprint arXiv:2403.00748, 2024 | | 2024 |
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
