Distributed Systems

Journals


  1. The Internet of Everything: Smart things and their impact on business models (, , , , and ), In Journal of Business Research, . [url] [doi]
  2. Efficient conditional compliance checking of business process models (, and ), In Computers in Industry, volume 115, . [url] [doi]
  3. The u-can-act Platform: A Tool to Study Intra-individual Processes of Early School Leaving and Its Prevention Using Multiple Informants (, , , , and ), In Frontiers in Psychology, volume 10, . [url] [doi]
  4. Energy management for user's thermal and power needs: A survey ( and ), In Energy Reports, volume 5, . [url] [doi]
  5. Variability in business processes: Automatically obtaining a generic specification (, , and ), In Information Systems, volume 80, . [url] [doi]
  6. A Formal Model for Compliance Verification of Service Compositions (, and ), In IEEE Transactions on Services Computing, volume 11, . [doi]
  7. Exploring the emotional dynamics of subclinically depressed individuals with and without anhedonia: An experience sampling study (, , , , and ), In Journal of Affective Disorders, volume 228, . [url] [doi]
  8. Topological Considerations on the Use of Batteries to Enhance the Reliability of HV-Grids (, , and ), In Journal of Energy Storage, volume 18, . [url] [doi]
  9. Multi-User Low Intrusive Occupancy Detection (, , and ), In Sensors, MDPI, volume 18, . [url] [doi]
  10. Personalized Physical Activity Coaching: A Machine Learning Approach (, , , and ), In Sensors, volume 18, . [url] [doi]
  11. Topological Considerations on Decentralised Energy Exchange in the Smart Grid ( and ), In Procedia Computer Science, volume 130, . [url] [doi]
  12. Metrics for Sustainable Data Centers ( and ), In IEEE Transactions on Sustainable Computing, .
  13. Planning meets activity recognition: Service coordination for intelligent buildings (, , , , and ), In Pervasive and Mobile Computing, Elsevier, volume 38, . [url]
  14. Sizing and Siting of Large-Scale Batteries in Transmission Grids to Optimize the Use of Renewables (, , , and ), In IEEE Journal on Emerging and Selected Topics in Circuits and Systems, volume 7, . [url]
  15. Indoor self-localization via bluetooth low energy beacons (, , and ), In IDRBT JOURNAL OF IJBT, volume 1, .
  16. Automated Generation Algorithm for Synthetic Medium Voltage Radial Distribution Systems (, , and ), In IEEE Journal on Emerging and Selected Topics in Circuits and Systems, volume 7, . [url]
  17. Automated planning for ubiquitous computing ( and ), In ACM Comput. Surv., ACM, volume 49, . [url]
  18. Temporal dynamics of health and well-being: A crowdsourcing approach to momentary assessments and automated generation of personalized feedback (, , , , , , and ), In Psychosomatic Medicine, .
  19. Let's get Physiqual - an intuitive and generic method to combine ssensor technology with ecological momentary assessments (, , , , , and ), In Journal of Biomedical Informatics, volume 63, . [url]
  20. A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers ( and ), In Energies, MDPI, volume 9, . [url]
  21. Domain-Independent Planning for Services in Uncertain and Dynamic Environments ( and ), In Artificial Intelligence, Elsevier, volume 236, . [url]
  22. From the grid to the smart grid, topologically ( and ), In Physica A, Elsevier, volume 449, . [url]
  23. Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms (, , , and ), In Applied Soft Computing, Elsevier, volume 40, . [url]
  24. HowNutsAreTheDutch (HoeGekIsNL): A crowdsourcing study of mental symptoms and strengths (, , , , , , , , , , , and ), In International Journal of Methods in Psychiatric Research, . [url]
  25. Characterizing topological bottlenecks for data delivery in CTP using simulation-based stress testing with natural selection (, and ), In Ad Hoc Networks, Elsevier, volume 30, . [url]
  26. HTN planning: Overview, comparison, and beyond ( and ), In Artificial Intelligence, Elsevier, volume 222, . [url]
  27. Automating vector autoregression on electronic patient diary data (, , , , and ), In IEEE Journal of Biomedical and Health Informatics, IEEE, volume 20, . [url]
  28. A complex network approach for identifying vulnerabilities of the medium and low voltage grid ( and ), In International Journal of Critical Infrastructures, Inderscience, volume 11, . [pdf]
  29. Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach (, , and ), In ACM Transactions on the Web, ACM, volume 9, . [url]
  30. Dynamic Constraint Satisfaction with Space Reduction in Smart Environments ( and ), In International Journal on Artificial Intelligence Tools, volume 23, . [url]
  31. Generating Realistic Dynamic Prices and Services for the Smart Grid ( and ), In IEEE Systems Journal, volume 9, .
  32. Automated Runtime Repair of Business Processes (, , , and ), In Inf. Syst., volume 39, . [url]
  33. Power Grid Complex Network Evolutions for the Smart Grid ( and ), In Physica A: Statistical Mechanics and its Applications, volume 396, . [url]
  34. E-Mental Health Self-Management for Psychotic Disorders: State of the Art and Future Perspectives (, , , and ), In Psychiatric Services, volume 65, . [url]
  35. The Impact of Topology on Energy Consumption for Collection Tree Protocols: An Experimental Assessment through Evolutionary Computation (, , and ), In Applied Soft Computing, volume 16, . [url] [doi]
  36. Smart Education Modes and E-Learning Market: The Needs of the Next Generation (), In Smart Learning Environments Journal, The State of the Art in Smart Learning Issue, Springer, .
  37. Leefplezier: Personalized Well-being (, , and ), In IEEE Intelligent Informatics Bulletin, volume 15, . [pdf]
  38. Generating personalized advice for schizophrenia patients (, , , and ), In Artificial Intelligence in Medicine, volume 58, . [url]
  39. The Management of Elearning at University of KKU, ABHA ( and ), In International Journal of Emerging Technologies in Learning, volume 8, .
  40. E-health self-management in psychotic disorders: state of the art and future perspectives (, , , and ), In Psychiatric Services, volume 65, . [pdf]
  41. Ontology-based Office Activity Recognition with Applications for Energy Savings (, and ), In Journal of Ambient Intelligence and Humanized Computing, . [url]
  42. Energy Intelligent Buildings based on User Activity: A Survey ( and ), In Energy and Buildings, volume 56, . [url]
  43. The Power Grid as a Complex Network: a Survey ( and ), In Physica A: Statistical Mechanics and its Applications, volume 392, . [url]
  44. Coordinating the Web of Services for a Smart Home ( and ), In ACM Transactions on the Web, volume 7, . [url]
  45. An Interplatform Service-Oriented Middleware for the Smart Home ( and ), In International Journal of Smart Home, volume 7, . [pdf]
  46. Aware homes (), In Awareness Magazine: Self-awareness in autonomic systems, . [pdf]
  47. What IS can do for Environmental Sustainability (), In Communications of the Association for Information Systems, volume 30, . [pdf]
  48. Service-Orientation and the Smart Grid: State and Trend (), In Service Oriented Computing and Applications, volume 6, . [url]
  49. Reduced Context Consistency Diagrams for Resolving Inconsistent Data ( and ), In ICST Transactions on Ubiquitous Environments, volume 12, . [url]
  50. Optimizing Energy Costs for Offices Connected to the Smart Grid ( and ), In IEEE Transactions on Smart Grid, volume 3, . [url]
  51. Policy-Based Scheduling of Cloud Services ( and ), In Scalable Computing: Practice and Experience, volume 13, . [pdf]
  52. Logic for physical space ( and ), In Synthese, volume 18, . [pdf]
  53. Usability Evaluation of a Web-Based Support System for People With a Schizophrenia Diagnosis (), In Journal of Medical Internet Research, volume 14, . [url]
  54. Forward ( and ), In Journal of System Assurance Engineering and Management, volume 3, .
  55. Towards Decentralized Trading: A Topological Investigation of the Medium and Low Voltage Grids ( and ), In IEEE Transactions on Smart Grid, volume 2, . [url]
  56. Transaction management in Service-Oriented Systems: requirements and a proposal (), In IEEE Transactions on Service Computing, volume 2, . [pdf]
  57. Deriving Business Processes with Service Level Agreements from Early Requirements (), In Journal of Systems and Software, volume 84, . [pdf]
  58. Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems (, , and ), In Science of Computer Programming, volume 76, . [pdf]
  59. An Online Portal on Outcomes for Dutch Service Users (, and ), In Psychiatric Services, volume 62, . [pdf]
  60. Modelling and Managing the Variability of Web Service-based Systems (), In Journal of Systems and Software, volume 83, . [pdf]
  61. Channel-based Coordination via Constraint Satisfaction (, , and ), In Science of Computer Programming, . [pdf]
  62. Are our homes ready for services? A domotic infrastructure based on the Web service stack ( and ), In Pervasive and Mobile Computing, volume 4, . [url]