Distributed Systems

Alexander Lazovik

  1. Automated Service Composition Using AI Planning and Beyond (), Chapter in (M. Aiello, A. Bouguettaya, D. A. Tamburri, W. J. van den Heuvel, eds.), Springer International Publishing, .

    BibTeX



    urldoi
  2. Adaptive On-the-fly Changes in Distributed Processing Pipelines (, , and ), In Frontiers in Big Data, Frontiers, .

    BibTeX



  3. The Internet of Everything: Smart things and their impact on business models (, , , , and ), In Journal of Business Research, .

    BibTeX



    urldoi
  4. The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time ( and ), In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), volume , .

    BibTeX



    doi
  5. Office Multi-Occupancy Detection using BLE Beacons and Power Meters (, and ), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, .

    BibTeX



  6. ECiDA: Evolutionary Changes in Data Analysis (, , , , , , , and ), In ICT.Open, Hilversum, The Netherlands, .

    BibTeX



    url
  7. Multi-User Low Intrusive Occupancy Detection (, , and ), In Sensors, MDPI, volume 18, .

    BibTeX



    urldoi
  8. Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing (, , , and ), In Big Data and Cognitive Computing, volume 2, .

    BibTeX



    doi
  9. Low-power Appliance Recognition using Recurrent Neural Networks (, , and ), In Applications of Intelligent Systems, .

    BibTeX



  10. Indoor self-localization via bluetooth low energy beacons (, , and ), In IDRBT JOURNAL OF IJBT, volume 1, .

    BibTeX



  11. Planning meets activity recognition: Service coordination for intelligent buildings (, , , , and ), In Pervasive and Mobile Computing, Elsevier, volume 38, .

    BibTeX



    url
  12. Runtime Modifications of Spark Data Processing Pipelines (, , , and ), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, .

    BibTeX



    url
  13. Cloud Ready Applications Composed via HTN Planning (, , and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



  14. Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (, , and ), In IEEE Annual Computing and Communication Workshop and Conference, .

    BibTeX



    url
  15. Power-Based Device Recognition for Occupancy Detection (, , and ), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, .

    BibTeX



    doi
  16. Domain-Independent Planning for Services in Uncertain and Dynamic Environments ( and ), In Artificial Intelligence, Elsevier, volume 236, .

    BibTeX



    url
  17. Power Management of Personal Computers based on User Behaviour (, , and ), In International Conference on Smart Cities and Green ICT Systems, .

    BibTeX



    url
  18. Automated Runtime Repair of Business Processes (, , , and ), In Inf. Syst., volume 39, .

    BibTeX



    url
  19. Dynamic Constraint Satisfaction with Space Reduction in Smart Environments ( and ), In International Journal on Artificial Intelligence Tools, volume 23, .

    BibTeX



    url
  20. GreenMind - An Architecture and Realization for Energy Smart Buildings (, , and ), In International Conference on ICT for Sustainability, .

    BibTeX



    url
  21. Utility-Based HTN Planning ( and ), In European Conference on Artificial Intelligence, .

    BibTeX



    url
  22. Towards a Robustness Evaluation Framework for BPEL Engines (, , and ), In International Conference on Service Oriented Computing & Applications, .

    BibTeX



    url
  23. Itemset-based Mining of Constraints for Enacting Smart Environments (, , and ), In Symposium on Activity and Context Modeling and Recognition, .

    BibTeX



    url
  24. Coordinating the Web of Services for a Smart Home ( and ), In ACM Transactions on the Web, volume 7, .

    BibTeX



    url
  25. An Interplatform Service-Oriented Middleware for the Smart Home ( and ), In International Journal of Smart Home, volume 7, .

    BibTeX



    url
  26. Architecture pattern for context-aware smart environments ( and ), Chapter in Creating Personal, Social and Urban Awareness through Pervasive Computing (D. Riboni, B. Guo, P. Hu, ed.), IGI Global, .

    BibTeX



    url
  27. Towards Context Consistency in a Rule-Based Activity Recognition Architecture ( and ), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, .

    BibTeX



    url
  28. Dynamic Constraint Reasoning in Smart Environments ( and ), In IEEE International Conference on Tools with Artificial Intelligence, .

    BibTeX



    url
  29. Service-Oriented Architecture for Smart Environments ( and ), In IEEE International Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  30. An Automated Analysis Of Process Interference Verified With LTL Checking ( and ), Technical report 2013-08-07, University of Groningen, .

    BibTeX



    url
  31. Policy-Based Scheduling of Cloud Services ( and ), In Scalable Computing: Practice and Experience, volume 13, .

    BibTeX



    url
  32. Optimizing Energy Costs for Offices Connected to the Smart Grid ( and ), In IEEE Transactions on Smart Grid, volume 3, .

    BibTeX



    url
  33. Reduced Context Consistency Diagrams for Resolving Inconsistent Data ( and ), In ICST Transactions on Ubiquitous Environments, volume 12, .

    BibTeX



    url
  34. Service Ecologies for Home/Building Automation ( and ), In 10th Int. IFAC Symposium on Robot Control, .

    BibTeX



  35. Automatic Detection of Business Process Interference ( and ), In International Workshop on Knowledge-intensive Business Processes, .

    BibTeX



    url
  36. Cost-efficient Context-aware Rule Maintenance ( and ), In Workshop on Context Modeling and Reasoning, .

    BibTeX



    url
  37. Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems (, , and ), In Science of Computer Programming, volume 76, .

    BibTeX



    url
  38. Continual Planning with Sensing for Web Service Composition (), In AAAI Conference on Artificial Intelligence, .

    BibTeX



    url
  39. Heterogeneous Device Discovery Framework For the Smart Homes ( and ), In IEEE GCC Conference & Exhibition, .

    BibTeX



    url
  40. Testing for Highly Distributed Service-oriented Systems using Virtual Environments ( and ), In Postproceedings of 17th Dutch Testing Day, .

    BibTeX



    url
  41. Smart Homes to Improve the Quality of Life for All (), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, .

    BibTeX



  42. Business Process Customization using Process Merging Techniques (, and ), In International Conference on Service-Oriented Computing and Applications, .

    BibTeX



    url
  43. Interpretation of Inconsistencies via Context Consistency Diagrams ( and ), In Annual IEEE International Conference on Pervasive Computing and Communications, .

    BibTeX



    url
  44. Optimizing Offices for the Smart Grid ( and ), Technical report JBI 2011-12-01, University of Groningen, .

    BibTeX



    url
  45. Channel-based Coordination via Constraint Satisfaction (, , and ), In Science of Computer Programming, .

    BibTeX



    url
  46. Interoperation, Composition and Simulation of Services at Home (), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  47. A tool for integrating pervasive services and simulating their composition (), In International Conference on Service Oriented Computing, Demo Session, .

    BibTeX



    url
  48. Resolving Business Process Interference via Dynamic Reconfiguration (), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  49. Mining Twitter in the Cloud: A Case Study (), In IEEE 3rd International Conference on Cloud Computing, .

    BibTeX



    url
  50. Concept mapping for faster QoS-Aware Web Service Composition ( and ), In IEEE Conference on Service Oriented Computing and Applications, .

    BibTeX



    url
  51. Planning in a Smart Home: Visualization and Simulation ( and ), In International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  52. Extended Goals for Composing Services (, and ), In International Conference on Automated Planning and Scheduling, .

    BibTeX



    url
  53. Services inside the Smart Home: A Simulation and Visualization tool (, , , and ), In International Conference on Service Oriented Computing, .

    BibTeX



    url
  54. Optimal QoS-Aware Web Service Composition (, , and ), In Joint 11th IEEE Conference on E-Commerce Technology (CEC'08) and the 6th IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, .

    BibTeX



    url