Yuto Hirose

Orcid: 0009-0002-4513-8778

According to our database1, Yuto Hirose authored at least 2 papers between 2011 and 2025.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Verification of Controller Input Feasibility via AI Reasoning with SAT/SMT Solvers.
Proceedings of the 9th International Conference on Algorithms, Computing and Systems, 2025

2011
Fabrication of Fine Particles of Semiconducting Polymers by Electrospray Deposition.
IEICE Trans. Electron., 2011


  Loading...