João Sousa Pinto

201420152016201720182019202020212022202320243 6 5 12 5 10 12 15 12 10 5

Общий доступ

5 статей

0 статей

доступно

недоступно

На основе финансирования

Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПодтвержден адрес электронной почты в домене mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityПодтвержден адрес электронной почты в домене cs.ox.ac.uk
Amaury PoulyCNRS/IRIFПодтвержден адрес электронной почты в домене irif.fr
Nathanaël FijalkowCNRS, LaBRI, Bordeaux, and University of WarsawПодтвержден адрес электронной почты в домене labri.fr

João Sousa Pinto

Подтвержден адрес электронной почты в домене cs.ox.ac.uk - Главная страница


Название По числу цитат По году По названию	Процитировано Процитировано	Год
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

В данный момент система не может выполнить эту операцию. Повторите попытку позднее.

Статьи 1–6

Ссылок за год