According to our database1, Yuki Satake authored at least 6 papers between 2018 and 2020.
Legend:Book In proceedings Article PhD thesis Other
On a transformation of the ∗-congruence Sylvester equation for the least squares optimization.
Optim. Methods Softw., 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Relation between the T-congruence Sylvester equation and the generalized Sylvester equation.
Appl. Math. Lett., 2019
Relatively complete refinement type system for verification of higher-order non-deterministic programs.
Proc. ACM Program. Lang., 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018