Yuki Satake

According to our database1, Yuki Satake authored at least 6 papers between 2018 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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

Program Verification via Predicate Constraint Satisfiability Modulo Theories.
CoRR, 2020

Probabilistic Inference for Predicate Constraint Satisfaction.
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

Propositional Dynamic Logic for Higher-Order Functional Programs.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018


  Loading...