( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

, , , , , и . APSEC, стр. 614-623. IEEE, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Akira Hayashima

Kiyoaki Fukuda

Ryoko Fukuda

Akira Hori

Akira Satake

 

Другие публикации лиц с тем же именем

A method for analysis and solution of scalability bottleneck in DBMS., и . SoICT, том 449 из ACM International Conference Proceeding Series, стр. 139-146. ACM, (2010)Design and Evaluation of an Information Announcement Mechanism for Mobile Computers., , , и . MDA, том 1748 из Lecture Notes in Computer Science, стр. 135-145. Springer, (1999)Design of WiFi-AP operating channel estimation scheme for sensor node., , , , и . ICMU, стр. 1-6. IEEE, (2016)SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection., , , , и . ITSC, стр. 906-912. IEEE, (2018)Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh., , , , , , и . SMC, стр. 4130-4134. IEEE, (2016)Design of Acoustic Vehicle Detector with Steady-Noise Suppression., , , , и . ITSC, стр. 2848-2853. IEEE, (2019)An intelligent annotation-based image retrieval system based on RDF descriptions., , , и . Comput. Electr. Eng., (2017)A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems., , , , , и . IPIN, стр. 1-9. IEEE, (2012)Design Of Ble 2-Step Separate Channel Fingerprinting., , , , и . VTC Spring, стр. 1-6. IEEE, (2020)Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems., , , , и . IEICE Trans. Commun., 94-B (3): 649-657 (2011)