Satoru Izumi

	2011
12		Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi: Modeling Web Applications Design with Automata and Its Verification. ISADS 2011: 103-112
11		Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi: Modeling, Verification and Testing of Web Applications Using Model Checker. IEICE Transactions 94-D(5): 989-999 (2011)
	2010
10		Satoru Izumi, Yusuke Kobayashi, Hideyuki Takahashi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori: An Effective Inference Method Using Sensor Data for Symbiotic Healthcare Support System. ICCSA (4) 2010: 152-163
9		Yusuke Kobayashi, Satoru Izumi, Hideyuki Takahashi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori: An effective acquisition scheme of sensor data in sensor network for healthcare support. IEEE ICCI 2010: 611-618
8		Satoru Izumi, Yusuke Kobayashi, Hideyuki Takahashi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori: A knowledge filtering scheme using sensor data for symbiotic healthcare support system. IEEE ICCI 2010: 619-624
7		Kei Homma, Satoru Izumi, Yuki Abe, Kaoru Takahashi, Atsushi Togashi: Using the Model Checker Spin for Web Application Design. SAINT 2010: 137-140
6		Hideyuki Takahashi, Kazuhiro Yamanaka, Satoru Izumi, Yoshikazu Tokairin, Takuo Suganuma, Norio Shiratori: Gentle supervisory system based on integration of environmental information and social knowledge. Int. J. Pervasive Computing and Communications 6(2): 229-247 (2010)
	2009
5		Hideyuki Takahashi, Satoru Izumi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori: An Agent-Based Healthcare Support System in Ubiquitous Computing Environments. ICOST 2009: 237-240
4		Takuo Suganuma, Hideyuki Takahashi, Satoru Izumi, Tetsuo Kinoshita, Norio Shiratori: User-oriented healthcare support system based on symbiotic computing. IEEE ICCI 2009: 133-140
3		Hideyuki Takahashi, Satoru Izumi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori: An Agent-Based Framework for Healthcare Support System. PRIMA 2009: 471-486
2		Satoru Izumi, Kazuhiro Yamanaka, Yoshikazu Tokairin, Hideyuki Takahashi, Takuo Suganuma, Norio Shiratori: Ubiquitous supervisory system based on social contexts using ontology. Mobile Information Systems 5(2): 141-163 (2009)
	2006
1		Satoru Izumi, Dai Kuriyama, Goichi Itabashi, Atsushi Togashi, Yasushi Kato, Kaoru Takahashi: An ontology-based advice system for health and exercise. IMSA 2006: 95-100

Coauthor Index

1	Yuki Abe	[7]
2	Kei Homma	[7] [11] [12]
3	Goichi Itabashi	[1]
4	Yasushi Kato	[1]
5	Tetsuo Kinoshita	[3] [4] [5] [8] [9] [10]
6	Yusuke Kobayashi	[8] [9] [10]
7	Dai Kuriyama	[1]
8	Norio Shiratori	[2] [3] [4] [5] [6] [8] [9] [10]
9	Takuo Suganuma	[2] [3] [4] [5] [6] [8] [9] [10]
10	Hideyuki Takahashi	[2] [3] [4] [5] [6] [8] [9] [10]
11	Kaoru Takahashi	[1] [7] [11] [12]
12	Atsushi Togashi	[1] [7] [11] [12]
13	Yoshikazu Tokairin	[2] [6]
14	Kazuhiro Yamanaka	[2] [6]

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