Author of the publication

Improving Rewriting Induction Approach for Proving Ground Confluence.

, , and . FSCD, volume 84 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Improving Rewriting Induction Approach for Proving Ground Confluence., , and . FSCD, volume 84 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Halo control for LHE based local adaptive tone mapping., and . ICIP, page 3911-3915. IEEE, (2015)Powerful and dexterous multi-finger hand using dynamical pulley mechanism., , , , , , , , and . ICRA, page 707-713. IEEE, (2022)Performance Evaluation of Virtual Segment Method Based on Actual Road Network Topology at the Time of the Great East Japan Earthquake., , and . INCoS, page 451-456. IEEE, (2012)3-D Sensing for Flexible Linear Object Alignment in Robot Cell Production System., , , , , , and . J. Robotics Mechatronics, 22 (1): 100-111 (2010)Coaxial-Fed Circular Dipole Array Antenna With Ferrite Loading for Thin Directional Borehole Radar Sonde., , , , and . IEEE Trans. Geosci. Remote. Sens., 53 (4): 1842-1854 (2015)Quantitative evaluation methods of robust detecting and tracking with color camera under illumination changes., , and . SMC, page 2263-2266. IEEE, (2010)Building Energy Management Considering Nonlinearity of Electric Equipment with PV-Battery Systems during Power Outage., , , , and . ISGT Asia, page 1-5. IEEE, (2023)Quantitative evaluations of stable and adaptive tracking using the updating HS-histogram method., , , and . ROBIO, page 2949-2954. IEEE, (2011)Computer-Created Interactive 3D Image with Midair Haptic Feedback., , and . AsiaHaptics, volume 432 of Lecture Notes in Electrical Engineering, page 491-494. Springer, (2016)