( en | de | ru )

 

Disambiguation of "Fujita, Masahiro"

Author of the publication

copydeleteadd this publication to your clipboard
Modular arithmetic decision procedure with auto-correction mechanism.

, and . HLDVT, page 138-145. IEEE Computer Society, (2009)

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.

Toko Fujita

Masahiro Noguchi

Buntaro Fujita

Masahiro Ogawa

Masayuki Fujita

 

Other publications of authors with the same name

Development of an Autonomous Quadruped Robot for Robot Entertainment., and . Auton. Robots, 5 (1): 7-18 (1998)Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures., , , and . IESS, volume 231 of IFIP Advances in Information and Communication Technology, page 121-134. Springer, (2007)An Image-Based CAPTCHA Using Sophisticated Mental Rotation., , , , and . HCI (24), volume 8533 of Lecture Notes in Computer Science, page 57-68. Springer, (2014)ATM Switch Design: Parametric High-Level Modeling and Formal Verification., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 437-450. Springer, (1997)Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog., , , and . ICLP, volume 225 of Lecture Notes in Computer Science, page 695-709. Springer, (1986)Program Slicing of Hardware Description Languages., , , , , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 298-312. Springer, (1999)Verification of Arithmetic Circuits by Comparing Two Similar Circuits.. CAV, volume 1102 of Lecture Notes in Computer Science, page 159-168. Springer, (1996)Model Checking Based on Sequential ATPG., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 418-430. Springer, (1999)Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams., and . FORTE, volume 2529 of Lecture Notes in Computer Science, page 369. Springer, (2002)Analysis and testing on delays with two time frames.. VLSI-SoC, page 13-18. IEEE, (2015)