Masahiro Fujita

Available identifiers

Publication	Date of Publication	Type
An ATPG Method for Double Stuck-At Faults by Analyzing Propagation Paths of Single Faults	2021-09-02	Paper
Approximate DCT Design for Video Encoding Based on Novel Truncation Scheme	2021-08-26	Paper
Direct simulation of drying colloidal suspension on substrate using immersed free surface model	2016-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q3574320	2010-07-09	Paper
Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram	2009-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q3620430	2009-04-14	Paper
Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions	2008-07-03	Paper
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction	2008-07-03	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Embedded software verification using symbolic execution and uninterpreted functions	2006-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4818810	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4422093	2003-09-03	Paper
An ethological and emotional basis for human–robot interaction	2003-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q4885884	1997-02-17	Paper
Axisymmetric oscillations of an opposing jet from a hemispherical nose	1996-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4037122	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3792344	1986-01-01	Paper

This page was built for person: Masahiro Fujita