dblp.uni-trier.dewww.uni-trier.de

Masahiro Fujita Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
165EEMasahiro Fujita, Yoshihisa Kojima, Amir Masoud Gharehbaghi: Debugging from high level down to gate level. DAC 2009: 627-630
164EEO. Sarbishei, Bijan Alizadeh, Masahiro Fujita: Polynomial datapath optimization using partitioning and compensation heuristics. DAC 2009: 931-936
163EEHiroaki Yoshida, Masahiro Fujita: Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences. ISQED 2009: 366-370
162EEShanghua Gao, Hiroaki Yoshida, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita: Interconnect-Aware Pipeline Synthesis for Array-Based Architectures. IEICE Transactions 92-A(6): 1464-1475 (2009)
161EETasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita: Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath. IEICE Transactions 92-D(5): 972-984 (2009)
160EEBijan Alizadeh, Masahiro Fujita: A Unified Framework for Equivalence Verification of Datapath Oriented Applications. IEICE Transactions 92-D(5): 985-994 (2009)
2008
159EEHiroaki Yoshida, Masahiro Fujita: Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits. DATE 2008: 1099-1102
158EETaro Takahashi, Toshimitsu Tsuboi, Takeo Kishida, Yasunori Kawanami, Satoru Shimizu, Masatsugu Iribe, Tetsuharu Fukushima, Masahiro Fujita: Adaptive grasping by multi fingered hand with tactile sensor based on robust force and position control. ICRA 2008: 264-271
157 Masahiro Fujita, Takeshi Matsumoto, Hiroaki Yoshida: A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams. ICSOFT (SE/MUSE/GSDCA) 2008: 240-245
156EEKen'ichiro Nagasaka, Atsushi Miyamoto, Masakuni Nagano, Hirokazu Shirado, Tetsuharu Fukushima, Masahiro Fujita: Motion control of a virtual humanoid that can perform real physical interactions with a human. IROS 2008: 2303-2310
155EESubash Shankar, Masahiro Fujita: Rule-Based Approaches for Equivalence Checking of SpecC Programs. MEMOCODE 2008: 39-48
154EEO. Sarbishei, Bijan Alizadeh, Masahiro Fujita: Arithmetic Circuits Verification without Looking for Internal Equivalences. MEMOCODE 2008: 7-16
153EEKenshu Seto, Masahiro Fujita: Custom Instruction Generation with High-Level Synthesis. SASP 2008: 14-19
152EEJens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita: 3D Perception and Environment Map Generation for Humanoid Robot Navigation. I. J. Robotic Res. 27(10): 1117-1134 (2008)
2007
151EEShigeru Watanabe, Kenshu Seto, Y. Ishikawa, Satoshi Komatsu, Masahiro Fujita: Protocol Transducer Synthesis using Divide and Conquer approach. ASP-DAC 2007: 280-285
150EEBijan Alizadeh, Masahiro Fujita: Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions. ATVA 2007: 129-144
149EEThanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita: Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. ATVA 2007: 553-563
148EETakeshi Matsumoto, Daisuke Ando, Tasuku Nishihara, Masahiro Fujita: Development and Verification of a Collaborative Printing Environment. C5 2007: 99-108
147EEShanghua Gao, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita: Interconnect-aware Pipeline Synthesis for Array based Reconfigurable Architectures. IESS 2007: 121-134
146EEShunsuke Sasaki, Tasuku Nishihara, Daisuke Ando, Masahiro Fujita: Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph. J. UCS 13(13): 1972-2001 (2007)
2006
145 Ken Matsui, Masahiro Fujita: Object-oriented analysis and specification for HW/SW co-design with UML diagrams. ACST 2006: 38-43
144EEMasahiro Fujita, Tasuku Nishihara, Daisuke Ando: System LSI distributed collaborative design environment for both designers and CAD developers/engineers. C5 2006: 175-183
143EESatoshi Komatsu, Masahiro Fujita: An optimization of bus interconnects pitch for low-power and reliable bus encoding scheme. ISCAS 2006
142EETakeshi Matsumoto, Hiroshi Saito, Masahiro Fujita: Equivalence Checking of C Programs by Locally Performing Symbolic Simulation on Dependence Graphs. ISQED 2006: 370-375
141EEMasahiro Fujita, Subash Shankar, S. Shunsuke: Equivalence checking: a rule-based approach. MEMOCODE 2006: 197
140EEAnmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra: Sequential Equivalence Checking. VLSI Design 2006: 18-19
139EEShunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita: Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. Electr. Notes Theor. Comput. Sci. 159: 265-280 (2006)
138EEThanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita: Synchronization Verification in System-Level Design with ILP Solvers. IEICE Transactions 89-A(12): 3387-3396 (2006)
137EEYu Liu, Satoshi Komatsu, Masahiro Fujita: The AMS Extension to System Level Design Language - SpecC. IEICE Transactions 89-A(12): 3397-3407 (2006)
136EEYu Liu, Satoshi Komatsu, Masahiro Fujita: Synchronization Mechanism for Timed/Untimed Mixed-Signal System Level Design Environment. IEICE Transactions 89-A(4): 1018-1026 (2006)
135EEDavid W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan: Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. International Journal of Parallel Programming 34(1): 61-91 (2006)
2005
134EEYu Liu, Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita: System level design language extensions for timed/untimed digital-analog combined system design. ACM Great Lakes Symposium on VLSI 2005: 130-133
133EEMasahiro Fujita: Behavior-RTL Equivalence Checking Based on Data Transfer Analysis with Virtual Controllers and Datapaths. CHARME 2005: 340-344
132EEYu Liu, Satoshi Komatsu, Masahiro Fujita: AMS Extensions for Timed/Untimed System-Level Design Language. FDL 2005: 77-81
131 Shanghua Gao, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita: Pipeline Scheduling for Array Based Reconfigurable Architectures Considering Interconnect Delays. FPT 2005: 137-144
130EEYosuke Bando, Takahiro Saito, Masahiro Fujita: Hexagonal storage scheme for interleaved frame buffers and textures. Graphics Hardware 2005: 33-40
129 Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita: A Floor and Obstacle Height Map for 3D Navigation of a Humanoid Robot. ICRA 2005: 1066-1071
128EEJens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita: Real-Time Path Planning for Humanoid Robot Navigation. IJCAI 2005: 1232-1237
127EEMasahiro Fujita, Shunsuke Sasaki, Ken Matsui: Object-oriented analysis and design of hardware/software co-designs with dependence analysis for design reuse. IRI 2005: 318-325
126EEThanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita: Synchronization verification in system-level design with ILP solvers. MEMOCODE 2005: 121-130
125EEMasahiro Fujita: Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL. MEMOCODE 2005: 241-242
124EEMasahiro Fujita: Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths. ACM Trans. Design Autom. Electr. Syst. 10(4): 610-626 (2005)
123EESatoshi Komatsu, Masahiro Fujita: Low Power and Fault Tolerant Encoding Methods for On-Chip Data Transfer in Practical Applications. IEICE Transactions 88-A(12): 3282-3289 (2005)
122EETakeshi Matsumoto, Hiroshi Saito, Masahiro Fujita: An Equivalence Checking Method for C Descriptions Based on Symbolic Simulation with Textual Differences. IEICE Transactions 88-A(12): 3315-3323 (2005)
2004
121EEMasahiro Fujita, Takashi Kanai: Precomputed Radiance Transfer with Spatially-Varying Lighting Effects. CGIV 2004: 101-108
120EEFumihide Tanaka, Kuniaki Noda, Tsutomu Sawada, Masahiro Fujita: Associated Emotion and Its Expression in an Entertainment Robot QRIO. ICEC 2004: 499-504
119EEYukiko Hoshino, Tsuyoshi Takagi, Ugo Di Profio, Masahiro Fujita: Behavior Description and Control using Behavior Module for Personal Robot. ICRA 2004: 4165-4171
118EEIndradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita: High Level Design Validation: Current Practices and Future Directions. VLSI Design 2004: 9-11
117EEMasahiro Fujita: Formal Verification of C Language Based VLSI Designs. VLSI Design 2004: 93-
2003
116EERajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi: Formal verification - prove it or pitch it. DAC 2003: 710-711
115EEEdmund M. Clarke, Masahiro Fujita, David P. Gluch: Model Checking for Dependable Software-Intensive Systems. DSN 2003: 764
114EEMasahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima: Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies. HICSS 2003: 279
113 Yoshihiro Kuroki, Masahiro Fujita, Tatsuzo Ishida, Ken'ichiro Nagasaka, Jin'ichi Yamaguchi: A small biped entertainment robot exploring attractive applications. ICRA 2003: 471-476
112EEMasahiro Fujita, Kohtaro Sabe, Yoshihiro Kuroki, Tatsuzo Ishida, Toshi T. Doi: SDR-4X II: A Small Humanoid as an Entertainer in Home Environment. ISRR 2003: 355-364
111EEHiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Satoshi Komatsu, Masahiro Fujita: Engineering Changes in Field Modifiable Architectures. MEMOCODE 2003: 87-94
110EETohru Ishihara, Satoshi Komatsu, Makoto Ikeda, Masahiro Fujita, Kunihiro Asada: Comparative Study On Verilog-Based And C-Based Hardware Design Education. MSE 2003: 41-42
109EETetsuro Ogi, Toshio Yamada, Michitaka Hirose, Masahiro Fujita, Kazuto Kuzuu: High Presence Remote Presentation in the Shared Immersive Virtual World. VR 2003: 289-290
108 Minoru Asada, Oliver Obst, Daniel Polani, Brett Browning, Andrea Bonarini, Masahiro Fujita, Thomas Christaller, Tomoichi Takahashi, Satoshi Tadokoro, Elizabeth Sklar, Gal A. Kaminka: An Overview of RoboCup-2002 Fukuoka/Busan. AI Magazine 24(2): 21-40 (2003)
107EERonald C. Arkin, Masahiro Fujita, Tsuyoshi Takagi, Rika Hasegawa: An ethological and emotional basis for human-robot interaction. Robotics and Autonomous Systems 42(3-4): 191-201 (2003)
2002
106EEThanyapat Sakunkonchak, Masahiro Fujita: Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. FORTE 2002: 369
105 Yoshihisa Kojima, Hiroshi Saito, Kenshu Seto, Satoshi Komatsu, Masahiro Fujita: Field Modifiable Architecture and its Design Methodology: System Design Without Logic Synthesis. IWLS 2002: 103-108
104 Hiroshi Saito, Hiroshi Nakamura, Masahiro Fujita, Takashi Nanya: Logic Optimization for Asynchronous SI Controllers using Transduction Method. IWLS 2002: 245-250
103EEHiroshi Nakamura, Takanori Arai, Masahiro Fujita: Formal Verification of a Pipelined Processor with New Memory. PRDC 2002: 321-324
102EEMasahiro Fujita: Sony Four Legged Robot League at RoboCup 2002. RoboCup 2002: 469-476
101EEHiroaki Yoshida, Motohiro Sera, Masao Kubo, Masahiro Fujita: Simultaneous Circuit Transformation and Routing. VLSI Design 2002: 479-483
100 Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Jacob A. Abraham, Donald S. Fussell, Masahiro Fujita: Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table. Formal Methods in System Design 21(1): 95-101 (2002)
99EEEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program slicing for VHDL. STTT 4(1): 125-137 (2002)
2001
98EEMasahiro Fujita, Gabriel Costa, Rika Hasegawa, Tsuyoshi Takagi, Jun Yokono, Hideki Shimomura: Architecture and preliminary experimental results for emotionally grounded symbol acquisition. Agents 2001: 35-36
97 Ronald C. Arkin, Masahiro Fujita, Tsuyoshi Takagi, Rika Hasegawa: Ethological Modeling and Architecture for an Entertainment Robot. ICRA 2001: 453-458
96 Masahiro Fujita, Hiroshi Nakamura: The standard SpecC language. ISSS 2001: 81-86
95 Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda: New design paradigms. ISSS 2001: 94
94EETakashi Michikawa, Takashi Kanai, Masahiro Fujita, Hiroaki Chiyokura: Multiresolution Interpolation Meshes. Pacific Conference on Computer Graphics and Applications 2001: 60-69
93EEMasahiro Fujita: AIBO: Toward the Era of Digital Creatures. I. J. Robotic Res. 20(10): 781-794 (2001)
92EEJawahar Jain, Ingo Wegener, Masahiro Fujita: A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs. IEEE Trans. Computers 50(11): 1289-1290 (2001)
91EEIndradeep Ghosh, Masahiro Fujita: Automatic test pattern generation for functional register-transferlevel circuits using assignment decision diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 20(3): 402-415 (2001)
2000
90EERajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita: Automatic partitioning for efficient combinatorial verification. ASP-DAC 2000: 67-72
89EEIndradeep Ghosh, Masahiro Fujita: Automatic test pattern generation for functional RTL circuits using assignment decision diagrams. DAC 2000: 43-48
88EEYuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita: Efficient variable ordering using aBDD based sampling. DAC 2000: 687-692
87EEGregory Hornby, Seiichi Takamura, Osamu Hanagata, Masahiro Fujita, Jordan B. Pollack: Evolution of Controllers from a High-Level Simulator to a High DOF Robot. ICES 2000: 80-89
86 Gregory Hornby, Seiichi Takamura, Jun Yokono, Osamu Hanagata, Takashi Yamamoto, Masahiro Fujita: Evolving Robust Gaits with AIBO. ICRA 2000: 3040-3045
85 Masahiro Fujita: Digital Creatures for Future Entertainment Robotics. ICRA 2000: 801-806
84EEMinoru Asada, Andreas Birk, Enrico Pagello, Masahiro Fujita, Itsuki Noda, Satoshi Tadokoro, Dominique Duhaut, Peter Stone, Manuela M. Veloso, Tucker R. Balch, Hiroaki Kitano, Brian Thomas: Progress in RoboCup Soccer Research in 2000. ISER 2000: 363-372
83EEPeter Stone, Minoru Asada, Tucker R. Balch, Masahiro Fujita, Gerhard K. Kraetzschmar, Henrik Hautop Lund, Paul Scerri, Satoshi Tadokoro, Gordon Wyeth: Overview of RoboCup-2000. RoboCup 2000: 1-28
82EEVamsi Boppana, Indradeep Ghosh, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita: Hierarchical Error Diagnosis Targeting RTL Circuits. VLSI Design 2000: 436-441
81EEAnkur Jain, Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Michael S. Hsiao: Testing, Verification, and Diagnosis in the Presence of Unknowns. VTS 2000: 263-270
80 Masahiro Fujita, Manuela M. Veloso, William T. B. Uther, Minoru Asada, Hiroaki Kitano, Vincent Hugel, Patrick Bonnin, Jean-Christophe Bouramoué, Pierre Blazevic: Vision, Strategy, and Localization Using the Sony Robots at . AI Magazine 21(1): 47-56 (2000)
1999
79EEVamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita: Model Checking Based on Sequential ATPG. CAV 1999: 418-430
78EEEdmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum: Program Slicing of Hardware Description Languages. CHARME 1999: 298-312
77EESreeranga P. Rajan, Masahiro Fujita, Ashok Sudarsanam, Sharad Malik: Development of an optimizing compiler for a Fujitsu fixed-point digital signal processor. CODES 1999: 2-6
76EEArmin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu: Symbolic Model Checking Using SAT Procedures instead of BDDs. DAC 1999: 317-320
75EEVamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Pradeep Bollineni: Multiple Error Diagnosis Based on Xlists. DAC 1999: 660-665
74EERajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell: An Efficient Filter-Based Approach for Combinational Verification. DATE 1999: 132-137
73EERajeev Murgai, Masahiro Fujita: On Reducing Transitions Through Data Modifications. DATE 1999: 82-
72 Manuela M. Veloso, Hiroaki Kitano, Enrico Pagello, Gerhard K. Kraetzschmar, Peter Stone, Tucker R. Balch, Minoru Asada, Silvia Coradeschi, Lars Karlsson, Masahiro Fujita: Overview of RoboCup-99. RoboCup 1999: 1-34
71 Rajeev Murgai, Fumiyasu Hirose, Masahiro Fujita: Speeding Up Look-up-Table Driven Logic Simulation. VLSI 1999: 385-397
70EERajeev Murgai, Jawahar Jain, Masahiro Fujita: Efficient Scheduling Techniques for ROBDD Construction. VLSI Design 1999: 394-401
69EEAnkur Jain, Michael S. Hsiao, Vamsi Boppana, Masahiro Fujita: On the Evaluation of Arbitrary Defect Coverage of Test Sets. VTS 1999: 426-432
68EERajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell: An efficient filter-based approach for combinational verification. IEEE Trans. on CAD of Integrated Circuits and Systems 18(11): 1542-1557 (1999)
67EEMasahiro Fujita, Hiroaki Kitano, Koji Kageyama: A reconfigurable robot platform. Robotics and Autonomous Systems 29(2-3): 119-132 (1999)
1998
66 Masahiro Fujita: Model Checking: Its Basics and Reality (Embedded Tutorial). ASP-DAC 1998: 217-222
65EEJuan D. Velásquez, Masahiro Fujita, Hiroaki Kitano: An Open Architecture of Remotion and Behavior Control of Autonomous Agents. Agents 1998: 473-474
64EEMasahiro Fujita, Hiroaki Kitano, Koji Kageyama: Reconfigurable Physical Agents. Agents 1998: 54-61
63EERajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira: Using Complementation and Resequencing to Minimize Transitions. DAC 1998: 694-697
62EEMasahiro Fujita, Sreeranga P. Rajan, Alan J. Hu: Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. FM-Trends 1998: 281-295
61EEJawahar Jain, William Adams, Masahiro Fujita: Sampling schemes for computing OBDD variable orderings. ICCAD 1998: 631-638
60 Hiroaki Kitano, Masahiro Fujita, Stéphane Zrehen, Koji Kageyama: Sony Legged Robot for RoboCup Challenge. ICRA 1998: 2605-2612
59EEVamsi Boppana, Masahiro Fujita: Modeling the unknown! Towards model-independent fault and error diagnosis. ITC 1998: 1094-
58EEMasahiro Fujita, Stéphane Zrehen, Hiroaki Kitano: A Quadruped Robot for RoboCup Legged Robot Challenge in Paris '98. RoboCup 1998: 125-140
57EESreeranga P. Rajan, Masahiro Fujita: Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design. VLSI Design 1998: 552-557
56EESreeranga P. Rajan, Masahiro Fujita, K. Yuan, Mike Tien-Chien Lee: ATM switch design by high-level modeling, formal verification and high-level synthesi. ACM Trans. Design Autom. Electr. Syst. 3(4): 554-562 (1998)
55 Masahiro Fujita, Hiroaki Kitano: Development of an Autonomous Quadruped Robot for Robot Entertainment. Auton. Robots 5(1): 7-18 (1998)
1997
54 Sreeranga P. Rajan, Masahiro Fujita: ATM Switch Design: Parametric High-Level Modeling and Formal Verification. AMAST 1997: 437-450
53 Masahiro Fujita, Koji Kageyama: An Open Architecture for Robot Entertainment. Agents 1997: 435-442
52EERajat Aggarwal, Rajeev Murgai, Masahiro Fujita: Speeding up technology-independent timing optimization by network partitioning. ICCAD 1997: 83-90
51 Alan J. Hu, Masahiro Fujita, Chris Wilson: Formal Verification of the HAL S1 System Cache Coherence Protocol. ICCD 1997: 438-444
50 Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli: A Survey of Techniques for Formal Verification of Combinational Circuits. ICCD 1997: 445-454
49 Masahiro Fujita, Hiroaki Kitano, Koji Kageyama: A Legged Robot for RoboCup Based on "OPENR". RoboCup 1997: 168-180
48EEJawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Combinational Circuit. VLSI Design 1997: 218-225
47EERajeev Murgai, Masahiro Fujita: Some Recent Advances in Software and Hardware Logic Simulation. VLSI Design 1997: 232-238
46 Masahiro Fujita, Patrick C. McGeer: Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. Formal Methods in System Design 10(2/3): 135-136 (1997)
45 Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. Formal Methods in System Design 10(2/3): 137-148 (1997)
44 Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang: Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. Formal Methods in System Design 10(2/3): 149-169 (1997)
43EEMike Tien-Chien Lee, Vivek Tiwari, Sharad Malik, Masahiro Fujita: Power analysis and minimization techniques for embedded DSP software. IEEE Trans. VLSI Syst. 5(1): 123-135 (1997)
1996
42EEMasahiro Fujita: Verification of Arithmetic Circuits by Comparing Two Similar Circuits. CAV 1996: 159-168
41EEMike Tien-Chien Lee, Yu-Chin Hsu, Ben Chen, Masahiro Fujita: Domain-Specific High-Level Modeling and Synthesis for ATM Switch Design Using VHDL. DAC 1996: 585-590
40 Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita: Decomposition Techniques for Efficient ROBDD Construction. FMCAD 1996: 419-434
39EEAmit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli: Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. ICCAD 1996: 547-554
38EERajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell: On More Efficient Combinational ATPG Using Functional Learning. VLSI Design 1996: 107-110
37EEAmit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A study of composition schemes for mixed apply/compose based construction of ROBDDs. VLSI Design 1996: 249-253
36EERobert J. Carragher, Chung-Kuan Cheng, Xiao-Ming Xiong, Masahiro Fujita, Ramamohan Paturi: Solving the net matching problem in high-performance chip design. IEEE Trans. on CAD of Integrated Circuits and Systems 15(8): 902-911 (1996)
1995
35EEJawahar Jain, Rajarshi Mukherjee, Masahiro Fujita: Advanced Verification Techniques Based on Learning. DAC 1995: 420-426
34EEEdmund M. Clarke, Masahiro Fujita, Xudong Zhao: Hybrid decision diagrams. ICCAD 1995: 159-163
33EERajeev Murgai, Masahiro Fujita, Fumiyasu Hirose: Logic synthesis for a single large look-up table. ICCD 1995: 415-
32EERobert J. Carragher, Masahiro Fujita, Chung-Kuan Cheng: Simple tree-construction heuristics for the fanout problem . ICCD 1995: 671-679
31EEMike Tien-Chien Lee, Vivek Tiwari, Sharad Malik, Masahiro Fujita: Power analysis and low-power scheduling techniques for embedded DSP software. ISSS 1995: 110-115
1994
30 Ben Chen, Michihiro Yamazaki, Masahiro Fujita: Bug Identification of a Real Chip Design by Symbolic Model Checking. EDAC-ETC-EUROASIC 1994: 132-136
29EEYutaka Tamiya, Yusuke Matsunaga, Masahiro Fujita: LP based cell selection with constraints of timing, area, and power consumption. ICCAD 1994: 378-381
28EEYuji Kukimoto, Masahiro Fujita, Robert K. Brayton: A redesign technique for combinational circuits based on gate reconnections. ICCAD 1994: 632-637
27 H. Sato, Michihiro Yamazaki, Masahiro Fujita: YEPHCAD and FLORA: Logic Synthesis for Control and Datapath. ICCD 1994: 527-530
26 Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer: Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. ISCAS 1994: 275-278
1993
25EEEdmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, J. Yang: Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. DAC 1993: 54-60
24EERobert J. Carragher, Chung-Kuan Cheng, Masahiro Fujita: An efficient algorithm for the net matching problem. ICCAD 1993: 640-644
23 Masahiro Fujita, Shinji Kono: Synthesis of Controllers from Interval Temporal Logic Specification. ICCD 1993: 242-245
22 T. Sakaguchi, Masahiro Fujita, Hiroshi Watanabe, Fumio Miyazaki: Motion Planning and Control for a Robot Performer. ICRA (3) 1993: 925-931
21EEMasahiro Fujita, Hisanori Fujisawa, Yusuke Matsunaga: Variable ordering algorithms for ordered binary decision diagrams and their evaluation. IEEE Trans. on CAD of Integrated Circuits and Systems 12(1): 6-12 (1993)
1992
20EEKuang-Chien Chen, Masahiro Fujita: Efficient Sum-to-One Subsets Algorithm for Logic Optimization. DAC 1992: 443-448
19 Masahiro Fujita, Yuji Kukimoto: Patching Method for Lookup-Table Type FPLs. FPL 1992: 61-70
18EEYuji Kukimoto, Masahiro Fujita: Rectification method for lookup-table type FPGA's. ICCAD 1992: 54-61
17 Masahiro Fujita: RTL Design Verification by Making Use of Datapath Information. ICCD 1992: 592-597
1991
16EEKuang-Chien Chen, Yusuke Matsunaga, Saburo Muroga, Masahiro Fujita: A Resynthesis Approach for Network Optimization. DAC 1991: 458-463
15 Masahiro Fujita, Yutaka Tamiya, Yuji Kukimoto, Kuang-Chien Chen: Application of Boolean Unification to Combinational Logic Synthesis. ICCAD 1991: 510-513
14 Masahiro Fujita, Yusuke Matsunaga: Multi-Level Logic Minimization Based on Minimal Support and its Application to the Minimization of Look-Up Table Type FPGAs. ICCAD 1991: 560-563
13 Kuang-Chien Chen, Masahiro Fujita: Concurrent Resynthesis for Network Optimization. ICCD 1991: 44-48
12 Zhen-Ping Lo, Masahiro Fujita, Behnam Bavarian: Analysis of Neighborhood Interaction in Kohonen Neural Networks. IPPS 1991: 246-249
1990
11EEHiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka: A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. CAV 1990: 76-85
10EEHitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita: Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams. DAC 1990: 284-289
9 Masahiro Fujita, Yusuke Matsunaga, Takeo Kakuda: Automatic and Semi-Automatic Verification of Switch-Level Circuits with Temporal Logic and Binary Decision Diagrams. ICCAD 1990: 38-41
8 Yusuke Matsunaga, Masahiro Fujita, Takeo Kakuda: Multi-Level Logic Minimization Across Latch Boundaries. ICCAD 1990: 406-409
1989
7EEHiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka: Logic Design Assistence Using Temporal Logic Based Language Tokio. LP 1989: 174-183
1986
6 Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka: Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. ICLP 1986: 695-709
1985
5EET. Aoyagi, Masahiro Fujita, Tohru Moto-Oka: Temporal Logic Programming Language Tokio - Programming in Tokio. LP 1985: 128-137
4EEShinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka: Implementation of Temporal Logic Programming Language Tokio. LP 1985: 138-147
3EEMasahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka: Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. LP 1985: 246-255
1984
2 Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka: Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog. FGCS 1984: 572-581
1983
1 Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka: Temporal Logic Based Hardware Description and Its Verification with Prolog. New Generation Comput. 1(2): 195-203 (1983)

Coauthor Index

1Jacob A. Abraham [38] [68] [74] [100]
2William Adams [61]
3Rajat Aggarwal [52]
4Bijan Alizadeh [150] [154] [160] [164]
5Daisuke Ando [144] [146] [148]
6T. Aoyagi [4] [5]
7Takanori Arai [103]
8Ronald C. Arkin [97] [107]
9Kunihiro Asada [110]
10Minoru Asada [72] [80] [83] [84] [108]
11Brian Bailey [95] [116]
12M. Balakrishnan [140]
13Tucker R. Balch [72] [83] [84]
14Yosuke Bando [130]
15Behnam Bavarian [12]
16Daniel K. Beece [116]
17Armin Biere [76]
18Andreas Birk [84]
19Pierre Blazevic [80]
20Pradeep Bollineni [75]
21Andrea Bonarini [108]
22Patrick Bonnin [80]
23Vamsi Boppana [59] [69] [75] [79] [81] [82]
24Jean-Christophe Bouramoué [80]
25Robert K. Brayton [28] [37] [40]
26Brett Browning [108]
27Robert J. Carragher [24] [32] [36]
28Ben Chen [30] [41]
29Kuang-Chien Chen [13] [15] [16] [20]
30Chung-Kuan Cheng [24] [32] [36]
31Hiroaki Chiyokura [94]
32Thomas Christaller [108]
33Alessandro Cimatti [76]
34Edmund M. Clarke [25] [26] [34] [45] [76] [78] [88] [99] [115]
35C. Coelho [40]
36Silvia Coradeschi [72]
37Gabriel Costa [98]
38David W. Currie [135]
39Toshi T. Doi [112]
40Dominique Duhaut [84]
41Xiushan Feng [135]
42Hisanori Fujisawa [21]
43Masaki Fukuchi [128] [129] [152]
44Tetsuharu Fukushima [156] [158]
45Donald S. Fussell [38] [68] [74] [100]
46Guang R. Gao [95]
47Shanghua Gao [131] [147] [162]
48Amir Masoud Gharehbaghi [165]
49Indradeep Ghosh [82] [89] [91] [118]
50David P. Gluch [115]
51Rajesh K. Gupta (Rajesh Gupta) [95] [116]
52Jens-Steffen Gutmann [128] [129] [152]
53Osamu Hanagata [86] [87]
54Rika Hasegawa [97] [98] [107]
55Fumiyasu Hirose [33] [71]
56Michitaka Hirose [109]
57Gregory Hornby [86] [87]
58Yukiko Hoshino [119]
59Michael S. Hsiao [69] [81]
60Yu-Chin Hsu [41]
61Alan J. Hu [51] [62] [135]
62Vincent Hugel [80]
63Makoto Ikeda [110]
64Masatsugu Iribe [158]
65Tatsuzo Ishida [112] [113]
66Tohru Ishihara [110]
67Y. Ishikawa [151]
68Makoto Ishisone [3]
69Ankur Jain [69] [81]
70Jawahar Jain [35] [37] [38] [39] [40] [48] [50] [61] [68] [70] [74] [75] [81] [82] [88] [90] [92] [100]
71Koji Kageyama [49] [53] [60] [64] [67]
72Takeo Kakuda [8] [9]
73Gal A. Kaminka [108]
74Takashi Kanai [94] [121]
75Lars Karlsson [72]
76Yasunori Kawanami [158]
77Sunil P. Khatri [37] [40]
78Takeo Kishida [158]
79Hiroaki Kitano [49] [55] [58] [60] [64] [65] [67] [72] [80] [84]
80Yoshihisa Kojima [105] [111] [114] [165]
81Satoshi Komatsu [105] [110] [111] [114] [123] [126] [131] [132] [134] [136] [137] [138] [143] [147] [149] [151] [162]
82Shinji Kono [4] [6] [7] [23]
83Gerhard K. Kraetzschmar [72] [83]
84Masao Kubo [101]
85Yuji Kukimoto [11] [15] [18] [19] [28]
86Yoshihiro Kuroki [112] [113]
87Kazuto Kuzuu [109]
88Mark Kwan [135]
89Mike Tien-Chien Lee [31] [41] [43] [56]
90Yu Liu [132] [134] [136] [137]
91Zhen-Ping Lo [12]
92Yuan Lu [88]
93Henrik Hautop Lund [83]
94Sharad Malik [31] [43] [77]
95Anmol Mathur [140]
96Ken Matsui [127] [145]
97Takeshi Matsumoto [122] [142] [148] [157] [161]
98Yusuke Matsunaga [8] [9] [10] [14] [16] [21] [29]
99Patrick C. McGeer [26] [44] [46]
100Kenneth L. McMillan [25] [45]
101Takashi Michikawa [94]
102Raj S. Mitra [140]
103Atsushi Miyamoto [156]
104Fumio Miyazaki [22]
105Tohru Moto-Oka [1] [2] [3] [5] [6]
106Rajarshi Mukherjee [35] [38] [68] [74] [75] [81] [82] [90] [100] [118]
107Rajeev Murgai [33] [47] [52] [63] [70] [71] [73]
108Saburo Muroga [16]
109Masakuni Nagano [156]
110Ken'ichiro Nagasaka [113] [156]
111Masaya Nakai [7]
112Hiroshi Nakamura [3] [7] [11] [96] [103] [104]
113Takashi Nanya [104]
114Amit Narayan [37] [39] [40] [48] [50]
115Tasuku Nishihara [139] [144] [146] [148] [161]
116Itsuki Noda [84]
117Kuniaki Noda [120]
118John O'Leary [116]
119Oliver Obst [108]
120Tetsuro Ogi [109]
121Arlindo L. Oliveira [63]
122Enrico Pagello [72] [84]
123Preeti Ranjan Panda [95]
124Ramamohan Paturi [36]
125Carl Pixley [116]
126Daniel Polani [108]
127Jordan B. Pollack [87]
128Mukul R. Prasad [118]
129Ugo Di Profio [119]
130Sreeranga P. Rajan [54] [56] [57] [62] [77] [78] [79] [99] [135]
131Shishpal Rawat [116]
132Thomas W. Reps [78] [99]
133Wolfgang Rosenstiel [95]
134Kohtaro Sabe [112]
135Hiroshi Saito [104] [105] [111] [114] [122] [142]
136Takahiro Saito [130]
137T. Sakaguchi [22]
138Thanyapat Sakunkonchak [106] [114] [126] [134] [138] [149]
139Alberto L. Sangiovanni-Vincentelli [37] [39] [40] [48] [50]
140O. Sarbishei [154] [164]
141Shunsuke Sasaki [127] [139] [146]
142H. Sato [27]
143Hitomi Sato [10]
144Tsutomu Sawada [120]
145Paul Scerri [83]
146Motohiro Sera [101]
147Kenshu Seto [105] [111] [114] [131] [147] [151] [153] [162]
148Subash Shankar [78] [99] [141] [155]
149Satoru Shimizu [158]
150Hideki Shimomura [98]
151Hirokazu Shirado [156]
152Sandeep K. Shukla [116]
153S. Shunsuke [141]
154Elizabeth Sklar (Elizabeth Sklar Rozier) [108]
155Fabio Somenzi [116]
156Peter Stone [72] [83] [84]
157Ashok Sudarsanam [77]
158Satoshi Tadokoro [83] [84] [108]
159Tsuyoshi Takagi [97] [98] [107] [119]
160Taro Takahashi [158]
161Tomoichi Takahashi [108]
162Seiichi Takamura [86] [87]
163Koichiro Takayama [68] [74] [79] [90] [100]
164Yutaka Tamiya [15] [29]
165Fumihide Tanaka [120]
166Hidehiko Tanaka [1] [2] [3] [4] [6] [7] [11]
167Tim Teitelbaum [78] [99]
168Brian Thomas [84]
169Vivek Tiwari [31] [43]
170Toshimitsu Tsuboi [158]
171William T. B. Uther [80]
172Juan D. Velásquez [65]
173Manuela M. Veloso [72] [80] [84]
174Hiroshi Watanabe [22]
175Shigeru Watanabe [151]
176Ingo Wegener [92]
177Chris Wilson [51]
178Gordon Wyeth (Gordon Fraser Wyeth) [83]
179Xiao-Ming Xiong [36]
180Toshio Yamada [109]
181Jin'ichi Yamaguchi [113]
182Takashi Yamamoto [86]
183Michihiro Yamazaki [27] [30]
184J. Yang [25] [45]
185Jerry Chih-Yuan Yang [26] [44]
186Yoshihiro Yasue [10]
187Jun Yokono [86] [98]
188Hiroaki Yoshida [101] [157] [159] [162] [163]
189K. Yuan [56]
190Xudong Zhao [25] [26] [34] [45]
191Yunshan Zhu [76]
192Stéphane Zrehen [58] [60]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)