| |
| 2008 | ||
|---|---|---|
| 5 | EE | Christian Hoareau, Ichiro Satoh: Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments. AINA 2008: 130-137 |
| 4 | EE | Sébastien Duval, Christian Hoareau, Hiromichi Hashizume: Design of a Ubiquitous System for Affective Bonding and Support within the Family. AINA Workshops 2008: 844-849 |
| 3 | EE | Sébastien Duval, Christian Hoareau, Hiromichi Hashizume: Fundamental Needs in Intelligent Environments: Specificities for Older Adults. AINA Workshops 2008: 850-855 |
| 2 | EE | Christian Hoareau, Ichiro Satoh: Query Language for Location-Based Services: A Model Checking Approach. IEICE Transactions 91-D(4): 976-985 (2008) |
| 2007 | ||
| 1 | EE | Christian Hoareau, Ichiro Satoh: A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments. OTM Workshops (2) 2007: 866-875 |
| 1 | Sébastien Duval | [3] [4] |
| 2 | Hiromichi Hashizume | [3] [4] |
| 3 | Ichiro Satoh | [1] [2] [5] |