| 2026 | DDECS | A SAT-Hard Compound Logic Locking Scheme with Empirical Resistance to Known Structural Attacks. | Sonali Shukla, Govind Rajhans Jadhav, Durgesh Sardan, Suryakant Toraskar, Jaynarayan T. Tudu, Makoto Ikeda, Masahiro Fujita, Virendra Singh |
| 2025 | ASPDAC | Learned Image Codec on FPGA: Algorithm, Architecture and System Design. | Heming Sun, Jing Wang, Silu Liu, Shinji Kimura, Masahiro Fujita |
| 2025 | VLSID | Multi-Object Detection Through Meta-Training in Resource-Constrained UAV-Based Surveillance Applications. | Abhishek Yadav, Vyom Kumar Gupta, Kethireddy Harshith Reddy, Masahiro Fujita, Binod Kumar |
| 2024 | QCE | Decision Diagram vs. State Vector: A Comparative Study on Quantum Computing Simulation Efficiency. | Yusuke Kimura, Shaowen Li, Hiroyuki Sato, Masahiro Fujita |
| 2023 | IGARSS | Wireless Reference Frequency Distribution for Membrane-Deployed Distributed Microwave Interferometer Concept. | Ahmed Kiyoshi Sugihara, Takehisa Wada, Tamotsu Suda, Masahiro Fujita, Shigeo Kawasaki, Osamu Mori |
| 2023 | ISCAS | IIR Filter-Based Spiking Neural Network. | Sai Sanjeet, Rahul K. Meena, Bibhu Datta Sahoo, Keshab K. Parhi, Masahiro Fujita |
| 2022 | IGARSS | A Single-Satellite Approach to Large Aperture Microwave Interferometric Radiometry Using Flexible Membrane Structures. | Ahmed Kiyoshi Sugihara, Takehisa Wada, Tamotsu Suda, Y. Nada, Masahiro Fujita, Shigeo Kawasaki, Osamu Mori |
| 2022 | VCIP | Real-time Learned Image Codec on FPGA. | Heming Sun, Qingyang Yi, Fangzheng Lin, Lu Yu, Jiro Katto, Masahiro Fujita |
| 2021 | ASPDAC | A Decomposition-Based Synthesis Algorithm for Sparse Matrix-Vector Multiplication in Parallel Communication Structure. | Mingfei Yu, Ruitao Gao, Masahiro Fujita |
| 2021 | DATE | Logic Synthesis for Generalization and Learning Addition. | Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita |
| 2021 | DATE | Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jnata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
| 2020 | AINA | Micro Biometric Authentication Using Fingernail Surfaces: A Study of Practical Use. | Yuya Shiomi, Genki Sugimoto, Ayaka Sugimoto, Kota Uehara, Masahiro Fujita, Yuto Mano, Tetsushi Ohki, Masakatsu Nishigaki |
| 2020 | DATE | Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations. | Masahiro Fujita, Yusuke Kimura, Xingming Le, Yukio Miyasaka, Amir Masoud Gharehbaghi |
| 2020 | VLSID | A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors. | Binod Kumar, Swapniel Thakur, Kanad Basu, Masahiro Fujita, Virendra Singh |
| 2019 | AINA | Basic Study on Targeted E-mail Attack Method Using OSINT. | Kota Uehara, Kohei Mukaiyama, Masahiro Fujita, Hiroki Nishikawa, Takumi Yamamoto, Kiyoto Kawauchi, Masakatsu Nishigaki |
| 2019 | IOLTS | Securing Scan through Plain-text Restriction. | Satyadev Ahlawat, Kailash Ahirwar, Jaynarayan T. Tudu, Masahiro Fujita, Virendra Singh |
| 2019 | ISCAS | Signal Selection Methods for Efficient Multi-Target Correction. | Yusuke Kimura, Amir Masoud Gharehbaghi, Masahiro Fujita |
| 2019 | ISCAS | Live Demonstration: Automatic Synthesis of Algorithms on Multi Chip/FPGA with Communication Constraints. | Tomohiro Maruoka, Yukio Miyasaka, Akihiro Goda, Amir Masoud Gharehbaghi, Masahiro Fujita |
| 2019 | ISCAS | High-Level Engineering Change Through Programmable Datapath and SMT Solvers. | Qinhao Wang, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita |
| 2019 | VLSID | A Methodology for SAT-Based Electrical Error Debugging During Post-Silicon Validation. | Binod Kumar, Masahiro Fujita, Virendra Singh |
| 2019 | VTS | An Incremental Automatic Test Pattern Generation Method for Multiple Stuck-at Faults. | Peikun Wang, Amir Masoud Gharehbaghi, Masahiro Fujita |
| 2018 | ISCAS | On Securing Scan Design Through Test Vector Encryption. | Darshit Vaghani, Satyadev Ahlawat, Jaynarayan T. Tudu, Masahiro Fujita, Virendra Singh |
| 2018 | VLSID | ELURA: A Methodology for Post-Silicon Gate-Level Error Localization Using Regression Analysis. | Ankit Jindal, Binod Kumar, Kanad Basu, Masahiro Fujita |
| 2017 | COMPSAC | DNetSpec: A Distributed Network Testing Toolset for Middleware Developers. | Shintaro Ishihara, Masahiro Fujita, Toyokazu Akiyama |
| 2017 | IOLTS | Instruction-based self-test for delay faults maximizing operating temperature. | Nihar Hage, Rohini Gulve, Masahiro Fujita, Virendra Singh |
| 2017 | ISCAS | A new approach for diagnosing bridging faults in logic designs. | Amir Masoud Gharehbaghi, Masahiro Fujita |
| 2017 | ISCAS | Test pattern generation for multiple stuck-at faults not covered by test patterns for single faults. | Conrad J. Moore, Peikun Wang, Amir Masoud Gharehbaghi, Masahiro Fujita |
| 2017 | ISCAS | A low-cost approximate 32-point transform architecture. | Heming Sun, Zhengxue Cheng, Amir Masoud Gharehbaghi, Shinji Kimura, Masahiro Fujita |
| 2017 | VLSID | On Testing of Superscalar Processors in Functional Mode for Delay Faults. | Nihar Hage, Rohini Gulve, Masahiro Fujita, Virendra Singh |
| 2017 | VLSID | A Methodology for Trace Signal Selection to Improve Error Detection in Post-Silicon Validation. | Binod Kumar, Ankit Jindal, Virendra Singh, Masahiro Fujita |
| 2016 | ASPDAC | Formally analyzing fault tolerance in datapath designs using equivalence checking. | Payman Behnam, Bijan Alizadeh, Sajjad Taheri, Masahiro Fujita |
| 2016 | ATVA | Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns. | Masahiro Fujita |
| 2016 | HCI | Implementation and Initial Evaluation of Game in Which Password Enhancement Factor is Embedded. | Masahiro Fujita, Mako Yamada, Masakatsu Nishigaki |
| 2016 | HCI | Secure Communication Protocol Between a Human and a Bank Server for Preventing Man-in-the-Browser Attacks. | Takashi Tsuchiya, Masahiro Fujita, Kenta Takahashi, Takehisa Kato, Fumihiko Magata, Yoshimi Teshigawara, Ryichi Sasaki, Masakatsu Nishigaki |
| 2016 | PST | Directcha: A proposal of spatiometric mental rotation CAPTCHA. | Ayane Sano, Masahiro Fujita, Masakatsu Nishigaki |
| 2016 | PST | Study on relationship between user awareness and QoE in communication delay on smartphones. | Takeharu Shirai, Masahiro Fujita, Daisuke Arai, Tomohiko Ogishi, Masakatsu Nishigaki |
| 2015 | DATE | Temperature-aware software-based self-testing for delay faults. | Ying Zhang, Zebo Peng, Jianhui Jiang, Huawei Li, Masahiro Fujita |
| 2015 | FPGA | On Implementation of LUT with Large Numbers of Inputs (Abstract Only). | Masahiro Fujita |
| 2015 | HCI | Chimera CAPTCHA: A Proposal of CAPTCHA Using Strangeness in Merged Objects. | Masahiro Fujita, Yuki Ikeya, Junya Kani, Masakatsu Nishigaki |
| 2015 | ICCD | Automatic identification of assertions and invariants with small numbers of test vectors. | Masahiro Fujita |
| 2015 | ITC | Hardware in loop testing of an insulin pump. | Sriram Karunagaran, Karuna P. Sahoo, Masahiro Fujita |
| 2015 | MEMOCODE | Logic analysis and optimization with quick identification of invariants through one time frame analysis. | Masahiro Fujita |
| 2015 | PST | Physical trust-based persistent authentication. | Masahiro Fujita, Christian Damsgaard Jensen, Shiori Arimura, Yuki Ikeya, Masakatsu Nishigaki |
| 2015 | VTS | UPF-based formal verification of low power techniques in modern processors. | Reza Sharafinejad, Bijan Alizadeh, Masahiro Fujita |
| 2014 | ETS | Improving polynomial datapath debugging with HEDs. | Somayeh Sadeghi Kohan, Payman Behnam, Bijan Alizadeh, Masahiro Fujita, Zainalabedin Navabi |
| 2014 | HCI | An Image-Based CAPTCHA Using Sophisticated Mental Rotation. | Yuki Ikeya, Masahiro Fujita, Junya Kani, Yuta Yoneyama, Masakatsu Nishigaki |
| 2014 | ITC | Efficient SAT-based ATPG techniques for all multiple stuck-at faults. | Masahiro Fujita, Alan Mishchenko |
| 2014 | PST | i/k-Contact: A context-aware user authentication using physical social trust. | Shiori Arimura, Masahiro Fujita, Shinya Kobayashi, Junya Kani, Masakatsu Nishigaki, Akira Shiba |
| 2014 | RTAS | MAESTRO: A time-driven embedded testbed Architecture with Event-driven Synchronization. | Sriram Karunagaran, Karuna P. Sahoo, Jayaraj Poroor, Masahiro Fujita |
| 2013 | FPGA | Rectification of advanced microprocessors without changing routing on FPGAs (abstract only). | Satoshi Jo, Amir Masoud Gharehbaghi, Takeshi Matsumoto, Masahiro Fujita |
| 2013 | ICCAD | Partial synthesis through sampling with and without specification. | Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto |
| 2013 | ICCAD | Hardware implementation of BLTL property checkers for acceleration of statistical model checking. | Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita |
| 2013 | VLSID | Tutorial T10: Post - Silicon Validation, Debug and Diagnosis. | Prabhat Mishra, Masahiro Fujita, Virendra Singh, Nagesh Tamarapalli, Sharad Kumar, Rajesh Mittal |
| 2013 | VTS | Special session 4B: Elevator talks. | Jennifer Dworak, Ronald Shawn Blanton, Masahiro Fujita, Kazumi Hatayama, Naghmeh Karimi, Michail Maniatakos, Antonis M. Paschalis, Adit D. Singh, Tian Xia |
| 2012 | ASPDAC | Post-silicon patching for verification/debugging with high-level models and programmable logic. | Masahiro Fujita, Hiroaki Yoshida |
| 2012 | ASPDAC | On error tolerance and Engineering Change with Partially Programmable Circuits. | Hratch Mangassarian, Hiroaki Yoshida, Andreas G. Veneris, Shigeru Yamashita, Masahiro Fujita |
| 2012 | ASPDAC | Automated data analysis techniques for a modern silicon debug environment. | Yu-Shen Yang, Andreas G. Veneris, Nicola Nicolici, Masahiro Fujita |
| 2012 | DSD | Simulation-Based Analysis of Cyberphysical Systems. | Masahiro Fujita |
| 2012 | FPGA | Post-silicon debugging targeting electrical errors with patchable controllers (abstract only). | Masahiro Fujita, Hiroaki Yoshida |
| 2012 | ICCD | Automatic assertion extraction in gate-level simulation using GPGPUs. | Shohei Ono, Takeshi Matsumoto, Masahiro Fujita |
| 2012 | IOLTS | SEU tolerant robust memory cell design. | Mohammed Shayan, Virendra Singh, Adit D. Singh, Masahiro Fujita |
| 2012 | MEMOCODE | Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2 | Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita |
| 2012 | SIGGRAPH | Distance aware ray tracing for curves. | Koji Nakamaru, Toru Matsuoka, Masahiro Fujita |
| 2011 | ASPDAC | Utilizing high level design information to speed up post-silicon debugging. | Masahiro Fujita |
| 2011 | ASPDAC | On-chip dynamic signal sequence slicing for efficient post-silicon debugging. | Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita |
| 2011 | ATVA | Synthesizing, Verifying, and Debugging SoC with FSM-Based Specification of On-Chip Communication Protocols. | Masahiro Fujita |
| 2011 | ETS | Optimization of Assertion Placement in Time-Constrained Embedded Systems. | Viacheslav Izosimov, Michele Lora, Graziano Pravadelli, Franco Fummi, Zebo Peng, Giuseppe Di Guglielmo, Masahiro Fujita |
| 2011 | ISCAS | Early case splitting and false path detection to improve high level ATPG techniques. | Bijan Alizadeh, Masahiro Fujita |
| 2011 | ICSE | Model-driven design and validation of embedded software. | Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Cristina Marconcini, Andreas Foltinek |
| 2011 | ICSoft | Client-tier Validation of Dynamic Web Applications. | Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan |
| 2011 | ICSoft | Automated System Testing of Dynamic Web Applications. | Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita |
| 2011 | MEMOCODE | EFSM-based model-driven approach to concolic testing of system-level design. | Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia |
| 2010 | ASPDAC | Guided gate-level ATPG for sequential circuits using a high-level test generation approach. | Bijan Alizadeh, Masahiro Fujita |
| 2010 | CASES | Towards minimizing execution delays on dynamically reconfigurable processors: a case study on REDEFINE. | Ratna Krishnamoorthy, Keshavan Varadarajan, Ganesh Garga, Mythri Alle, S. K. Nandy, Ranjani Narayan, Masahiro Fujita |
| 2010 | FPGA | Aggressive overclocking support using a novel timing error recovery technique on FPGAs (abstract only). | Amir Masoud Gharehbaghi, Bijan Alizadeh, Masahiro Fujita |
| 2010 | ICCAD | Polynomial datapath optimization using constraint solving and formal modelling. | Finn Haedicke, Bijan Alizadeh, Grschwin Fey, Masahiro Fujita, Rolf Drechsler |
| 2010 | ICCD | Generation of I/O sequences for a high-level design from those in post-silicon for efficient post-silicon debugging. | Yeonbok Lee, Takeshi Matsumoto, Masahiro Fujita |
| 2009 | DAC | Debugging from high level down to gate level. | Masahiro Fujita, Yoshihisa Kojima, Amir Masoud Gharehbaghi |
| 2009 | DAC | Polynomial datapath optimization using partitioning and compensation heuristics. | Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita |
| 2009 | ICCAD | Improved heuristics for finite word-length polynomial datapath optimization. | Bijan Alizadeh, Masahiro Fujita |
| 2009 | ICCD | Transaction-based debugging of system-on-chips with patterns. | Amir Masoud Gharehbaghi, Masahiro Fujita |
| 2009 | MEMOCODE | High-level optimization of integer multipliers over a finite bit-width with verification capabilities. | Omid Sarbishei, Mahmoud Tabandeh, Bijan Alizadeh, Masahiro Fujita |
| 2008 | CSICC | Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram. | Bijan Alizadeh, Masahiro Fujita |
| 2008 | DATE | Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits. | Hiroaki Yoshida, Masahiro Fujita |
| 2008 | IROS | Motion control of a virtual humanoid that can perform real physical interactions with a human. | Ken'ichiro Nagasaka, Atsushi Miyamoto, Masakuni Nagano, Hirokazu Shirado, Tetsuharu Fukushima, Masahiro Fujita |
| 2008 | ICRA | Adaptive grasping by multi fingered hand with tactile sensor based on robust force and position control. | Taro Takahashi, Toshimitsu Tsuboi, Takeo Kishida, Yasunori Kawanami, Satoru Shimizu, Masatsugu Iribe, Tetsuharu Fukushima, Masahiro Fujita |
| 2008 | ICSoft | A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams. | Masahiro Fujita, Takeshi Matsumoto, Hiroaki Yoshida |
| 2008 | MEMOCODE | Arithmetic Circuits Verification without Looking for Internal Equivalences. | Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita |
| 2008 | MEMOCODE | Rule-Based Approaches for Equivalence Checking of SpecC Programs. | Subash Shankar, Masahiro Fujita |
| 2007 | ASPDAC | Protocol Transducer Synthesis using Divide and Conquer approach. | Shigeru Watanabe, Kenshu Seto, Yuji Ishikawa, Satoshi Komatsu, Masahiro Fujita |
| 2007 | ATVA | Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions. | Bijan Alizadeh, Masahiro Fujita |
| 2007 | ATVA | Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
| 2006 | ISCAS | An optimization of bus interconnects pitch for low-power and reliable bus encoding scheme. | Satoshi Komatsu, Masahiro Fujita |
| 2006 | MEMOCODE | Equivalence checking: a rule-based approach. | Masahiro Fujita, Subash Shankar, Sasaki Shunsuke |
| 2006 | VLSID | Sequential Equivalence Checking. | Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra |
| 2005 | FDL | AMS Extensions for Timed/Untimed System-Level Design Language. | Yu Liu, Satoshi Komatsu, Masahiro Fujita |
| 2005 | IJCAI | Real-Time Path Planning for Humanoid Robot Navigation. | Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita |
| 2005 | ICRA | A Floor and Obstacle Height Map for 3D Navigation of a Humanoid Robot. | Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita |
| 2005 | IRI | Object-oriented analysis and design of hardware/software co-designs with dependence analysis for design reuse. | Masahiro Fujita, Shunsuke Sasaki, Ken Matsui |
| 2005 | MEMOCODE | Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL. | Masahiro Fujita |
| 2005 | MEMOCODE | Synchronization verification in system-level design with ILP solvers. | Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita |
| 2004 | ICRA | Behavior Description and Control using Behavior Module for Personal Robot. | Yukiko Hoshino, Tsuyoshi Takagi, Ugo Di Profio, Masahiro Fujita |
| 2004 | IROS | Stair climbing for humanoid robots using stereo vision. | Jens-Steffen Gutmann, Masaki Fukuchi, Masahiro Fujita |
| 2004 | IROS | Behavior selection and motion modulation in emotionally grounded architecture for QRIO SDR-4XII. | Tsutomu Sawada, Tsuyoshi Takagi, Masahiro Fujita |
| 2004 | VLSID | Formal Verification of C Language Based VLSI Designs. | Masahiro Fujita |
| 2004 | VLSID | High Level Design Validation: Current Practices and Future Directions. | Indradeep Ghosh, Rajarshi Mukherjee, Mukul R. Prasad, Masahiro Fujita |
| 2003 | ASPDAC | Event-driven observability enhanced coverage analysis of C programs for functional validation. | Farzan Fallah, Indradeep Ghosh, Masahiro Fujita |
| 2003 | ASPDAC | Irredundant address bus encoding techniques based on adaptive codebooks for low power. | Satoshi Komatsu, Masahiro Fujita |
| 2003 | ASPDAC | Logic optimization for asynchronous speed independent controllers using transduction method. | Hiroshi Saito, Hiroshi Nakamura, Masahiro Fujita, Takashi Nanya |
| 2003 | DAC | Formal verification - prove it or pitch it. | Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi |
| 2003 | DSN | Model Checking for Dependable Software-Intensive Systems. | Edmund M. Clarke, Masahiro Fujita, David P. Gluch |
| 2003 | ICRA | A small biped entertainment robot exploring attractive applications. | Yoshihiro Kuroki, Masahiro Fujita, Tatsuzo Ishida, Ken'ichiro Nagasaka, Jin'ichi Yamaguchi |
| 2003 | IROS | Autonomous behavior control architecture of entertainment humanoid robot SDR-4X. | Masahiro Fujita, Yoshihiro Kuroki, Tatsuzo Ishida, Toshi T. Doi |
| 2003 | ISRR | SDR-4X II: A Small Humanoid as an Entertainer in Home Environment. | Masahiro Fujita, Kohtaro Sabe, Yoshihiro Kuroki, Tatsuzo Ishida, Toshi T. Doi |
| 2003 | MEMOCODE | Engineering Changes in Field Modifiable Architectures. | Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Satoshi Komatsu, Masahiro Fujita |
| 2003 | VR | High Presence Remote Presentation in the Shared Immersive Virtual World. | Tetsuro Ogi, Toshio Yamada, Michitaka Hirose, Masahiro Fujita, Kazuto Kuzuu |
| 2002 | FORTE | Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. | Thanyapat Sakunkonchak, Masahiro Fujita |
| 2002 | PRDC | Formal Verification of a Pipelined Processor with New Memory. | Hiroshi Nakamura, Takanori Arai, Masahiro Fujita |
| 2002 | VLSID | Simultaneous Circuit Transformation and Routing. | Hiroaki Yoshida, Motohiro Sera, Masao Kubo, Masahiro Fujita |
| 2002 | RoboCup | Sony Four Legged Robot League at RoboCup 2002. | Masahiro Fujita |
| 2001 | ICRA | Ethological Modeling and Architecture for an Entertainment Robot. | Ronald C. Arkin, Masahiro Fujita, Tsuyoshi Takagi, Rika Hasegawa |
| 2001 | IROS | Motion entertainment by a small humanoid robot based on OPEN-R. | Tatsuzo Ishida, Yoshihiro Kuroki, Jin'ichi Yamaguchi, Masahiro Fujita, Toshi T. Doi |
| 2001 | PG | Multiresolution Interpolation Meshes. | Takashi Michikawa, Takashi Kanai, Masahiro Fujita, Hiroaki Chiyokura |
| 2000 | ASPDAC | Automatic partitioning for efficient combinatorial verification. | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita |
| 2000 | DAC | Automatic test pattern generation for functional RTL circuits using assignment decision diagrams. | Indradeep Ghosh, Masahiro Fujita |
| 2000 | DAC | Efficient variable ordering using aBDD based sampling. | Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita |
| 2000 | ICRA | Digital Creatures for Future Entertainment Robotics. | Masahiro Fujita |
| 2000 | ICRA | Evolving Robust Gaits with AIBO. | Gregory Hornby, Seiichi Takamura, Jun Yokono, Osamu Hanagata, Takashi Yamamoto, Masahiro Fujita |
| 2000 | IROS | A quadruped robot platform with basic software for RoboCup-99 legged robot league. | Takashi Yamamoto, Masahiro Fujita |
| 2000 | VLSID | Hierarchical Error Diagnosis Targeting RTL Circuits. | Vamsi Boppana, Indradeep Ghosh, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita |
| 2000 | VTS | Testing, Verification, and Diagnosis in the Presence of Unknowns. | Ankur Jain, Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Michael S. Hsiao |
| 2000 | RoboCup | Overview of RoboCup-2000. | Peter Stone, Minoru Asada, Tucker R. Balch, Masahiro Fujita, Gerhard K. Kraetzschmar, Henrik Hautop Lund, Paul Scerri, Satoshi Tadokoro, Gordon F. Wyeth |
| 1999 | CAV | Model Checking Based on Sequential ATPG. | Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita |
| 1999 | DAC | Symbolic Model Checking Using SAT Procedures instead of BDDs. | Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu |
| 1999 | DAC | Multiple Error Diagnosis Based on Xlists. | Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Pradeep Bollineni |
| 1999 | DATE | An Efficient Filter-Based Approach for Combinational Verification. | Rajarshi Mukherjee, Jawahar Jain, Koichiro Takayama, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell |
| 1999 | DATE | On Reducing Transitions Through Data Modifications. | Rajeev Murgai, Masahiro Fujita |
| 1999 | IROS | Syntactic-semantic analysis of reconfigurable robot. | Masahiro Fujita, Hiroaki Kitano, Toshitada Doi |
| 1999 | VLSID | Efficient Scheduling Techniques for ROBDD Construction. | Rajeev Murgai, Jawahar Jain, Masahiro Fujita |
| 1999 | VTS | On the Evaluation of Arbitrary Defect Coverage of Test Sets. | Ankur Jain, Michael S. Hsiao, Vamsi Boppana, Masahiro Fujita |
| 1999 | RoboCup | Overview of RoboCup-99. | Manuela M. Veloso, Hiroaki Kitano, Enrico Pagello, Gerhard K. Kraetzschmar, Peter Stone, Tucker R. Balch, Minoru Asada, Silvia Coradeschi, Lars Karlsson, Masahiro Fujita |
| 1998 | ASPDAC | Model Checking: Its Basics and Reality (Embedded Tutorial). | Masahiro Fujita |
| 1998 | DAC | Using Complementation and Resequencing to Minimize Transitions. | Rajeev Murgai, Masahiro Fujita, Arlindo L. Oliveira |
| 1998 | FM | Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. | Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu |
| 1998 | ICCAD | Sampling schemes for computing OBDD variable orderings. | Jawahar Jain, William Adams, Masahiro Fujita |
| 1998 | ICRA | Sony Legged Robot for RoboCup Challenge. | Hiroaki Kitano, Masahiro Fujita, Stphane Zrehen, Koji Kageyama |
| 1998 | IROS | Playing soccer with legged robots. | Manuela M. Veloso, William T. B. Uther, Masahiro Fujita, Minoru Asada, Hiroaki Kitano |
| 1998 | ITC | Modeling the unknown! Towards model-independent fault and error diagnosis. | Vamsi Boppana, Masahiro Fujita |
| 1998 | VLSID | Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design. | Sreeranga P. Rajan, Masahiro Fujita |
| 1998 | RoboCup | A Quadruped Robot for RoboCup Legged Robot Challenge in Paris '98. | Masahiro Fujita, Stphane Zrehen, Hiroaki Kitano |
| 1997 | ICCAD | Speeding up technology-independent timing optimization by network partitioning. | Rajat Aggarwal, Rajeev Murgai, Masahiro Fujita |
| 1997 | ICCD | Formal Verification of the HAL S1 System Cache Coherence Protocol. | Alan J. Hu, Masahiro Fujita, Chris Wilson |
| 1997 | ICCD | A Survey of Techniques for Formal Verification of Combinational Circuits. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1997 | IROS | A proposal of a quadruped robot platform for RoboCup. | Masahiro Fujita, Koji Kageyama |
| 1997 | VLSID | Formal Verification of Combinational Circuit. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1997 | VLSID | Some Recent Advances in Software and Hardware Logic Simulation. | Rajeev Murgai, Masahiro Fujita |
| 1997 | RoboCup | A Legged Robot for RoboCup Based on "OPENR". | Masahiro Fujita, Hiroaki Kitano, Koji Kageyama |
| 1996 | CAV | Verification of Arithmetic Circuits by Comparing Two Similar Circuits. | Masahiro Fujita |
| 1996 | DAC | Domain-Specific High-Level Modeling and Synthesis for ATM Switch Design Using VHDL. | Mike Tien-Chien Lee, Yu-Chin Hsu, Ben Chen, Masahiro Fujita |
| 1996 | FMCAD | Decomposition Techniques for Efficient ROBDD Construction. | Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita |
| 1996 | ICCAD | Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. | Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1996 | VLSID | On More Efficient Combinational ATPG Using Functional Learning. | Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita, Jacob A. Abraham, Donald S. Fussell |
| 1996 | VLSID | A study of composition schemes for mixed apply/compose based construction of ROBDDs. | Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1995 | DAC | Advanced Verification Techniques Based on Learning. | Jawahar Jain, Rajarshi Mukherjee, Masahiro Fujita |
| 1995 | DATE | VERIFUL: VERIfication using FUnctional Learning. | Rajarshi Mukherjee, Jawahar Jain, Masahiro Fujita |
| 1995 | ICCAD | Hybrid decision diagrams. | Edmund M. Clarke, Masahiro Fujita, Xudong Zhao |
| 1995 | ICCD | Simple tree-construction heuristics for the fanout problem . | Robert J. Carragher, Masahiro Fujita, Chung-Kuan Cheng |
| 1995 | ICCD | Logic synthesis for a single large look-up table. | Rajeev Murgai, Masahiro Fujita, Fumiyasu Hirose |
| 1994 | ICCAD | A redesign technique for combinational circuits based on gate reconnections. | Yuji Kukimoto, Masahiro Fujita, Robert K. Brayton |
| 1994 | ICCAD | LP based cell selection with constraints of timing, area, and power consumption. | Yutaka Tamiya, Yusuke Matsunaga, Masahiro Fujita |
| 1994 | ICCD | YEPHCAD and FLORA: Logic Synthesis for Control and Datapath. | Hitomi Sato, Michihiro Yamazaki, Masahiro Fujita |
| 1994 | ISCAS | Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. | Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer |
| 1993 | DAC | Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping. | Edmund M. Clarke, Kenneth L. McMillan, Xudong Zhao, Masahiro Fujita, Jerry Chih-Yuan Yang |
| 1993 | ICCAD | An efficient algorithm for the net matching problem. | Robert J. Carragher, Chung-Kuan Cheng, Masahiro Fujita |
| 1993 | ICCD | Synthesis of Controllers from Interval Temporal Logic Specification. | Masahiro Fujita, Shinji Kono |
| 1993 | ICRA | Motion Planning and Control for a Robot Performer. | Takeshi Sakaguchi, Masahiro Fujita, Hiroshi Watanabe, Fumio Miyazaki |
| 1992 | DAC | Efficient Sum-to-One Subsets Algorithm for Logic Optimization. | Kuang-Chien Chen, Masahiro Fujita |
| 1992 | FPGA | Patching Method for Lookup-Table Type FPLs. | Masahiro Fujita, Yuji Kukimoto |
| 1992 | ICCAD | Rectification method for lookup-table type FPGA's. | Yuji Kukimoto, Masahiro Fujita |
| 1992 | ICCD | RTL Design Verification by Making Use of Datapath Information. | Masahiro Fujita |
| 1992 | ICRA | Force control without force sensor based on mixed sensitivity H | Kiyoshi Ohishi, Masaru Miyazaki, Masahiro Fujita, Yasumasa Ogino |
| 1991 | DAC | A Resynthesis Approach for Network Optimization. | Kuang-Chien Chen, Yusuke Matsunaga, Saburo Muroga, Masahiro Fujita |
| 1991 | ICCAD | Multi-Level Logic Minimization Based on Minimal Support and its Application to the Minimization of Look-Up Table Type FPGAs. | Masahiro Fujita, Yusuke Matsunaga |
| 1991 | ICCAD | Application of Boolean Unification to Combinational Logic Synthesis. | Masahiro Fujita, Yutaka Tamiya, Yuji Kukimoto, Kuang-Chien Chen |
| 1991 | ICCD | Concurrent Resynthesis for Network Optimization. | Kuang-Chien Chen, Masahiro Fujita |
| 1990 | CAV | A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. | Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka |
| 1990 | DAC | Boolean Resubstitution with Permissible Functions and Binary Decision Diagrams. | Hitomi Sato, Yoshihiro Yasue, Yusuke Matsunaga, Masahiro Fujita |
| 1990 | ICCAD | Automatic and Semi-Automatic Verification of Switch-Level Circuits with Temporal Logic and Binary Decision Diagrams. | Masahiro Fujita, Yusuke Matsunaga, Takeo Kakuda |
| 1990 | ICCAD | Multi-Level Logic Minimization Across Latch Boundaries. | Yusuke Matsunaga, Masahiro Fujita, Takeo Kakuda |
| 1990 | ICCD | Practical design assistance at register transfer level using a data path verifier. | Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka |
| 1990 | ICCD | Boolean technology mapping for both ECI and CMOS circuits based on permissible functions and binary decision diagrams. | Hitomi Sato, Norikazu Takahashi, Yusuke Matsunaga, Masahiro Fujita |
| 1989 | ICCAD | Multi-level logic optimization using binary decision diagrams. | Yusuke Matsunaga, Masahiro Fujita |
| 1988 | ICCAD | Evaluation and improvement of Boolean comparison method based on binary decision diagrams. | Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato |
| 1986 | ICLP | Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. | Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka |