Papers on Ambient Intelligence

1. spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications
   D. Bonino, F. Corno
   ANT 2012, The 3rd International Conference on Ambient Systems, Networks and Technologies
2. dWatch: a Personal Wrist Watch for Smart Environments
   D. Bonino, F. Corno, L. De Russis
   ANT 2012, The 3rd International Conference on Ambient Systems, Networks and Technologies
3. Home Energy Consumption Feedback: A User Survey.
   D. Bonino, F. Corno, L. De Russis
   Energy and Buildings, Elsevier, ISSN 0378-7788, Volume 47, April 2012, Pages 383–393
4. DoMAIns: Domain-based Modeling for Ambient Intelligence
   D. Bonino, F. Corno
   Pervasive and Mobile Computing, IEEE
5. DOGeye: Controlling your Home with Eye Interaction
   D. Bonino, E. Castellina, F. Corno, L. De Russis
   Interacting with Computers, Elsevier, ISSN: 0953-5438
6. Formal Verification of Device State Chart Models
   F. Corno, M. Sanaullah
   IE'11, The 7th International Conference on Intelligent Environments, Nottingham (UK), 25-28 July 2011
7. Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments
   D. Bonino, F. Corno, F. Razzak
   Energy & Buildings 43 (2011), Elsevier, ISSN 0378-7788, pp. 1392-1402
8. What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes
   D. Bonino, F. Corno
   JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS, ISSN 1876-1364
9. A User-Friendly Interface for Rules Composition in Intelligent Environments
   D. Bonino, F. Corno, L. De Russis
   ISAMI 2011, International Symposium on Ambient Intelligence, Salamanca (Spain), 6th - 8th April 2011
10. Design time Methodology for the Formal Verification of Intelligent Domotic Environments
    F. Corno, M. Sanaullah
    ISAMI 2011, International Symposium on Ambient Intelligence, Salamanca (Spain), 6th - 8th April 2011
11. Mobile Interaction with Smart Environments through Linked Data
    D. Bonino, F. Corno, F. Razzak
    SMC 2010, 2010 IEEE International Conference on Systems, Man, and Cybernetics, October 10-13, 2010, Istanbul, Turkey, pp. 2922-2929
12. DogSim: A State Chart Simulator for Domotic Environments
    D. Bonino, F. Corno
    Eighth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
13. Rule-based Intelligence for Domotic Environments
    D. Bonino, F. Corno
    Automation in Construction, vol. 19; p. 183-196, ISSN: 0926-5805, ELSEVIER
14. An Ontology-based Context Management and Reasoning on the DOG Gateway
    Min L., Corno F., Bonino D., Castellina E.
    International Conference on Computational Intelligence and Software Engineering, CiSE 2009
15. A blueprint for integrated eye-controlled environments
    D. Bonino, E. Castellina, F. Corno, A. Gale, A. Garbo, K. Purdy, F. Shi
    UNIVERSAL ACCESS IN THE INFORMATION SOCIETY. vol. 8/4 ISSN: 1615-5289.
16. DOG: an Ontology-Powered OSGi Domotic Gateway
    D. Bonino, E. Castellina, F. Corno
    20th IEEE Int'l Conference on Tools with Artificial Intelligence
17. DogOnt - Ontology Modeling for Intelligent Domotic Environments
    D. Bonino, F. Corno
    7th International Semantic Web Conference. October 26-30, 2008. Karlsruhe, Germany. Ed. Springer-Verlag, Lecture Notes on Computer Science, pp. 790-803
18. Domotic House Gateway
    P. Pellegrino, D. Bonino, F. Corno
    SAC 2006, ACM Symposium on Applied Computing, April 23-27, 2006, Dijon, France