# Yuki Satake

According to our database

Collaborative distances:

^{1}, Yuki Satake authored at least 6 papers between 2018 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

On a transformation of the ∗-congruence Sylvester equation for the least squares optimization.

Optim. Methods Softw., 2020

CoRR, 2020

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Relation between the T-congruence Sylvester equation and the generalized Sylvester equation.

Appl. Math. Lett., 2019

2018

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