Visiting address

DS - BI
University of Groningen
Nijenborgh 9
9747 AG Groningen
The Netherlands

Quick links

Follow us

TODO

Alexander Lazovik

Professor

Research

  • Service-oriented and distributed computing
  • Automatic composition using AI planning and constraint propagation algorithms
Alexander Lazovik

Publications

  1. Truong, H., Tello, A., Lazovik, A., & Degeler, V. (2025). DiTEC-WDN: A Large-Scale Dataset of Hydraulic Scenarios across Multiple Water Distribution Networks. Scientific Data, 12. https://doi.org/10.1038/s41597-025-06026-0
  2. Medema, M., & Lazovik, A. (2025). A safeness condition for minimal separators based on vertex connectivity. Discrete Mathematics, 348(9). https://doi.org/10.1016/j.disc.2025.114524
  3. Ahmed, S., Dustegor, D., Lazovik, A., & Wörtche, H. J. (2025, August 22). Windowed Multivariate LSTM Autoencoder for Leak Detection in Water Distribution Networks. The 21st Computing and Control in the Water Industry Conference (CCWI 2025). https://doi.org/10.15131/shef.data.29921204.v1
  4. Boughzala, B., Koldehofe, B., & Lazovik, A. (2025). P4mCast: Accelerating and Scaling Fault-Tolerant Atomic Multicast in Multi-Cloud Environment. Proceeding of the 45th IEEE International Conference on Distributed Computing Systems (ICDCS 2025), 1–6. https://hdl.handle.net/11370/fb229f6c-4e0e-4139-b7c0-a6b21673028e
  5. Ahmed, S., Düştegör, D., Lazovik, A., & Wörtche, H. (2025). Windowed Multivariate LSTM Autoencoder for Leak Detection in Water Distribution Networks. The University of Sheffield. https://doi.org/10.15131/SHEF.DATA.29921204.V1
  6. Hadadian Nejad Yousefi, M., Degeler, V., & Lazovik, A. (2024). Self-Adaptive Service Selection for Machine Learning Continuous Delivery. IEEE International Conference on Web Services, 1048–1056. https://doi.org/10.1109/ICWS62655.2024.00123
  7. Medema, M., Breeman, L., & Lazovik, A. (2024). Limiting the memory consumption of caching for detecting subproblem dominance in constraint problems. Constraints, 29, 152–191. https://doi.org/10.1007/s10601-024-09374-7
  8. Tello, A., Truong, H., Lazovik, A., & Degeler, V. (2024, September 4). Large-Scale Multipurpose Benchmark Datasets For Assessing Data-Driven Deep Learning Approaches For Water Distribution Networks. Engineering Proceedings. https://doi.org/10.3390/engproc2024069050
  9. Truong, H., Tello, A., Lazovik, A., & Degeler, V. (2024). Graph Neural Networks for Pressure Estimation in Water Distribution Systems. Water Resources Research, 60(7). https://doi.org/10.1029/2023WR036741
  10. Tello, A., Degeler, V., & Lazovik, A. (2024). Too Good To Be True: accuracy overestimation in (re)current practices for Human Activity Recognition. 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and Other Affiliated Events, PerCom Workshops 2024, 511–517. https://doi.org/10.1109/PerComWorkshops59983.2024.10503465
  11. Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. van het, Tello, A., & Truong, H. (2024). DiTEC: Digital Twin for Evolutionary Changes in Water Distribution Networks. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation (pp. 62–82). Springer International Publishing, Cham, Switzerland. https://doi.org/10.1007/978-3-031-75390-9_5
  12. Y., M. H. N., Degeler, V., & Lazovik, A. (2024). Self-adaptive service selection for machine learning continuous delivery. 2024 IEEE International Conference on Web Services (ICWS).
  13. Yousefi, M. H. N., Degeler, V., & Lazovik, A. (2023). Empowering Machine Learning Development with Service-Oriented Computing Principles. In M. Aiello, J. Barzen, S. Dustdar, & F. Leymann (Eds.), Service-Oriented Computing (pp. 24–44). Springer. https://doi.org/10.1007/978-3-031-45728-9_2
  14. Truong, H., Tello, A., Degeler, V., Lazovik, A., & Koellermeier, J. (2023, July 7). Distorted or high-fidelity dataset for data augmentation in Graph Neural Networks?: Improving pressure estimation in Water Distribution Systems. https://2023.ecmlpkdd.org/submissions/phd-forum/
  15. Y., M. H. N., Degeler, V., & Lazovik, A. (2023). Empowering Machine Learning Development with Service-Oriented Computing Principles. Symposium and Summer School on Service-Oriented Computing, 24–44.
  16. Medema, M., & Lazovik, A. (2022). Correlating the Community Structure of Constraint Satisfaction Problems with Search Time. International Journal on Artificial Intelligence Tools, 31(7). https://doi.org/10.1142/S0218213022600041
  17. Pratama, A. R., Blaauw, F. J., Lazovik, A., & Aiello, M. (2021). Office Low-Intrusive Occupancy Detection Based on Power Consumption. IEEE Access, 9, 141167–141180. https://doi.org/10.1109/ACCESS.2021.3119997
  18. Li, X., Li, L., Lazovik, A., Wang, W., & Wang, X. (2021). 基于改进双流卷积递归神经网络的RGB-D物体识别方法. Guangdian Gongcheng/Opto-Electronic Engineering, 48(2). https://doi.org/10.12086/oee.2021.200069
  19. Langley, D., Doorn, van, J., Ng, I. C. I., Stieglitz, S., Lazovik, A., & Boonstra, A. (2021). The Internet of Everything: Smart things and their impact on business models. Journal of Business Research, 122, 853–863. https://doi.org/10.1016/j.jbusres.2019.12.035
  20. Medema, M., Kaldeli, E., & Lazovik, A. (2021). Automated Service Composition Using AI Planning and Beyond. In M. Aiello, A. Bouguettaya, D. A. Tamburri, & W.-J. van den Heuvel (Eds.), Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future: Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement (pp. 16–32). Springer. https://doi.org/10.1007/978-3-030-73203-5_2
  21. Albers, T., Lazovik, E., Hadadian Nejad Yousefi, M., & Lazovik, A. (2021). Adaptive On-the-Fly Changes in Distributed Processing Pipelines. Frontiers in Big Data, 4. https://doi.org/10.3389/fdata.2021.666174
  22. Li, X., Zhang, Z., Wu, D., Medema, M., & Lazovik, A. (2021). A multi-robot allocation model for multi-object based on Global Optimal Evaluation of Revenue. International Journal of Advanced Robotic Systems, 18(6). https://doi.org/10.1177/17298814211060650
  23. Albers, T., Lazovik, E., Yousefi, M. H. N., & Lazovik, A. (2021). Adaptive On-the-fly Changes in Distributed Processing Pipelines. Frontiers in Big Data, 79.
  24. Albers, T., Lazovik, E., Y., M. H. N., & Lazovik, A. (2021). Adaptive on-the-fly changes in distributed processing pipelines. Frontiers in Big Data, 4, 666174.
  25. Medema, M., & Lazovik, A. (2020). The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time. 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), 153–160. https://doi.org/10.1109/ICTAI50040.2020.00034
  26. Langley, D. J., van Doorn, J., Ng, I. C. L., Stieglitz, S., Lazovik, A., & Boonstra, A. (2020). The Internet of Everything: Smart things and their impact on business models. Journal of Business Research. https://doi.org/https://doi.org/10.1016/j.jbusres.2019.12.035
  27. Rizky Pratama, A., Lazovik, A., & Aiello, M. (2019). Office Multi-Occupancy Detection using BLE Beacons and Power Meters. 2019 IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON), 0440–0448. https://doi.org/10.1109/UEMCON47517.2019.8993008
  28. Blaauw, F., Overbeek, R., Albers, T., Vlek, J., Maessen, M., Gooijer, J., Lazovik, E., Arbab, F., & Lazovik, A. (2019, March 31). ECiDA: Evolutionary Changes in Data Analysis. https://doi.org/10.13140/RG.2.2.33143.47524
  29. Blaauw, F. J., Overbeek, R., Albers, T., Vlek, J., Maessen, M., Gooijer, J., Lazovik, E., Arbab, F., & Lazovik, A. (2019, March). ECiDA: Evolutionary Changes in Data Analysis. ICT.Open, Hilversum, The Netherlands. https://www.nwo.nl/actueel/evenementen/ict+open
  30. Andrikopoulos, V., Lazovik, A., Kollenstart, M., Langius, E., & Harmsma, E. (2018). Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing. Big Data and Cognitive Computing, 2(3). https://doi.org/10.3390/bdcc2030015
  31. Pratama, A. R., Simanjuntak, F. J., Lazovik, A., & Aiello, M. ( 2018 , 2018 ). Low-power Appliance Recognition using Recurrent Neural Networks . Applications of Intelligent Systems .
  32. Pratama, A. R., Widyawan, Lazovik, A., & Aiello, M. (2017). Power-Based Device Recognition for Occupancy Detection. Service-Oriented Computing - ICSOC 2017 Workshops, in press.
  33. Putra, G. D., Pratama, A. R., Lazovik, A., & Aiello, M. ( 2017 ). Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building . IEEE Annual Computing and Communication Workshop and Conference , 1–6. https://doi.org/10.1109/CCWC.2017.7868425
  34. Kaldeli, E., Lazovik, A., & Aiello, M. (2016). Domain-independent planning for services in uncertain and dynamic environments. Artificial Intelligence, 236(7), 30–64. https://doi.org/10.1016/j.artint.2016.03.002
  35. Setz, B., Nizamic, F., Lazovik, A., & Aiello, M. (2016). Power Management of Personal Computers based on User Behaviour. International Conference on Smart Cities and Green ICT Systems, 409–416.
  36. Kaldeli, E., Lazovik, A., & Aiello, M. (2016). Domain-Independent Planning for Services in Uncertain and Dynamic Environments. Artificial Intelligence, 236(7), 30–64. http://www.sciencedirect.com/science/article/pii/S000437021630025X
  37. van Beest, N. R. T. P., Kaldeli, E., Bulanov, R., Wortmann, J. C., & Lazovik, A. (2014). Automated runtime repair of business processes. Information Systems, 39, 45–79. https://doi.org/10.1016/j.is.2013.07.003
  38. Degeler, V., & Lazovik, A. (2014). Dynamic Constraint Satisfaction with Space Reduction in Smart Environments. International Journal on Artificial Intelligence Tools, 23(06). https://doi.org/10.1142/S0218213014600276
  39. Nizamic, F., Nguyen, T. A., Lazovik, A., & Aiello, M. (2014). GreenMind-An Architecture and Realization for Energy Smart Buildings. The 2nd International Conference on ICT for Sustainability (ICT4S 2014).
  40. Georgievski, I., & Lazovik, A. (2014). Utility-Based HTN Planning. 21st European Conference on Artificial Intelligence, 1013–1014.
  41. Degeler, V., Lazovik, A., Leotta, F., & Mecella, M. (2014). Itemset-based mining of constraints for enacting smart environments. Symposium on Activity and Context Modeling and Recognition, 41–46.
  42. Harrer, S., Nizamic, F., Wirtz, G., & Lazovik, A. (2014). Towards a Robustness Evaluation Framework for BPEL Engines. International Conference on Service Oriented Computing & Applications, 7.
  43. van Beest, N. R. T. P., Kaldeli, E., Bulanov, P., Wortmann, J. C., & Lazovik, A. (2014). Automated Runtime Repair of Business Processes. Inf. Syst., 39, 45–79. http://dx.doi.org/10.1016/j.is.2013.07.003
  44. Nizamic, F., Nguyen, T. A., Lazovik, A., & Aiello, M. (2014). GreenMind - An Architecture and Realization for Energy Smart Buildings. International Conference on ICT for Sustainability, 20–29. http://dx.doi.org/10.2991/ict4s-14.2014.3
  45. Degeler, V., Lazovik, A., Leotta, F., & Mecella, M. (2014). Itemset-based Mining of Constraints for Enacting Smart Environments. Symposium on Activity and Context Modeling and Recognition, 41–46. http://dx.doi.org/10.1109/PerComW.2014.6815162
  46. Beest, N. R. T. P. V., Bucur, D., Wortmann, J. C., & Lazovik, A. (2013). An Automated Analysis Of Process Interference Verified With LTL Checking (Technical Report Nos. 2013-08-07; Issues 2013-08-07). University of Groningen. http://www.cs.rug.nl/ doina/TR/TR-2013-08-07.pdf
  47. Kaldeli, E., Warriach, E. U., Lazovik, A., & Aiello, M. (2013). Coordinating the Web of Services for a Smart Home. Acm Transactions on the Web, 7(2). https://doi.org/10.1145/2460383.2460389
  48. Nguyen, T. A., Degeler, V., Contarino, R., Lazovik, A., Bucur, D., & Aiello, M. (2013). Towards Context Consistency in a Rule-Based Activity Recognition Architecture. Ubiquitous Intelligence and Computing, IEEE and International Conference on and 10th International Conference on Autonomic and Trusted Computing, 625–630. https://doi.org/10.1109/UIC-ATC.2013.97
  49. Warriach, E. U., Kaldeli, E., Lazovik, A., & Aiello, M. (2013). An Interplatform Service-Oriented Middleware for the Smart Home. International Journal of Smart Home, 7(1).
  50. van Beest, N., Bucur, D., Wortmann, J., & Lazovik, A. (2013). An Automated Analysis Of Process Interference Verified With LTL Checking. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  51. Degeler, V., & Lazovik, A. (2013). Architecture pattern for context-aware smart environments. In P. H. D. Riboni B. Guo (Ed.), Creating personal, social and urban awareness through pervasive computing. IGI Global.
  52. Degeler, V., Gonzalez, L. I. L., Leva, M., Shrubsole, P., Bonomi, S., Amft, O., & Lazovik, A. (2013). Service-oriented architecture for smart environments. IEEE International Conference on Service Oriented Computing and Applications, 99–104.
  53. Degeler, V., & Lazovik, A. (2013). Dynamic constraint reasoning in smart environments. IEEE International Conference on Tools with Artificial Intelligence, 167–174.
  54. Degeler, V., & Lazovik, A. (2013). Architecture pattern for context-aware smart environments. In D. Riboni, B. Guo, & P. Hu (Eds.), Creating Personal, Social and Urban Awareness through Pervasive Computing. IGI Global. http://vdegeler.com/files/13patternarch.pdf
  55. Degeler, V., Gonzalez, L. I. L., Leva, M., Shrubsole, P., Bonomi, S., Amft, O., & Lazovik, A. (2013). Service-Oriented Architecture for Smart Environments. IEEE International Conference on Service Oriented Computing and Applications, 99–104. http://vdegeler.com/files/13gbsoca.pdf
  56. Degeler, V., & Lazovik, A. (2013). Dynamic Constraint Reasoning in Smart Environments. IEEE International Conference on Tools with Artificial Intelligence. http://vdegeler.com/files/13rmedcsp.pdf
  57. Bulanov, P., Lazovik, A., & Aiello, M. (2012). Business Process Customization using Process Merging Techniques. In International Conference on Service-Oriented Computing and Applications (pp. 1–4). IEEE (The Institute of Electrical and Electronics Engineers).
  58. Degeler, V., & Lazovik, A. (2012). Cost-efficient context-aware rule maintenance. International Conference on Pervasive Computing and Communications Workshops, 608–612.
  59. van Beest, N., Kaldeli, E., Bulanov, P., Wortmann, J. C., & Lazovik, A. (2012). Automatic Detection of Business Process Interference. International Workshop on Knowledge-Intensive Business Processes.
  60. Georgievski, I., Degeler, V., Pagani, G. A., Nguyen, T. A., Lazovik, A., & Aiello, M. (2012). Optimizing Energy Costs for Offices Connected to the Smart Grid. IEEE Transactions on Smart Grid, 3(4), 2273–2285. https://doi.org/10.1109/TSG.2012.2218666
  61. Aiello, M., Aloise, F., Baldoni, R., Cincotti, F., Guger, C., Lazovik, A., Mecella, M., Pucci, P., Rinsma, J., Santucci, G., & Taglieri, M. (2012). Smart Homes to Improve the Quality of Life for All. Annual International IEEE Engineering in Medicine and Biology Conference, 1777–1780.
  62. Nizamic, F., Degeler, V., Groenboom, R., & Lazovik, A. (2012). Policy-Based Scheduling of Cloud Services. Scalable Computing: Practice and Experience, 13(3), 187–199.
  63. Caruso, M., Ciccio, C. D., Iacomussi, E., Kaldeli, E., Lazovik, A., & Mecella, M. (2012). Service Ecologies for Home/Building Automation. International IFAC Symposium on Robot Control, 467–472.
  64. Degeler, V., & Lazovik, A. (2012). Reduced context consistency diagrams for resolving inconsistent data. ICST Transactions on Ubiquitous Environments, 12(10-12).
  65. Degeler, V., & Lazovik, A. (2012). Reduced Context Consistency Diagrams for Resolving Inconsistent Data. ICST Transactions on Ubiquitous Environments, 12(10-12). http://eudl.eu/pdf/10.4108/trans.ubienv.2012.10-12.e2
  66. Degeler, V., & Lazovik, A. (2012). Cost-efficient Context-aware Rule Maintenance. Workshop on Context Modeling and Reasoning, 608–612. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6197587&tag=1
  67. Georgievski, I., Degeler, V., Pagani, G. A., Nguyen, T. A., Lazovik, A., & Aiello, M. (2011). Optimizing Offices for the Smart Grid (Technical Report No. JBI 2011-12-01; Issue JBI 2011-12-01). University of Groningen. http://www.cs.rug.nl/ georgievski/pubs/opthect.pdf
  68. Clarke, D., Proenca, J., Lazovik, A., & Arbab, F. (2011). Channel-based coordination via constraint satisfaction. Science of Computer Programming, 76(8), 681–710. https://doi.org/10.1016/j.scico.2010.05.004
  69. Krause, C., Maraikar, Z., Lazovik, A., & Arbab, F. (2011). Modeling dynamic reconfigurations in Reo using high-level replacement systems. Science of Computer Programming, 76(1), 23–36. https://doi.org/10.1016/j.scico.2009.10.006
  70. Kaldeli, E., Lazovik, A., & Aiello, M. (2011). Continual Planning with Sensing for Web Service Composition. AAAI Conference on Artificial Intelligence, 1198–1203.
  71. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2011). Heterogeneous Device Discovery Framework for the Smart Homes. IEEE GCC Conference Exhibition, 637–640.
  72. Aiello, M., Aloise, F., Baldoni, R., Cincotti, F., Guger, C., Lazovik, A., Mecella, M., Pucci, P., Rinsma, J., Santucci, G., & Taglieri, M. (2011). Smart Homes to Improve the Quality of Life for All. 2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 1777–1780.
  73. Degeler, V., & Lazovik, A. (2011). Interpretation of Inconsistencies via Context Consistency Diagrams. 2011 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM 2011), 20–27.
  74. Nizamic, F., Groenboom, R., & Lazovik, A. (2011). Testing Highly Distributed Service-oriented Systems using Virtual Environments. Proceedings of the 17th Dutch Testing Day: Testing Evolvability.
  75. F. Nizamic, R. G., & Lazovik, A. (2011). Testing for Highly Distributed Service-oriented Systems using Virtual Environments. Dutch Testing Day.
  76. Krause, C., Maraikar, Z., Lazovik, A., & Arbab, F. (2011). Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems. Science of Computer Programming, 76(1), 23–36. http://www.cs.rug.nl/ lazovik/papers/2011/reo-reconf.pdf
  77. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2011). Heterogeneous Device Discovery Framework For the Smart Homes. IEEE GCC Conference & Exhibition, 637–640. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5752621
  78. Bulanov, P., Lazovik, A., & Aiello, M. (2011). Business Process Customization using Process Merging Techniques. International Conference on Service-Oriented Computing and Applications, 1–4. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6166255
  79. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2010). A Tool for Integrating Pervasive Services and Simulating Their Composition. In P. P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), International Conference on Service Oriented Computing (pp. 726–727). Springer.
  80. Kaldeli, E., Warriach, E. U., Bresser, J., Lazovik, A., & Aiello, M. (2010). Interoperation, Composition and Simulation of Services at Home. In P. P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), SERVICE-ORIENTED COMPUTING - ICSOC 2010, PROCEEDINGS (pp. 167–181). Springer.
  81. van Beest, N. R. T. P., Bulanov, P., Wortmann, H., & Lazovik, A. (2010). Resolving Business Process Interference via Dynamic Reconfiguration. In P. P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), SERVICE-ORIENTED COMPUTING - ICSOC 2010, PROCEEDINGS (pp. 47–60). Springer.
  82. Degeler, V., Georgievski, I., Lazovik, A., & Aiello, M. (2010). Concept mapping for faster QoS-Aware Web Service Composition. Service-Oriented Computing and Applications (SOCA), 2010 IEEE International Conference On, 1–4.
  83. Noordhuis, P., Heijkoop, M., & Lazovik, A. (2010). Mining Twitter in the Cloud: A Case Study. IEEE International Conference on Cloud Computing, 107–114.
  84. Degeler, V., Georgievski, I., Lazovik, A., & Aiello, M. (2010). Concept Mapping for Faster QoS-AwareWeb Service Composition. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  85. Clarke, D., Proenca, J., Lazovik, A., & Arbab, F. (2010). Channel-based Coordination via Constraint Satisfaction. Science of Computer Programming. https://lirias.kuleuven.be/bitstream/123456789/288820/1/2nd-revision-Channel-based+Coordination+via+Constraint+Satisfaction.pdf
  86. Warriach, E. U., Kaldeli, E., Bresser, J., Lazovik, A., & Aiello, M. (2010). A tool for integrating pervasive services and simulating their composition. International Conference on Service Oriented Computing, Demo Session, 726–727. http://iwi.eldoc.ub.rug.nl/FILES/root/2010/LNCSWarriach/2010LNCSWarriach.pdf
  87. Kaldeli, E., Lazovik, A., & Aiello, M. (2009). Extended Goals for Composing Services. International Conference on Automated Planning and Scheduling, 362–365.
  88. Lazovik, A., Avgeriou, P., & Wortmann, J. (2009). Workshop for e-Government via Software Services (WeGovS2 2009). 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, 252–253.
  89. Aiello, M., Khoury, E. el, Lazovik, A., & Ratelband, P. (2009). Optimal QoS-Aware Web Service Composition. Joint IEEE Conference on E-Commerce Technology and IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, 491–494.
  90. Baldoni, R., Ciccio, C. D., Mecella, M., Patrizi, F., Querzoni, L., Santucci, G., Dustdar, S., Li, F., Truong, H.-L., Albornos, L., Milagro, F., Antolin Rafael, P., Ayani, R., Rasch, K., Garcia Lozano, M., Aiello, M., Lazovik, A., Denaro, A., Lasala, G., … Aloise, F. (2009). An Embedded Middleware Platform for Pervasive and Immersive Environments for-All. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  91. Lazovik, E., den Dulk, P., Groote, M. de, Lazovik, A., & Aiello, M. (2009). Services Inside the Smart Home: A Simulation and Visualization Tool. In L. Baresi, C. H. Chi, & J. Suzuki (Eds.), Service-Oriented Computing - ICSOC 2009, Proceedings (pp. 651–652). Springer. https://doi.org/10.1007/978-3-642-10383-4_53
  92. Lazovik, E., Lazovik, A., Kaldeli, E., & Aiello, M. (2009). Planning in a Smart Home: Visualization and Simulation. International Conference on Automated Planning and Scheduling, 13–16.
  93. Lazovik, E., den Dulk, A. C. T., de Groote, M., Lazovik, A., & Aiello, M. (2009). Services inside the Smart Home: A Simulation and Visualization tool. International Conference on Service Oriented Computing. http://www.cs.rug.nl/ aiellom/publications/icsoc09.pdf
  94. Lazovik, A., Aiello, M., & Papazoglou, M. (2006). Planning and monitoring the execution of web service requests. International Journal on Digital Libraries, 6(3), 235–246.
  95. Lazovik, A., Aiello, M., & Gennari, R. (2006). Choreographies: using Constraints to Satisfy Service Requests. In Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006). IEEE (The Institute of Electrical and Electronics Engineers).
  96. Aiello, M., & Lazovik, A. (2006). Monitoring Assertion-Based Business Processes. International Journal of Cooperative Information Systems, 15(3), 359–389.
  97. Lazovik, A., Aiello, M., & Gennari, R. (2005). Encoding Requests to Web Service Compositions as Constraints. In P. van Beek (Ed.), CP 2005, LNCS 3709 (pp. 782–786). Springer.
  98. Lazovik, A., Aiello, M., & Gennari, R. (2005). Encoding Requests to Web Service Compositions as Constraints. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  99. Lazovik, A., Aiello, M., & Papazoglou, M. (2004). Associating Assertions with Business Processes and Monitoring their Execution. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  100. Lazovik, A., Aiello, M., & Papazoglou, M. (2003). Planning and monitoring the execution of web service requests. In EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.
  101. Lazovik, A., Aiello, M., & Papazoglou, M. (2003). Planning and monitoring the execution of web service requests. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.