J. Sousa Pinto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the decidability of membership in matrix-exponential semigroups Journal of the ACM	2020-02-11	Paper
On the decidability of reachability in linear time-invariant systems Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
On the decidability of reachability in linear time-invariant systems Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Solvability of Matrix-Exponential Equations Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Solvability of Matrix-Exponential Equations Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
On the Decidability of Reachability in Linear Time-Invariant Systems (available as arXiv preprint)	2018-02-19	Paper
On termination of integer linear loops Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms	2017-10-05	Paper
On the polytope escape problem for continuous linear dynamical systems Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Sampling expansions for functions of compact Mellin spectrum.	1994-01-01	Paper

Research outcomes over time

This page was built for person: J. Sousa Pinto