Masahiro Fujita

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An ATPG Method for Double Stuck-At Faults by Analyzing Propagation Paths of Single Faults IEEE Transactions on Circuits and Systems I: Regular Papers	2021-09-02	Paper
Approximate DCT Design for Video Encoding Based on Novel Truncation Scheme IEEE Transactions on Circuits and Systems I: Regular Papers	2021-08-26	Paper
Direct simulation of drying colloidal suspension on substrate using immersed free surface model Journal of Computational Physics	2016-12-20	Paper
Model checking and equivalence checking	2010-07-09	Paper
Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram Communications in Computer and Information Science	2009-05-20	Paper
Dependence graph based verification and synthesis of hardware/software co-designs with SAT related formulation	2009-04-14	Paper
Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions Automated Technology for Verification and Analysis	2008-07-03	Paper
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction Automated Technology for Verification and Analysis	2008-07-03	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
Embedded software verification using symbolic execution and uninterpreted functions International Journal of Parallel Programming	2006-09-28	Paper
scientific article; zbMATH DE number 2102723 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 1973996 (Why is no real title available?)	2003-09-03	Paper
An ethological and emotional basis for human–robot interaction Robotics and Autonomous Systems	2003-04-03	Paper
scientific article; zbMATH DE number 910726 (Why is no real title available?)	1997-02-17	Paper
Axisymmetric oscillations of an opposing jet from a hemispherical nose AIAA Journal	1996-11-20	Paper
scientific article; zbMATH DE number 177263 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 4057123 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Masahiro Fujita