Distributed Systems > CS > JBI > FWN > RUG


  1. E. U. Warriach (2013) Design and implementation of middleware platform for a smart home. PhD thesis. (URL) (BibTeX)
  2. E. Kaldeli (2013) Domain-independent planning for services in uncertain and dynamic environments. PhD thesis. (URL) (BibTeX)
  3. A. Emerencia, L. van der Krieke, S. Sytema, N. Petkov and M. Aiello (2013) Generating personalized advice for schizophrenia patients.. . (URL) (BibTeX)
  4. L. van der Krieke, A. Emerencia, N. Boonstra, L. Wunderink, P. de Jonge and S. Sytema (2013) A web-based tool to support shared decision-making for people with a psychotic disorder: a randomized clinical trial and process evaluation.. . (URL) (BibTeX)
  5. F. Alsaif and A. Gauthaman (2013) The Management of Elearning at University of KKU, ABHA.. . (BibTeX)
  6. L. van der Krieke, L. Wunderink, A. Emerencia, P. de Jonge and S. Sytema (2013) E-health self-management in psychotic disorders: state of the art and future perspectives.. . (URL) (BibTeX)
  7. T. A. Nguyen, A. Raspitzu and M. Aiello (2013) Ontology-based Office Activity Recognition with Applications for Energy Savings.. . To appear. (URL) (BibTeX)
  8. T. A. Nguyen and M. Aiello (2013) Energy Intelligent Buildings based on User Activity: A Survey.. . (URL) (BibTeX)
  9. G. A. Pagani and M. Aiello (2013) The Power Grid as a Complex Network: a Survey.. . (URL) (BibTeX)
  10. E. Kaldeli, E. U. Warriach, A. Lazovik, and M. Aiello (2013) Coordinating the Web of Services for a Smart Home.. . (URL) (BibTeX)
  11. E. U. Warriach, E. Kaldeli, A. Lazovik and M. Aiello (2013) An Interplatform Service-Oriented Middleware for the Smart Home.. . (URL) (BibTeX)
  12. M. Aiello (2013) Aware homes.. . (URL) (BibTeX)
  13. M. Aiello (2013) In Foreword., IGI Global. (URL) (BibTeX)
  14. V. Degeler and A. Lazovik (2013) Architecture pattern for context-aware smart environments. In Creating Personal, Social and Urban Awareness through Pervasive Computing (D. Riboni, B. Guo, P. Hu, Eds.). IGI Global. (URL) (BibTeX)
  15. I. Georgievski, T. A. Nguyen, and M. Aiello (2013) Combining Activity Recognition and AI Planning for Energy-Saving Offices. In IEEE International Conference on Ubiquitous Intelligence and Computing., pages 238-245. (URL) (BibTeX)
  16. T. A. Nguyen, V. Degeler, R. Contarino, A. Lazovik, D. Bucur, and M. Aiello (2013) Towards Context Consistency in a Rule-Based Activity Recognition Architecture. In International Symposium on Ubiquitous Intelligence and Autonomic Systems., pages 625-630. (URL) (BibTeX)
  17. T. A. Nguyen, D. Bucur, M. Aiello and K. Tei (2013) Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs. In International Symposium on Information and Communication Technology., pages 234-241. (URL) (BibTeX)
  18. V. Degeler, L. I. Lopera Gonzalez, M. Leva, P. Shrubsole, S. Bonomi, O. Amft and A. Lazovik (2013) Service-Oriented Architecture for Smart Environments. In IEEE International Conference on Service Oriented Computing and Applications., pages 99-104. (URL) (BibTeX)
  19. N. R. T. P. Van Beest, and D. Bucur (2013) Continuous Correctness of Business Processes against Process Interference. In IEEE International Conference on Service Oriented Computing and Applications., pages 110-117. (URL) (BibTeX)
  20. V. Degeler and A. Lazovik (2013) Dynamic Constraint Reasoning in Smart Environments. In IEEE International Conference on Tools with Artificial Intelligence.. To appear. (URL) (BibTeX)
  21. D. Bucur, G. Iacca, G. Squillero, and A. Tonda (2013) An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks. In European Conference on the Applications of Evolutionary and bio-inspired Computation., pages 1-11. (URL) (BibTeX)
  22. H. Groefsema and D. Bucur (2013) A Survey of Formal Business Process Verification: From Soundness to Variability. In International Symposium on Business Modeling and Software Design., pages 198-203. (URL) (BibTeX)
  23. E. U. Warriach and C. Claudel (2013) A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors. In ACM/IEEE Conference on Information Processing in Sensor Networks., pages 333-334. (URL) (BibTeX)
  24. G. A. Pagani and M. Aiello (2013) Modeling the Last Mile of the Smart Grid. In PES Innovative Smart Grid Technologies Conference.. (URL) (BibTeX)
  25. G. A. Pagani and M. Aiello (2013) Cost and Benefits of Denser Topologies for the Smart Grid. In Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS'12)., pages 73-81. (URL) (BibTeX)
  26. T. A. Nguyen, M. Aiello and K. Tei (2013) A Decentralized Scheme for Fault Detection and Classification in WSNs. In IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress session).. To appear. (URL) (BibTeX)
  27. F. Nizamic (2013) Testing of Distributed Service-Oriented Systems. In ICSOC.. (URL) (BibTeX)
  28. I. Georgievski (2013) Planning for Coordination of Devices in Energy-Smart Envronments. In Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling.. (URL) (BibTeX)
  29. N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann, and A. Lazovik (2013) An Automated Analysis Of Process Interference Verified With LTL Checking. Technical Report 2013-08-07, University of Groningen. (URL) (BibTeX)