Search results for: Yasunao Katayama
IEEE Transactions on Nanotechnology > 2016 > 15 > 5 > 762 - 769
Lecture Notes in Computer Science > Computer Aided Verification > SAT, BDDs, and Applications > 465-477
2012 IEEE Global Communications Conference (GLOBECOM) > 4249 - 4254
Advanced Millimeter‐Wave Technologies > 709 - 727