Professional Documents
Culture Documents
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[+]
[]
Masahiro Fujita
by year
Trier 1
'10
'00
[] 2010 today
'90
'80
2015
[j73]
[j72]
[j71]
[c234]
1 of 36
'10
'00
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c233]
Masahiro Fujita:
On Implementation of LUT with Large Numbers of
Inputs (Abstract Only). FPGA 2015: 277
[c232]
[c231]
[c230]
'90
'80
2014
2 of 36
[j70]
[j69]
[j68]
[j67]
'10
'00
'90
'80
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[j66]
[j65]
3 of 36
[c229]
[c228]
[c227]
[c226]
[c225]
[c224]
Masahiro Fujita:
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c223]
[c222]
[c221]
[c220]
'80
2013
4 of 36
[j64]
[c219]
[c218]
[c217]
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c216]
[c215]
[c214]
[c213]
[c212]
[c211]
'80
2012
5 of 36
[j63]
[j62]
[j61]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'10
'00
[j60]
'90
'80
18F-SP203.
6 of 36
[c210]
[c209]
[c208]
[c207]
[c206]
[c205]
[c204]
Masahiro Fujita:
Simulation-Based Analysis of Cyberphysical
Systems. DSD 2012: 485-492
[c203]
[c202]
[c201]
[c200]
Masahiro Fujita:
Post-silicon verication and debugging with control
ow traces and patchable hardware. HLDVT 2012:
100-107
[c199]
[c198]
[c197]
[c196]
'10
'00
'90
'80
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
7 of 36
[c195]
Masahiro Fujita:
Future direction of digital content: 20th
anniversary keynote talk. ACM Multimedia 2012: 1-2
[c194]
[c193]
[c192]
[i2]
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'80
2011
[j59]
[j58]
[j57]
[j56]
[j55]
8 of 36
'10
'00
'90
[c191]
[c190]
Masahiro Fujita:
Utilizing high level design information to speed up
post-silicon debugging. ASP-DAC 2011: 301-305
[c189]
[c188]
Masahiro Fujita:
High Level Verication and Its Use at Pos-Silicon
Debugging and Patching. Asian Test Symposium 2011:
464-469
[c187]
Masahiro Fujita:
Synthesizing, Verifying, and Debugging SoC with
FSM-Based Specication of On-Chip Communication
Protocols. ATVA 2011: 43-50
[c186]
[c185]
[c184]
'80
9 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c183]
[c182]
[c181]
[c180]
[c179]
[c178]
[c177]
[c176]
[c175]
[c174]
'10
'00
'90
'80
10 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c173]
'80
2010
[j54]
[j53]
[j52]
[j51]
[j50]
[j49]
11 of 36
'10
'00
'90
'80
12 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[j48]
[j47]
[j46]
[c172]
[c171]
[c170]
[c169]
[c168]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c167]
[c166]
[c165]
[c164]
'10
'00
'90
'80
[] 2000 2009
2009
13 of 36
[j45]
Masahiro Fujita:
Intelligence Dynamics: a concept and preliminary
experiments for open-ended learning agents.
Autonomous Agents and Multi-Agent Systems 19(3): 248-271
(2009)
[j44]
[j43]
[j42]
'10
'00
[j41]
[j40]
Masahiro Fujita:
Trends in Formal Verication Techniques for C-based
Hardware Designs. IPSJ T. on System LSI Design
Methodology 2: 2-17 (2009)
[j39]
[c163]
[c162]
[c161]
[c160]
[c159]
[c158]
'90
'80
14 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c157]
[c156]
'10
'00
'90
'80
[e1]
[i1]
2008
15 of 36
[b1]
[j38]
[j37]
[j36]
'10
'00
'90
[j35]
'80
16 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c155]
[c154]
[c153]
[c152]
[c151]
[c150]
[c149]
'10
'00
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c148]
'90
'80
2007
17 of 36
[j34]
[j33]
[c147]
[c146]
[c145]
[c144]
[c143]
[c142]
'10
'00
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c141]
'90
'80
2006
18 of 36
[j32]
[j31]
[j30]
[j29]
[j28]
[c140]
[c139]
[c138]
[c137]
[c136]
[c135]
[c134]
[c133]
'10
'00
'90
'80
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
2005
19 of 36
[j27]
[j26]
[j25]
Masahiro Fujita:
Equivalence checking between behavioral and RTL
descriptions with virtual controllers and datapaths.
ACM Trans. Design Autom. Electr. Syst. 10(4): 610-626 (2005)
[j24]
Masahiro Fujita:
Autonomous evolution of dynamic gaits with two
quadruped robots. IEEE Transactions on Robotics 21(3):
402-410 (2005)
'10
'00
'90
'80
20 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c132]
Masahiro Fujita:
Behavior-RTL Equivalence Checking Based on Data
Transfer Analysis with Virtual Controllers and
Datapaths. CHARME 2005: 340-344
[c131]
[c130]
[c129]
[c128]
[c127]
[c126]
[c125]
[c124]
[c123]
[c122]
Masahiro Fujita:
Extended abstract: a formal design approach from
software oriented UML descriptions to hardware
oriented RTL. MEMOCODE 2005: 241-242
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'80
2004
21 of 36
[c121]
[c120]
Masahiro Fujita:
On equivalence checking between behavioral and
RTL descriptions. HLDVT 2004: 179-184
[c119]
[c118]
[c117]
[c116]
[c115]
[c114]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c113]
'00
'90
'80
22 of 36
Masahiro Fujita:
Formal Verication of C Language Based VLSI
Designs. VLSI Design 2004: 93-
2003
[j23]
[j22]
[c112]
[c111]
[c110]
[c109]
[c108]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c107]
[c106]
[c105]
[c104]
[c103]
[c102]
[c101]
'10
'00
'90
'80
2002
23 of 36
[j21]
[j20]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[j19]
[j18]
'00
'90
'80
[c100]
24 of 36
[c99]
[c98]
[c97]
[c96]
[c95]
[c94]
[c93]
Masahiro Fujita:
'10
'00
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c92]
'90
'80
2001
25 of 36
[j17]
Masahiro Fujita:
AIBO: Toward the Era of Digital Creatures. I. J. Robotic
Res. 20(10): 781-794 (2001)
[j16]
[j15]
[c91]
[c90]
[c89]
[c88]
[c87]
[c86]
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'80 2000
26 of 36
[j14]
[c85]
[c84]
[c83]
[c82]
[c81]
Masahiro Fujita:
Digital Creatures for Future Entertainment Robotics.
ICRA 2000: 801-806
[c80]
[c79]
[c78]
'10
'00
'90
'80
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c77]
[c76]
[c75]
[] 1990 1999
1999
27 of 36
[j13]
[j12]
[j11]
[c74]
[c73]
[c72]
[c71]
[c70]
[c69]
[c68]
[c67]
[c66]
[c65]
[c64]
'10
'00
'90
'80
28 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c63]
'10
'00
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'90 1998
'80
29 of 36
[j10]
[j9]
[c62]
[c61]
[c60]
Masahiro Fujita:
Model Checking: Its Basics and Reality (Embedded
Tutorial). ASP-DAC 1998: 217-222
[c59]
[c58]
[c57]
[c56]
[c55]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
[c54]
[c53]
[c52]
'00
'90
'80
1997
[j8]
[j7]
[j6]
[j5]
[j4]
[c51]
30 of 36
[c50]
[c49]
[c48]
[c47]
[c46]
[c45]
[c44]
[c43]
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'80
1996
[j3]
[c42]
31 of 36
[c41]
[c40]
[c39]
[c38]
[c37]
'10
'00
'90
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'80
1995
32 of 36
[c36]
[c35]
[c34]
[c33]
[c32]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
110-115
'10 1994
'00
[c31]
[c30]
[c29]
[c28]
[c27]
'90
'80
1993
[j2]
33 of 36
[c26]
[c25]
[c24]
[c23]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'10
'00 1992
'90
'80
[c22]
[c21]
[c20]
[c19]
Masahiro Fujita:
RTL Design Verication by Making Use of Datapath
Information. ICCD 1992: 592-597
[c18]
1991
34 of 36
[c17]
[c16]
[c15]
[c14]
[c13]
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'10
'00 1990
'90
'80
[c12]
[c11]
[c10]
[c9]
[] 1980 1989
1989
[c8]
[c7]
1988
[c6]
1986
[c5]
35 of 36
http://dblp.uni-trier.de/pers/hd/f/Fujita:Masahiro
'10
'00 1985
'90
'80
[c4]
[c3]
[c2]
1984
[c1]
1983
[j1]
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2015-07-26 02:11 CEST by the dblp team
36 of 36