Akira Fukuda - RankMe

194 papers A* 2A 3B 14C 13Misc 23Journal 36Unranked 102

Year	Rank	Type	Title / Venue / Authors
2020	Misc	`conf`	A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. TASE Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
2020	Misc	`conf`	A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. ICISS Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda
2020	—	`conf`	An Inter-Organizational Software Architecture for Smart Mobility. ICSIE Tsuneo Nakanishi, Yutaka Arakawa, Takahiro Ando, Shigemi Ishida, Kenji Hisazumi, Tsunenori Mine, Akira Fukuda
2020	—	`conf`	Design Of Ble 2-Step Separate Channel Fingerprinting. VTC Spring Takahiro Yamamoto, Shigemi Ishida, Ryota Kimoto, Shigeaki Tagashira, Akira Fukuda
2020	—	`conf`	Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads. PerCom Workshops Masato Uchino, Billy Dawton, Yuki Hori, Shigemi Ishida, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
2020	—	`conf`	Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler. ICCE-TW Ryoichi Shibata, Atsuya Sonoyama, Masato Oguchi, Takeshi Kamiyama, Akira Fukuda, Saneyasu Yamaguchi
2020	—	`conf`	Monitoring System for Optimization based on Analyzing Android Application Launching Behavior. ICCE-TW Kazushi Nishinaka, Atsuhi Sonoyama, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
2020	—	`conf`	Observation of Power Consumption of Each Application in an Accelerated Android OS. ICCE-TW Ryosuke Onozato, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
2020	—	`conf`	Performance Improvement of Kotlin Program in Consideration of JIT Compiler Optimization. ICCE-TW Atsuya Sonoyama, Masato Oguchi, Takeshi Kamiyama, Akira Fukuda, Saneyasu Yamaguchi
2020	—	`conf`	Personal Identification Methods Using Footsteps of One Step. ICAIIC Yuki Hori, Takahiro Ando, Akira Fukuda
2019	—	`conf`	A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System. HCI (22) Masuda Begum Sampa, Md. Nazmul Hossain, Md. Rakibul Hoque, Rafiqul Islam Maruf, Fumihiko Yokota, Mariko Nishikitani, Akira Fukuda, Ashir Ahmed
2019	J	`jnl`	BET Estimation on Power Saving by Intermittent Disabling Network Interface on Android. J. Inf. Process. Tsubasa Murakami, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
2019	C	`conf`	DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. MODELSWARD Fumiya Tanaka, Kenji Hisazumi, Akira Fukuda
2019	—	`conf`	DNN-based Outdoor NLOS Human Detection Using IEEE 802.11ac WLAN Signal. IEEE SENSORS Ryo Takahashi, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki
2019	J	`jnl`	Danger-Pose Detection System Using Commodity Wi-Fi for Bathroom Monitoring. Sensors Zizheng Zhang, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
2019	—	`conf`	Design of Acoustic Vehicle Detector with Steady-Noise Suppression. ITSC Shigemi Ishida, Masato Uchino, Chengyu Li, Shigeaki Tagashira, Akira Fukuda
2019	—	`conf`	Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. IIAI-AAI Go Hirakawa, Daisuke Ikeda, Kenji Hisazumi, Akira Fukuda
2019	J	`jnl`	Estimation of Power Consumption of Each Application Considering Software Dependency in Android. J. Inf. Process. Shun Kurihara, Shoki Fukuda, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi, Saneyasu Yamaguchi
2019	—	`conf`	From Local to Global Semantic Clone Detection. DSA Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
2019	B	`conf`	Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. SAS Masahiko Miyazaki, Shigemi Ishida, Akira Fukuda, Tomoki Murakami, Shinya Otsuki
2019	—	`conf`	Initial Design of Acoustic Vehicle Detector with Wind Noise Suppressor. PerCom Workshops Masato Uchino, Shigemi Ishida, Kazuo Kubo, Shigeaki Tagashira, Akira Fukuda
2019	—	`conf`	Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
2019	J	`jnl`	MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics. Sensors Ryota Kimoto, Shigemi Ishida, Takahiro Yamamoto, Shigeaki Tagashira, Akira Fukuda
2019	—	`conf`	Multilevel Permission Extraction in Android Applications for Malware Detection. CITS Zhen Wang, Kai Li, Yan Hu, Akira Fukuda, Weiqiang Kong
2019	J	`jnl`	On Clustering Algorithms: Applications in Word-Embedding Documents. J. Comput. Israel Mendonça, Antoine Trouvé, Akira Fukuda, Kazuaki J. Murakami
2019	—	`conf`	Reducing TCP Errors in Accelerated Application Test in Android OS. ICCE-TW Ryosuke Onozato, Akira Fukuda, Takeshi Kamiyama, Masato Oguchi, Saneyasu Yamaguchi
2019	Misc	`conf`	Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. TASE Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda
2019	—	`conf`	User's Height Estimation based on Acceleration from Smartphone Sensors. ICCE-TW Yusuke Sato, Saneyasu Yamaguchi, Takeshi Kamiyama, Akira Fukuda, Masato Oguchi
2018	—	`conf`	A Process of Uncertainty Handling Method to Smart Mobility Application Development. IIAI-AAI Hiromasa Inoki, Kenji Hisazumi, Takahiro Ando, Akira Fukuda, Tsuneo Nakanishi
2018	—	`conf`	A Survey of Formal Techniques for Hardware/Software Co-verification. IIAI-AAI Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda
2018	—	`conf`	Analysis of Interrupt Behavior Based on Probabilistic Model Checking. IIAI-AAI Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
2018	—	`conf`	Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. DSA Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda
2018	J	`jnl`	Asynchronous multi-process timed automata. Softw. Qual. J. Guoqiang Li, Li Liu, Akira Fukuda
2018	—	`conf`	Automatic Test Case Generation Method for Large Scale Communication Node Software. EIDWT Kazuhiro Kikuma, Takeshi Yamada, Kiyoshi Ueda, Akira Fukuda
2018	—	`conf`	Evaluation of BLE Separate Channel Fingerprinting in Practical Environment. IIAI-AAI Shigemi Ishida, Sou Takaki, Takahiro Yamamoto, Shigeaki Tagashira, Akira Fukuda
2018	—	`conf`	Evaluation of MultiZigLoc: Indoor ZigBee Localization System Using Inter-Channel Characteristics. ICMU Ryota Kimoto, Takahiro Yamamoto, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
2018	—	`conf`	Exploring a Topical Representation of Documents for Recommendation Systems. iCAST Israel Mendonça, Antoine Trouvé, Akira Fukuda, Kazuaki J. Murakami
2018	—	`conf`	ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. IIAI-AAI Tsunenori Mine, Shiro Mise, Hiroyuki Nakamura, Takuya Hiraoki, Shiori Koga, Takahiro Ando, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
2018	—	`conf`	Overview and Application Examples of Agent-Based Unified Simulation Environment. IIAI-AAI Takahiro Ando, Ryo Fujii, Kenji Hisazumi, Tsunenori Mine, Tsuneo Nakanishi, Akira Fukuda
2018	—	`conf`	SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection. ITSC Shigemi Ishida, Jumpei Kajimura, Masato Uchino, Shigeaki Tagashira, Akira Fukuda
2018	J	`jnl`	Semantic image retrieval for complex queries using a knowledge parser. Multim. Tools Appl. Hua Chen, Antoine Trouvé, Kazuaki J. Murakami, Akira Fukuda
2018	—	`conf`	Software Engineering Practices for the Smart Mobility Market. IIAI-AAI Tsuneo Nakanishi, Kenji Hisazumi, Takahiro Ando, Tsunenori Mine, Akira Fukuda
2018	—	`conf`	Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan. SPLC (2) Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
2018	—	`conf`	Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li
2018	—	`conf`	Verification Model Translation Method toward Behavior Model for CAST. DSA Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
2017	—	`conf`	Accuracy improvement in sensor localization system utilizing heterogeneous wireless technologies. ICMU Takahiro Yamamoto, Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda
2017	J	`jnl`	An intelligent annotation-based image retrieval system based on RDF descriptions. Comput. Electr. Eng. Hua Chen, Antoine Trouvé, Kazuaki J. Murakami, Akira Fukuda
2017	—	`conf`	Using Fault Injection for Programming Task Generation. ICL (2) Baso Habibi, Tsuneo Nakanishi, Kenji Hisazumi, Hiroki Furusho, Akira Fukuda
2016	—	`conf`	A Footprint Matching Method for Walking Users in Privacy-Aware User Tracking System Using Pressure Sensor Sheets. ICA Ryoya Wada, Shigeaki Tagashira, Masaki Ogino, Shigemi Ishida, Akira Fukuda
2016	—	`conf`	A Privacy-Aware User Tracking System Using Footprint Data Measured across Multiple Pressure Sensor Sheets. IIAI-AAI Ryoya Wada, Shigeaki Tagashira, Masaki Ogino, Shigemi Ishida, Akira Fukuda
2016	—	`conf`	Design of Distributed Calculation Scheme Using Network Address Translation for Ad-hoc Wireless Positioning Network. ISIP Jumpei Kajimura, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
2016	—	`conf`	Design of WiFi-AP operating channel estimation scheme for sensor node. ICMU Shigemi Ishida, Yosuke Kunihiro, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda
2016	—	`conf`	Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. IIAI-AAI Tsuneo Nakanishi, Hiroki Furusho, Kenji Hisazumi, Akira Fukuda
2016	—	`conf`	Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. IIAI-AAI Shota Ishibashi, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
2016	J	`jnl`	Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2016	—	`conf`	Introducing the case grammar concept to object-oriented movie context description. TALE Hazriani, Tsuneo Nakanishi, Akira Fukuda
2016	—	`conf`	Operation Phase Metrics for Smart Mobility Platform. ICA Kenji Hisazumi, Tsuneo Nakanishi, Shota Ishibashi, Go Hirakawa, Tsunenori Mine, Takahiro Ando, Hiroki Furusho, Akira Fukuda
2016	—	`conf`	Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy. IIAI-AAI Shigemi Ishida, Yoko Takashima, Shigeaki Tagashira, Akira Fukuda
2016	B	`conf`	Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh. SMC Nuren Abedin, Jecinta Kamau, Hironobu Kitaoka, Hiroshi Okajima, Masaharu Okada, Akira Fukuda, Ashir Ahmed
2016	—	`conf`	Smartphone Usage Analysis Based on Actual-Use Survey. MobiCASE Takeshi Kamiyama, Kenji Hisazumi, Hiroshi Inamura, Teppei Konishi, Ken Ohta, Akira Fukuda
2016	—	`conf`	Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. IIAI-AAI Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong
2016	—	`conf`	ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2015	—	`conf`	AP-assisted CTS-blocking for WiFi-ZigBee Coexistence. CANDAR Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
2015	—	`conf`	Design of WiFi AP-RSS Monitoring System Using Sensor Nodes. CANDAR Kousaku Izumi, Shigemi Ishida, Shigeaki Tagashira, Akira Fukuda
2015	J	`jnl`	Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
2015	—	`conf`	On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network. HPCC/CSS/ICESS Shigemi Ishida, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
2015	—	`conf`	WiFi AP-RSS Monitoring Using Sensor Nodes toward Anchor-Free Sensor Localization. VTC Fall Shigemi Ishida, Kousaku Izumi, Shigeaki Tagashira, Akira Fukuda
2014	J	`jnl`	A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2014	—	`conf`	Implementation of On-Demand Indoor Location-Based Service Using Ad Hoc Wireless Positioning Network. UIC/ATC/ScalCom Shigemi Ishida, Koki Tomishige, Akira Izumi, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
2014	—	`conf`	Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication. ICMU Yutaka Arakawa, Yuki Sonoda, Koki Tomoshige, Shigeaki Tagashira, Akira Fukuda
2014	—	`conf`	Movie Based Context-Aware Language Learning: Its Concept and System. T4E Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
2014	J	`jnl`	Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
2013	—	`conf`	A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor. ISSCC Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Takeshi Kataoka, Toshihiro Hattori
2013	B	`conf`	A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks Used in Information-oriented Construction. AINA Naoki Miwa, Shigeaki Tagashira, Hiroaki Matsuda, Takanori Tsutsui, Yutaka Arakawa, Akira Fukuda
2013	B	`conf`	Efficient Survey Database Construction Using Location Fingerprinting Interpolation. AINA Ryosuke Kubota, Shigeaki Tagashira, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda
2013	J	`jnl`	Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. Inf. Media Technol. Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
2013	J	`jnl`	Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. J. Inf. Process. Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
2013	—	`conf`	Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
2013	—	`conf`	Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
2013	J	`jnl`	Power-Management Features of R-Mobile U2, an Integrated Application Processor and Baseband Processor. IEEE Micro Kazuki Fukuoka, Noriaki Maeda, Koji Nii, Masaki Fujigaya, Noriaki Sakamoto, Takao Koike, Takahiro Irita, Kohei Wakahara, Tsugio Matsuyama, Keiji Hasegawa, Toshiharu Saito, Akira Fukuda, Kaname Teranishi, Takeshi Kataoka, Toshihiro Hattori
2013	—	`conf`	Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-Based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network. AINA Workshops Tatsuhiko Nakano, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda, Riadh Dhaou
2013	—	`conf`	Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
2013	—	`conf`	Using Model-Driven Development Tools for Object-Oriented Modeling Education. EduSymp@MoDELS Seiko Akayama, Kenji Hisazumi, Syuhei Hiya, Akira Fukuda
2013	—	`conf`	clooca : Web based tool for Domain Specific Modeling. MoDELS (Demos/Posters/StudentResearch) Shuhei Hiya, Kenji Hisazumi, Akira Fukuda, Tsuneo Nakanishi
2013	Misc	`conf`	mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android. SenSys Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
2012	—	`conf`	A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks. ARCS Workshops Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
2012	—	`conf`	A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices. ARCS Workshops Tomohiro Iwamoto, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
2012	C	`conf`	A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. IPIN Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
2012	C	`conf`	Formal Verification of Communicating HSTM Designs. CIT Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda
2012	J	`jnl`	Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2012	—	`conf`	Hot Topic Detection in Local Areas Using Twitter and Wikipedia. ARCS Workshops Shota Ishikawa, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
2012	C	`conf`	Local Cloud Storage: Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-Layer Simultaneous Data Transmission Mechanism. CIT Yutaka Arakawa, Yuta Tanaka, Shigeaki Tagashira, Akira Fukuda
2012	C	`conf`	On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
2012	A	`conf`	Poster: an energy profiler for android applications used in the real world. MobiSys Hiroki Furusho, Kenji Hisazumi, Takeshi Kamiyama, Hiroshi Inamura, Tsuneo Nakanishi, Akira Fukuda
2012	—	`conf`	QORAL: An External Domain-Specific Language for Mining Software Repositories. IWESEP Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda
2012	Misc	`conf`	Study on Knowledge Management Platform about the Field of Agricultural Infomatization. CISIS Eiji Aoki, Ken Kudo, Akira Fukuda, Tsuneo Nakanishi, Shigeaki Tagashira, Takashi Okayasu, Naoyuki Tsuruda, Satoru Yamasaki, Yasuhito Imura
2012	A*	`conf`	Using the GPGPU for scaling up Mining Software Repositories. ICSE Rina Nagano, Hiroki Nakamura, Yasutaka Kamei, Bram Adams, Kenji Hisazumi, Naoyasu Ubayashi, Akira Fukuda
2012	—	`conf`	WiFiTag: Direct Link from the Real World to Online Digital Contents. 3PGCIC Yutaka Arakawa, Yuki Sonoda, Shigeaki Tagashira, Akira Fukuda
2011	—	`conf`	An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2011	J	`jnl`	An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Trans. Inf. Syst. Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2011	J	`jnl`	Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems. IEICE Trans. Commun. Shigeaki Tagashira, Yuhei Kanekiyo, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda
2011	—	`conf`	Critiquing Rules and Quality Quantification of Development-Related Documents. IWSM/Mensura Tadashi Nagano, Yoshifumi Sakamoto, Satoshi Haraguchi, Hironori Takeuchi, Shiho Ogino, Akira Fukuda
2011	C	`conf`	Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
2011	J	`jnl`	Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments. IEICE Trans. Inf. Syst. Shigeaki Tagashira, Yutaka Kaminishi, Yutaka Arakawa, Teruaki Kitasuka, Akira Fukuda
2011	—	`conf`	Spatial Statistics with Three-Tier Breadth First Search for Analyzing Social Geocontents. KES (4) Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda
2010	—	`conf`	A method for analysis and solution of scalability bottleneck in DBMS. SoICT Takashi Horikawa, Akira Fukuda
2010	—	`conf`	An Experience Report of Introducing Product Line Engineering across the Board. SPLC Workshops Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
2010	—	`conf`	An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe
2010	—	`conf`	Application to glacier observation of high-precision three-dimensional position measurement using cameras. Humans and Computers Hiroaki Ota, Takeshi Hashimoto, Yohei Nagakura, Shuhei Takamura, Akira Fukuda, Masamu Aniya, Nozomu Naito, Hiroyuki Enomoto, Shin Sugiyama, Pedro Skvarca
2010	—	`conf`	Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2010	—	`conf`	Traceability Link for Product Line with RAS based Representation. Software Engineering Research and Practice Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda
2009	C	`conf`	Highly efficient multipoint relay selections in link state QoS routing protocol for multi-hop wireless networks. WOWMOM Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda
2009	—	`conf`	Large Scale Business-academia Collaboration in Master Education Course. CSEDU (2) Noriaki Sakamoto, Mitsuaki Fukase, Tsunenori Mine, Shigeru Kusakabe, Tsuneo Nakanishi, Yoichi Omori, Mohammad Mesbah Uddin, Keijiro Araki, Akira Fukuda, Hiroto Yasuura, Teruaki Kitasuka
2009	J	`jnl`	Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Takeaki Koga, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda
2009	B	`conf`	Name Resolution Middleware Using Relative Positional Relationship to Support Wireless Visible Area Communication. AINA Atsushi Noda, Teruaki Kitasuka, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda
2009	—	`conf`	SIP method escalation algorithm for NGN application network interface. ICT Kiyoshi Ueda, Hitoshi Shimizu, Tetsuya Iwata, Hiroshi Sunaga, Akira Fukuda
2007	—	`conf`	A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. QSIC Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido
2007	J	`jnl`	Broadcasted Location-Aware Data Cache for Vehicular Application. EURASIP J. Embed. Syst. Kenya Sato, Takahiro Koita, Akira Fukuda
2007	—	`conf`	On the M-CubITS Pedestrian WYSIWYAS Navigation Using Tile Carpets. ITSC Tetsuya Manabe, Takaaki Hasegawa, Yoshihiro Matsuoka, Seiji Furukawa, Akira Fukuda
2006	—	`conf`	Heuristic Scheduling and Process Migration on the Grid. GCA Kenya Sato, Akira Fukuda, Takahiro Koita, Yusuke Inoue
2006	J	`jnl`	Performance analysis of a service-dependent handoff scheme in voice/data integrated cellular mobile systems. Comput. Networks Bo Li, Roberto Battiti, Akira Fukuda
2005	—	`conf`	Access Point Determination Method Considering Route Stability on the Hybrid Ad-hoc Network. ICWN Hideki Shimada, Teruaki Kitasuka, Akira Fukuda, Hideki Sunahara
2005	Misc	`conf`	Heuristic Scheduling Schemes for a Genomic Application on the Grid. PDPTA Yusuke Inoue, Takahiro Koita, Akira Fukuda
2005	—	`conf`	Position Estimation for Goods Tracking System Using Mobile Detectors. KES (1) Hiroshi Mineno, Kazuo Hida, Miho Mizutani, Naoto Miyauchi, Kazuhiro Kusunoki, Akira Fukuda, Tadanori Mizuno
2005	Misc	`conf`	Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. PSC Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
2005	—	`conf`	WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. ICITA (2) Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda
2004	J	`jnl`	A design of flash memory file system for embedded systems. Syst. Comput. Jpn. Noritaka Ishizumi, Keizo Saisho, Akira Fukuda
2004	Misc	`conf`	Design of a Context-aware Message Exchange System in an Ad-hoc Network. PDPTA Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
2004	Misc	`conf`	Performance Evaluation of MPI-HMMER on the OBIGrid. PDPTA Yasuyo Kofune, Takahiro Koita, Akira Fukuda
2004	C	`conf`	Product Line Based Component Unification and Exploiting Unified Components in FORM. APSEC Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda
2003	Misc	`conf`	A Context-Aware Middleware Mapping Processes and User-Context Subspaces. PDPTA Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
2003	J	`jnl`	A Proposal and Evaluation of the Fast reconnect Ad-Hoc Network Routing Protocol. Int. J. Comput. Kazuhiro Mizoguchi, Shinichi Furusho, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda
2003	Misc	`conf`	Design of a Context-Aware Email Delivery System. PDPTA Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
2003	—	`conf`	Implementation and Evaluation of Resource Allocation for a Genomic Application Program on the Grid. Applied Informatics Takahiro Koita, Yasuyo Kofune, Yusuke Inoue, Akira Fukuda
2003	Misc	`conf`	Proposal of Wireless Peer-to-Peer System Using the Wireless Multi-Hop Network to Access Wireless Hot Spot. PDPTA Hideki Shimada, Shigeaki Tagashira, Teruaki Kitasuka, Tsuneo Nakanishi, Akira Fukuda
2002	Misc	`conf`	A Data-flow Genome Array Processor RING to Accelerate Homology Analysis. PDPTA Takamichi Mizuhara, Tsuneo Nakanishi, Akira Fukuda
2002	Misc	`conf`	A Power Aware Paging Scheme with Power Controlling Each Memory Bank. PDPTA Satomi Kobayashi, Tsuneo Nakanishi, Akira Fukuda
2002	—	`conf`	Adaptive acquisition multiple access protocol in wireless multihop mobile ad hoc networks. VTC Spring Kai Liu, Jiandong Li, Pengyu Huang, Akira Fukuda
2002	—	`conf`	Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ACM SIGOPS European Workshop Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
2002	—	`conf`	Evaluation of a Location Management System for Wireless Communicating Mobile Computers. ICOIN (2) Hideki Shimada, Shigeaki Tagashira, Tsuneo Nakanishi, Akira Fukuda
2002	Misc	`conf`	Redundant Scheduling: An Algorithm for Scheduling Parameter Sweep Applications in Grid Environment. PDPTA Sadao Ikebe, Tsuneo Nakanishi, Akira Fukuda
2001	B	`conf`	Adaptive acquisition collision avoidance multiple access for multihop ad hoc wireless networks. GLOBECOM Kai Liu, Jiandong Li, Akira Fukuda
2001	B	`conf`	Design and Implementation of an Information Announcement Toolkit for Mobile Computers. Mobile Data Management Shigeaki Tagashira, Keizo Saisho, Akira Fukuda
2001	C	`conf`	Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit. ISADS Shigeaki Tagashira, Akira Fukuda, Keizo Saisho
2001	B	`conf`	Performance Modeling of Layered-Data Delivery for Mobile Users through Broadcast/On-Demand Hybrid Communication. Mobile Data Management Kenya Sato, Soichi Hasegawa, Shigeaki Tagashira, Keizo Saisho, Akira Fukuda
2001	J	`jnl`	Performance analysis of flexible hierarchical cellular systems with a bandwidth-efficient handoff scheme. IEEE Trans. Veh. Technol. Bo Li, Chengke Wu, Akira Fukuda
2000	Misc	`conf`	Design and Implementation of a Flexible Scheduling Mechanism on User-Level Thread Library PPL. PDPTA Keizo Saisho, Shuichi Kitaguchiy, Shinji Matsuuraz, Akira Fukuda
2000	Misc	`conf`	Genetic Algorithm Based Data and Program Partitioning. PDPTA Tetsuya Saito, Tsuneo Nakanishi, Yoshitoshi Kunieda, Akira Fukuda
2000	Misc	`conf`	Genetic Algorithm Based Data and Program Partitioning. PDPTA Tetsuya Saito, Tsuneo Nakanishi, Yoshitoshi Kunieda, Akira Fukuda
2000	J	`jnl`	Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. J. Supercomput. Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda
2000	Misc	`conf`	Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. PDPTA Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda
1999	Misc	`conf`	A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. PDPTA Kenya Sato, Keizo Saisho, Akira Fukuda
1999	Misc	`conf`	A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. PDPTA Shigeaki Tagashira, O. Yasuda, Keizo Saisho, Akira Fukuda
1999	—	`conf`	A Dynamically Reconfigurable Operating System Server with Protection. Applied Informatics Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda
1999	A	`conf`	A spatio-temporal resource allocation protocol (STRAP) with mobility specification: simulation and performance evaluation. MSWiM Kenya Sato, Keizo Saisho, Akira Fukuda
1999	J	`jnl`	An Object-Oriented Framework for Loop Parallelization. J. Supercomput. Yoichi Omori, Akira Fukuda, Kazuki Joe
1999	C	`conf`	Automatic Selecting of Required NetNews Articles. APSEC Junichi Funasaka, Keizo Saisho, Akira Fukuda
1999	—	`conf`	Design and Evaluation of an Information Announcement Mechanism for Mobile Computers. MDA Shigeaki Tagashira, Fumitake Inada, Keizo Saisho, Akira Fukuda
1999	J	`jnl`	Estimating minimum parallel execution time of loops with loop-carried dependencies. Syst. Comput. Jpn. Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
1999	—	`conf`	Evaluation of Caching Algorithm for NetNews. Applied Informatics Junichi Funasaka, Keizo Saisho, Akira Fukuda
1999	—	`conf`	Generating a Device Driver with a Formal Specification Language. Applied Informatics Tetsuro Katayama, Keizo Saisho, Akira Fukuda
1999	—	`ed.`	High Performance Computing, Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings ISHPC Constantine D. Polychronopoulos, Kazuki Joe, Akira Fukuda, Shinji Tomita
1999	Misc	`conf`	Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. PDPTA Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda
1999	C	`conf`	Proposal of a Support System for Device Driver Generation. APSEC Tetsuro Katayama, Keizo Saisho, Akira Fukuda
1999	—	`conf`	The Modulo Interval: A Simple and Practical Representation for Program Analysis. IEEE PACT Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Akira Fukuda
1998	—	`conf`	A Copy Update Mechanism for a Mobile Information Announcement System.- Transmitting Non-storage Type Resources with Redundancy -. ER Workshops Shigeaki Tagashira, Keizo Saisho, Fumitake Inada, Akira Fukuda
1998	B	`conf`	Design and Implementation of a Copy Update Mechanism on a Mobile Information Announcement System. ICPADS Shigeaki Tagashira, Fumitake Inada, Keizo Saisho, Akira Fukuda
1998	J	`jnl`	Design and implementation of a Parallel Pthread Library (PPL) with parallelism and portability. Syst. Comput. Jpn. Chikara Sakamoto, Teruki Miyazaki, Masayuki Kuwayama, Keizo Saisho, Akira Fukuda
1998	J	`jnl`	Performance evaluation of Two-level Scheduling algorithms for NUMA multiprocessors. Syst. Comput. Jpn. Yukio Ohishi, Keizo Saisho, Akira Fukuda
1997	B	`conf`	A Parallelizing Compiler by Object Oriented Design. COMPSAC Yoichi Omori, Kazuki Joe, Akira Fukuda
1997	—	`conf`	An Object-Oriented Framework for Loop Parallelization. ISHPC Yoichi Omori, Kazuki Joe, Akira Fukuda
1997	C	`conf`	Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. APSEC Noriki Ogura, Keizo Saisho, Akira Fukuda
1997	—	`conf`	The Architecture of OCMP and its Evaluation. ISPAN Keizo Saisho, Takeshi Sano, Keniti Iwata, Akira Fukuda
1996	Misc	`conf`	A Data Block Mapping Method to Reduce Cache Coherence Overhead. PDPTA Takahiro Koita, Kazuki Joe, Akira Fukuda
1996	—	`conf`	Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol. Euro-Par, Vol. II Kazuki Joe, Akira Fukuda
1996	C	`conf`	Design and Implementation of Dynamically Reconstructing System Software. APSEC Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda
1996	—	`conf`	Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. LCPC Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
1996	—	`conf`	Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. ICPP, Vol. 3 Tsuneo Nakanishi, Kazuki Joe, Constantine D. Polychronopoulos, Keijiro Araki, Akira Fukuda
1995	B	`conf`	A loop parallelization technique for linear dependence vector. PACT Teruaki Kitasuka, Kazuki Joe, Dale Schouten, Akira Fukuda, Keijiro Araki
1995	—	`conf`	The CDP ICPP (2) Tsuneo Nakanishi, Kazuki Joe, Hideki Saito, Akira Fukuda, Keijiro Araki
1994	B	`conf`	Organization scheme of system servers in microkernel-based operating systems-multi-process and multi-thread methods. COMPSAC Masayuki Kuwayama, Keizo Saisho, Akira Fukuda
1994	B	`conf`	Parallel Pthread library (PPL): user-level thread library with parallelism and portability. COMPSAC Teruki Miyazaki, Chikara Sakamoto, Masayuki Kuwayama, Keizo Saisho, Akira Fukuda
1994	—	`conf`	The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. LCPC Tsuneo Nakanishi, Kazuki Joe, Akira Fukuda, Keijiro Araki, Hideki Saito, Constantine D. Polychronopoulos
1993	J	`jnl`	Optimal number of processors in parallel processing of a single doacross loop for different execution times of iterations. Syst. Comput. Jpn. Akira Fukuda
1993	B	`conf`	Two-level processor scheduling for multiprogrammed NUMA multiprocessors. COMPSAC Akira Fukuda, Ryousuke Fujiki, Hisa-aki Kai
1991	J	`jnl`	Toward advanced parallel processing: exploiting parallelism at task and instruction levels. IEEE Micro Akira Fukuda, Kazuaki J. Murakami, Shinji Tomita
1989	—	`conf`	The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. IFIP Congress Kazuaki J. Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita
1989	A	`conf`	The Kyushu University reconfigurable parallel processor: design of memory and intercommunicaiton architectures. ICS Kazuaki J. Murakami, Shin-ichiro Mori, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita
1988	J	`jnl`	An overview of the Kyushu University reconfigurable parallel processor. SIGARCH Comput. Archit. News Kazuaki J. Murakami, Akira Fukuda, Toshinori Sueyoshi, Shinji Tomita
1988	J	`jnl`	Equilibrium Point Analysis of Memory Interference in Multiprocessor Systems. IEEE Trans. Computers Akira Fukuda
1988	A*	`conf`	M/M/K systems with M-phase fluctuations of traffic intensity. INFOCOM Walter Sotelo, Kaiji Mukumoto, Akira Fukuda
1986	J	`jnl`	Equilibrium point analysis of memory interference in multiprocessor systems. Syst. Comput. Jpn. Akira Fukuda
1980	—	`conf`	Prescription Order Service in Kanto Teishin Hospital Information System. IFIP Congress Jun-ichiro Yokoyama, Akira Fukuda
1972	J	`jnl`	A theory of two-dimensional linear recurring arrays. IEEE Trans. Inf. Theory Tamiya Nomura, Hiroshi Miyakawa, Hideki Imai, Akira Fukuda