Kenji Hisazumi

	2011
10		Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda: Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC 2011: 81-88
9		Jun Otsuka, Kouichi Kawarabata, Takashi Iwasaki, Makoto Uchiba, Tsuneo Nakanishi, Kenji Hisazumi: Small inexpensive core asset construction for large gainful product line development: developing a communication system firmware product line. SPLC Workshops 2011: 20
	2010
8		Takashi Iwasaki, Makoto Uchiba, Jun Otsuka, Koji Hachiya, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda: An Experience Report of Introducing Product Line Engineering across the Board. SPLC Workshops 2010: 255-258
7		Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda: Traceability Link for Product Line with RAS based Representation. Software Engineering Research and Practice 2010: 105-110
	2005
6		Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda: WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. ICITA (2) 2005: 346-349
5		Teruaki Kitasuka, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda: Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. PSC 2005: 47-53
	2004
4		Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: Design of a Context-aware Message Exchange System in an Ad-hoc Network. PDPTA 2004: 1142-1146
	2003
3		Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: A Context-Aware Middleware Mapping Processes and User-Context Subspaces. PDPTA 2003: 1591-1597
2		Koya Imanishi, Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: Design of a Context-Aware Email Delivery System. PDPTA 2003: 744-750
	2002
1		Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda: Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ACM SIGOPS European Workshop 2002: 178-181

Coauthor Index

1	Shuichi Ashihara	[7]
2	Akira Fukuda	[1] [2] [3] [4] [5] [6] [7] [8] [10]
3	Koji Hachiya	[8]
4	Yusuke Hattori	[7]
5	Go Hirakawa	[7]
6	Koya Imanishi	[2] [4]
7	Takashi Iwasaki	[8] [9]
8	Noriyuki Katahira	[10]
9	Tetsuro Katayama	[10]
10	Kouichi Kawarabata	[9]
11	Teruaki Kitasuka	[1] [2] [3] [4] [5] [6]
12	Weiqiang Kong	[10]
13	Tsuneo Nakanishi	[1] [2] [3] [4] [5] [6] [7] [8] [9]
14	Jun Otsuka	[8] [9]
15	Makoto Uchiba	[8] [9]
16	Masahiko Watanabe	[10]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page