Alexander Lazovik

Correlating the Community Structure of Constraint Satisfaction Problems with Search Time (M. Medema and A. Lazovik), In International Journal on Artificial Intelligence Tools, 2022.
Abstract
A constraint satisfaction problem (CSP) is, in its most general form, an NP-complete problem. One of the several classes of tractable problems that exist contains all the problems with a restricted structure of the constraint scopes. This paper studies community structure, a particular type of restricted structure underpinning a class of tractable SAT problems with potentially similar relevance to CSPs. Using the modularity, it explores the community structure of a wide variety of problems with both academic and industrial relevance. Its impact on the search times of several general solvers, as well as one that uses tree-decomposition, is also analysed to determine whether constraint solvers exploit this type of structure. Nearly all CSP instances have a strong community structure, and those belonging to the same class have comparable modularity values. For the general solvers, strong correlations between the community structure and the search times are not apparent. A more definite correlation exists between the modularity and the search times of the tree-decomposition, suggesting that it might, in part, be able to take advantage of the community structure. However, combined with the relatively strong correlation between the modularity and the tree-width, it could also indicate a similarity between these two measures.
BibTeX

@article{medema2022:ijait, title = {Correlating the Community Structure of Constraint Satisfaction Problems with Search Time}, abstract = {A constraint satisfaction problem (CSP) is, in its most general form, an NP-complete problem. One of the several classes of tractable problems that exist contains all the problems with a restricted structure of the constraint scopes. This paper studies community structure, a particular type of restricted structure underpinning a class of tractable SAT problems with potentially similar relevance to CSPs. Using the modularity, it explores the community structure of a wide variety of problems with both academic and industrial relevance. Its impact on the search times of several general solvers, as well as one that uses tree-decomposition, is also analysed to determine whether constraint solvers exploit this type of structure. Nearly all CSP instances have a strong community structure, and those belonging to the same class have comparable modularity values. For the general solvers, strong correlations between the community structure and the search times are not apparent. A more definite correlation exists between the modularity and the search times of the tree-decomposition, suggesting that it might, in part, be able to take advantage of the community structure. However, combined with the relatively strong correlation between the modularity and the tree-width, it could also indicate a similarity between these two measures.}, author = {M. Medema and A. Lazovik}, year = {2022}, month = {nov}, day = {18}, language = "English", doi = {10.1142/S0218213022600041}, url = {https://research.rug.nl/en/publications/correlating-the-community-structure-of-constraint-satisfaction-pr} volume = {31}, number = {07}, journal = {International Journal on Artificial Intelligence Tools} }
url doi
Automated Service Composition Using AI Planning and Beyond (M. Medema, E. Kaldeli and A. Lazovik), Chapter in (M. Aiello, A. Bouguettaya, D. A. Tamburri, W. J. van den Heuvel, eds.), Springer International Publishing, 2021.
BibTeX

@Inbook{medema2021:essays, author="M. Medema and E. Kaldeli and A. Lazovik", editor="M. Aiello and A. Bouguettaya and D. A. Tamburri and W. J. {van den Heuvel}", title="Automated Service Composition Using AI Planning and Beyond", bookTitle="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", year="2021", publisher="Springer International Publishing", address="Cham", pages="16--32", isbn="978-3-030-73203-5", doi="10.1007/978-3-030-73203-5_2", url="https://doi.org/10.1007/978-3-030-73203-5_2" }
url doi
Adaptive On-the-fly Changes in Distributed Processing Pipelines (T. Albers, E. Lazovik, M. Hadadian Nejad Yousefi and A. Lazovik), In Frontiers in Big Data, Frontiers, 2021.
BibTeX

@article{albers2021:adaptive, title={Adaptive On-the-fly Changes in Distributed Processing Pipelines}, author={T. Albers and E. Lazovik and M. Hadadian Nejad Yousefi and A. Lazovik}, journal={Frontiers in Big Data}, pages={79}, year={2021}, publisher={Frontiers} }
A multi-robot allocation model for multi-object based on Global Optimal Evaluation of Revenue (X. Li, Z. Zhang, D. Wu, M. Medema and A. Lazovik), In International Journal of Advanced Robotic Systems, volume 18, 2021.
Abstract
The problem of global optimal evaluation for multi-robot allocation has gained attention constantly, especially in a multi-objective environment, but most algorithms based on swarm intelligence are difficult to give a convergent result. For solving the problem, we established a Global Optimal Evaluation of Revenue method of multi-robot for multi-tasks based on the real textile combing production workshop, consumption, and different task characteristics of mobile robots. The Global Optimal Evaluation of Revenue method could traversal calculates the profit of each robot corresponding to different tasks with global traversal over a finite set, then an optimization result can be converged to the global optimal value avoiding the problem that individual optimization easy to fall into local optimal results. In the numerical simulation, for fixed set of multi-object and multi-task, we used different numbers of robots allocation operation. We then compared with other methods: Hungarian, the auction method, and the method based on game theory. The results showed that Global Optimal Evaluation of Revenue reduced the number of robots used by at least 17%, and the delay time could be reduced by at least 16.23%.
BibTeX

@article{Li2021:multi-robot, author = {X. Li and Z. Zhang and D. Wu and M. Medema and A. Lazovik}, title ={A multi-robot allocation model for multi-object based on Global Optimal Evaluation of Revenue}, journal = {International Journal of Advanced Robotic Systems}, volume = {18}, number = {6}, year = {2021}, doi = {10.1177/17298814211060650}, URL = {https://doi.org/10.1177/17298814211060650}, eprint = {https://doi.org/10.1177/17298814211060650}, abstract = { The problem of global optimal evaluation for multi-robot allocation has gained attention constantly, especially in a multi-objective environment, but most algorithms based on swarm intelligence are difficult to give a convergent result. For solving the problem, we established a Global Optimal Evaluation of Revenue method of multi-robot for multi-tasks based on the real textile combing production workshop, consumption, and different task characteristics of mobile robots. The Global Optimal Evaluation of Revenue method could traversal calculates the profit of each robot corresponding to different tasks with global traversal over a finite set, then an optimization result can be converged to the global optimal value avoiding the problem that individual optimization easy to fall into local optimal results. In the numerical simulation, for fixed set of multi-object and multi-task, we used different numbers of robots allocation operation. We then compared with other methods: Hungarian, the auction method, and the method based on game theory. The results showed that Global Optimal Evaluation of Revenue reduced the number of robots used by at least 17\%, and the delay time could be reduced by at least 16.23\%. } }
url doi
The Internet of Everything: Smart things and their impact on business models (D. J. Langley, J. van Doorn, I. C. L. Ng, S. Stieglitz, A. Lazovik and A. Boonstra), In Journal of Business Research, 2020.
BibTeX

@article{Langley2020, title = "The Internet of Everything: Smart things and their impact on business models", journal = "Journal of Business Research", year = "2020", issn = "0148-2963", doi = "https://doi.org/10.1016/j.jbusres.2019.12.035", url = "http://www.sciencedirect.com/science/article/pii/S014829631930801X", author = "D. J. Langley and J. van Doorn and I. C. L. Ng and S. Stieglitz and A. Lazovik and A. Boonstra" }
url doi
The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time (M. Medema and A. Lazovik), In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), 2020.
BibTeX

@INPROCEEDINGS{medema2020:ictai, author={M. Medema and A. Lazovik}, booktitle={2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)}, title={The Community Structure of Constraint Satisfaction Problems and Its Correlation with Search Time}, year={2020}, pages={153-160}, doi={10.1109/ICTAI50040.2020.00034} }
doi
ECiDA: Evolutionary Changes in Data Analysis (F. J. Blaauw, R. Overbeek, T. Albers, J. Vlek, M. Maessen, J. Gooijer, E. Lazovik, F. Arbab and A. Lazovik), In ICT.Open, Hilversum, The Netherlands, 2019.
BibTeX

@INPROCEEDINGS {Blaauw2019:ictoh, author = "F. J. Blaauw and R. Overbeek and T. Albers and J. Vlek and M. Maessen and J. Gooijer and E. Lazovik and F. Arbab and A. Lazovik", title = "ECiDA: Evolutionary Changes in Data Analysis", booktitle = "ICT.Open, Hilversum, The Netherlands", year = "2019", month = "mar", url="https://www.nwo.nl/actueel/evenementen/ict+open" }
url
Office Multi-Occupancy Detection using BLE Beacons and Power Meters (A. R. Pratama, A. Lazovik and M. Aiello), In 2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference, 2019.
BibTeX

@INPROCEEDINGS{Pratama2019:ucemcc, author={A. R. Pratama and A. Lazovik and M. Aiello}, booktitle={2019 IEEE 10th Annual Ubiquitous Computing, Electronics, and Mobile Communication Conference}, title={Office Multi-Occupancy Detection using BLE Beacons and Power Meters}, year={2019}, keywords={Context aware, Occupancy detection, Power meter, Bluetooth low energy} }
Multi-User Low Intrusive Occupancy Detection (A. R. Pratama, W. Widyawan, A. Lazovik and M. Aiello), In Sensors, MDPI, volume 18, 2018.
BibTeX

@Article{pratama2018:multi, AUTHOR = {A. R. Pratama and W. Widyawan and A. Lazovik and M. Aiello}, TITLE = {Multi-User Low Intrusive Occupancy Detection}, JOURNAL = {Sensors}, publisher={MDPI}, VOLUME = {18}, YEAR = {2018}, NUMBER = {3}, ARTICLE NUMBER = {796}, URL = {http://www.mdpi.com/1424-8220/18/3/796}, ISSN = {1424-8220}, DOI = {10.3390/s18030796} }
url doi
Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing (M. Kollenstart, E. Harmsma, E. Langius, V. Andrikopoulos and A. Lazovik), In Big Data and Cognitive Computing, volume 2, 2018.
BibTeX

@article{lazovik2018:bigdata, author = {M. Kollenstart and E. Harmsma and E. Langius and V. Andrikopoulos and A. Lazovik}, year = {2018}, month = {07}, pages = {15}, title = {Adaptive Provisioning of Heterogeneous Cloud Resources for Big Data Processing}, volume = {2}, journal = {Big Data and Cognitive Computing}, doi = {10.3390/bdcc2030015} }
doi
Low-power Appliance Recognition using Recurrent Neural Networks (A. R. Pratama, F. J. Simanjuntak, A. Lazovik and M. Aiello), In Applications of Intelligent Systems, 2018.
BibTeX

@INPROCEEDINGS {pratama2018:aplrecog, TITLE = { Low-power Appliance Recognition using Recurrent Neural Networks }, AUTHOR = { A. R. Pratama and F. J. Simanjuntak and A. Lazovik and M. Aiello }, BOOKTITLE = { Applications of Intelligent Systems }, SERIES = { APPIS’18 }, YEAR = { 2018 }, NOTE = { To appear }, }
Planning meets activity recognition: Service coordination for intelligent buildings (I. Georgievski, T. A. Nguyen, F. Nizamic, B. Setz, A. Lazovik and M. Aiello), In Pervasive and Mobile Computing, Elsevier, volume 38, 2017.
BibTeX

@article{georgievski2017:pmc, author = {I. Georgievski and T. A. Nguyen and F. Nizamic and B. Setz and A. Lazovik and M. Aiello}, title = {Planning meets activity recognition: Service coordination for intelligent buildings}, journal = {Pervasive and Mobile Computing}, year = {2017}, month = {July}, publisher = {Elsevier}, volume={38}, number={1}, pages={110-139}, url = {https://doi.org/10.1016/j.pmcj.2017.02.008}, }
url
Indoor self-localization via bluetooth low energy beacons (A. R. Pratama, Widyawan, A. Lazovik and M. Aiello), In IDRBT JOURNAL OF IJBT, volume 1, 2017.
BibTeX

@article{pratama2017:ijbt, title={Indoor self-localization via bluetooth low energy beacons}, author={A. R. Pratama and Widyawan and A. Lazovik and M. Aiello}, journal={IDRBT JOURNAL OF IJBT}, year={2017}, volume={1}, number={1}, pages={1-15}, }
Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building (G. D. Putra, A. R. Pratama, A. Lazovik and M. Aiello), In IEEE Annual Computing and Communication Workshop and Conference, 2017.
BibTeX

@inproceedings{guntur2017:wirelessconsumption, title = { Comparison of Energy Consumption in Wi-Fi and Bluetooth Communication in a Smart Building }, author = { G. D. Putra and A. R. Pratama and A. Lazovik and M. Aiello }, year = { 2017 }, booktitle = { IEEE Annual Computing and Communication Workshop and Conference }, url = {https://doi.org/10.1109/CCWC.2017.7868425}, pages = {1-6}, month = {Jan}, }
url
Power-Based Device Recognition for Occupancy Detection (A. R. Pratama, Widyawan, A. Lazovik and M. Aiello), In Service-Oriented Computing - ICSOC 2017 Workshops, volume in press, 2017.
BibTeX

@INPROCEEDINGS{pratama2017:icsoc, author={A. R. Pratama and Widyawan and A. Lazovik and M. Aiello}, booktitle={Service-Oriented Computing - ICSOC 2017 Workshops}, title={Power-Based Device Recognition for Occupancy Detection}, year={2017}, volume={in press}, number={}, pages={}, keywords={}, doi={}, ISSN={}, month={Sept} }
doi
Runtime Modifications of Spark Data Processing Pipelines (E. Lazovik, M. Medema, T. Albers, E. Langius and A. Lazovik), In 2017 International Conference on Cloud and Autonomic Computing, ICCAC, 2017.
BibTeX

@inproceedings{Lazovik2017:iccac, author = {E. Lazovik and M. Medema and T. Albers and E. Langius and A. Lazovik}, title = {Runtime Modifications of Spark Data Processing Pipelines}, booktitle = {2017 International Conference on Cloud and Autonomic Computing, {ICCAC}}, pages = {34--45}, year = {2017}, url = {https://doi.org/10.1109/ICCAC.2017.11}, }
url
Cloud Ready Applications Composed via HTN Planning (I. Georgievski, F. Nizamic, A. Lazovik and M. Aiello), In IEEE International Conference on Service Oriented Computing and Applications, 2017.
BibTeX

@inproceedings{georgievski2017:cloudapps, title = {Cloud Ready Applications Composed via HTN Planning}, author = {I. Georgievski and F. Nizamic and A. Lazovik and M. Aiello}, booktitle = {IEEE International Conference on Service Oriented Computing and Applications}, series = {SOCA'17}, year = {2017}, note = {To appear}, }
Domain-Independent Planning for Services in Uncertain and Dynamic Environments (E. Kaldeli, A. Lazovik and M. Aiello), In Artificial Intelligence, Elsevier, volume 236, 2016.
BibTeX

@article{kaldeli2016:planning, author = {E. Kaldeli and A. Lazovik and M. Aiello}, title = {Domain-Independent Planning for Services in Uncertain and Dynamic Environments}, journal = {Artificial Intelligence}, year = {2016}, publisher = {Elsevier}, volume = {236}, number = {7}, pages = {30-64}, url = {http://www.sciencedirect.com/science/article/pii/S000437021630025X}, }
url
Power Management of Personal Computers based on User Behaviour (B. Setz, F. Nizamic, A. Lazovik and M. Aiello), In International Conference on Smart Cities and Green ICT Systems, 2016.
BibTeX

@inproceedings{setz2016:power, title = {Power Management of Personal Computers based on User Behaviour}, author = {B. Setz and F. Nizamic and A. Lazovik and M. Aiello}, year = {2016}, booktitle = {International Conference on Smart Cities and Green ICT Systems}, pages = {409--416}, url = {http://dx.doi.org/10.5220/0005762604090416}, }
url
Automated Runtime Repair of Business Processes (N. R. T. P. van Beest, E. Kaldeli, P. Bulanov, J. C. Wortmann and A. Lazovik), In Inf. Syst., volume 39, 2014.
BibTeX

@article{vanbeest2013:repair, author = {N. R. T. P. van Beest and E. Kaldeli and P. Bulanov and J. C. Wortmann and A. Lazovik}, title = {Automated Runtime Repair of Business Processes}, journal = {Inf. Syst.}, volume = {39}, year = {2014}, pages = {45--79}, url = {http://dx.doi.org/10.1016/j.is.2013.07.003}, }
url
Dynamic Constraint Satisfaction with Space Reduction in Smart Environments (V. Degeler and A. Lazovik), In International Journal on Artificial Intelligence Tools, volume 23, 2014.
BibTeX

@article{degeler2014:dynamic, author = {V. Degeler and A. Lazovik}, title = {Dynamic Constraint Satisfaction with Space Reduction in Smart Environments}, journal = {International Journal on Artificial Intelligence Tools}, year = {2014}, volume = {23}, number = {6}, url = {http://dx.doi.org/10.1142/S0218213014600276}, }
url
GreenMind - An Architecture and Realization for Energy Smart Buildings (F. Nizamic, T. A. Nguyen, A. Lazovik and M. Aiello), In International Conference on ICT for Sustainability, 2014.
BibTeX

@inproceedings{nizamic2014:ict4s, author = {F. Nizamic and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {GreenMind - An Architecture and Realization for Energy Smart Buildings}, booktitle = {International Conference on ICT for Sustainability}, year = {2014}, pages = {20--29}, url = {http://dx.doi.org/10.2991/ict4s-14.2014.3}, }
url
Utility-Based HTN Planning (I. Georgievski and A. Lazovik), In European Conference on Artificial Intelligence, 2014.
BibTeX

@inproceedings{geogievski2014:ecai, author = {I. Georgievski and A. Lazovik}, title = {Utility-Based HTN Planning}, booktitle = {European Conference on Artificial Intelligence}, year = {2014}, pages = {1013--1014}, url = {http://dx.doi.org/10.3233/978-1-61499-419-0-1013}, }
url
Towards a Robustness Evaluation Framework for BPEL Engines (S. Harrer, F. Nizamic, G. Wirtz and A. Lazovik), In International Conference on Service Oriented Computing & Applications, 2014.
BibTeX

@inproceedings{harrer2014:framework, title = {Towards a Robustness Evaluation Framework for BPEL Engines}, author = {S. Harrer and F. Nizamic and G. Wirtz and A. Lazovik}, year = {2014}, booktitle = {International Conference on Service Oriented Computing & Applications}, pages = {199--206}, url = {http://www.cs.rug.nl/~faris/pubs/TBP14.pdf}, }
url
Itemset-based Mining of Constraints for Enacting Smart Environments (V. Degeler, A. Lazovik, F. Leotta and M. Mecella), In Symposium on Activity and Context Modeling and Recognition, 2014.
BibTeX

@inproceedings{degeler2014:mining, author = {V. Degeler and A. Lazovik and F. Leotta and M. Mecella}, title = {Itemset-based Mining of Constraints for Enacting Smart Environments}, booktitle = {Symposium on Activity and Context Modeling and Recognition}, year = {2014}, pages = {41--46}, url = {http://dx.doi.org/10.1109/PerComW.2014.6815162}, }
url
Coordinating the Web of Services for a Smart Home (E. Kaldeli, E. U. Warriach, A. Lazovik and M. Aiello), In ACM Transactions on the Web, volume 7, 2013.
BibTeX

@article{kaldeli2013:coordinating, author = {E. Kaldeli and E. U. Warriach and A. Lazovik and M. Aiello}, title = {Coordinating the Web of Services for a Smart Home}, journal = {ACM Transactions on the Web}, year = {2013}, volume = {7}, number = {2}, articleno = {10}, url = {http://dl.acm.org/citation.cfm?id=2460389}, }
url
An Interplatform Service-Oriented Middleware for the Smart Home (E. U. Warriach, E. Kaldeli, A. Lazovik and M. Aiello), In International Journal of Smart Home, volume 7, 2013.
BibTeX

@article{warriach2013:interplaform, title = {An Interplatform Service-Oriented Middleware for the Smart Home}, journal = {International Journal of Smart Home}, year = {2013}, author = {E. U. Warriach and E. Kaldeli and A. Lazovik and M. Aiello}, pages={115-142}, volume={7}, number={1}, url = {http://www.sersc.org/journals/IJSH/vol7_no1_2013/11.pdf}, }
url
Architecture pattern for context-aware smart environments (V. Degeler and A. Lazovik), Chapter in Creating Personal, Social and Urban Awareness through Pervasive Computing (D. Riboni, B. Guo, P. Hu, eds.), IGI Global, 2013.
BibTeX

@incollection{degeler2013:architecture, author = {V. Degeler and A. Lazovik}, title = {Architecture pattern for context-aware smart environments}, booktitle = {Creating Personal, Social and Urban Awareness through Pervasive Computing}, publisher = {IGI Global}, year = {2013}, url = {http://vdegeler.com/files/13patternarch.pdf}, editor = {D. Riboni and B. Guo and P. Hu}, }
url
Towards Context Consistency in a Rule-Based Activity Recognition Architecture (T. A. Nguyen, V. Degeler, R. Contarino, A. Lazovik, D. Bucur and M. Aiello), In International Symposium on Ubiquitous Intelligence and Autonomic Systems, 2013.
BibTeX

@inproceedings{nguyen2013:consistency, author = {T. A. Nguyen and V. Degeler and R. Contarino and A. Lazovik and D. Bucur and M. Aiello}, title = {Towards Context Consistency in a Rule-Based Activity Recognition Architecture}, booktitle = {International Symposium on Ubiquitous Intelligence and Autonomic Systems}, year = {2013}, url = {http://dx.doi.org/10.1109/UIC-ATC.2013.97}, pages = {625--630}, }
url
Dynamic Constraint Reasoning in Smart Environments (V. Degeler and A. Lazovik), In IEEE International Conference on Tools with Artificial Intelligence, 2013.
BibTeX

@inproceedings{degeler2013:dynamic, author = {V. Degeler and A. Lazovik}, title = {Dynamic Constraint Reasoning in Smart Environments}, booktitle = {IEEE International Conference on Tools with Artificial Intelligence}, year = {2013}, url = {http://vdegeler.com/files/13rmedcsp.pdf}, note = {To appear}, }
url
Service-Oriented Architecture for Smart Environments (V. Degeler, L. I. Lopera Gonzalez, M. Leva, P. Shrubsole, S. Bonomi, O. Amft and A. Lazovik), In IEEE International Conference on Service Oriented Computing and Applications, 2013.
BibTeX

@inproceedings{degeler2013:soasme, author = {V. Degeler and L. I. Lopera Gonzalez and M. Leva and P. Shrubsole and S. Bonomi and O. Amft and A. Lazovik}, title = {Service-Oriented Architecture for Smart Environments}, booktitle = {IEEE International Conference on Service Oriented Computing and Applications}, year = {2013}, url = {http://vdegeler.com/files/13gbsoca.pdf}, pages = {99--104}, }
url
An Automated Analysis Of Process Interference Verified With LTL Checking (N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann and A. Lazovik), Technical report 2013-08-07, University of Groningen, 2013.
BibTeX

@techreport{vanbeest2013:analysis, title = {An Automated Analysis Of Process Interference Verified With {LTL} Checking}, author = {N. R. T. P. Van Beest and D. Bucur and J. C. Wortmann and A. Lazovik}, institution = {University of Groningen}, number = {2013-08-07}, year = {2013}, type = {Technical Report}, url = {http://www.cs.rug.nl/~doina/TR/TR-2013-08-07.pdf}, }
url
Policy-Based Scheduling of Cloud Services (F. Nizamic, V. Degeler, R. Groenboom and A. Lazovik), In Scalable Computing: Practice and Experience, volume 13, 2012.
BibTeX

@article{nizamic2012:cloud, author = {F. Nizamic and V. Degeler and R. Groenboom and A. Lazovik}, title = {Policy-Based Scheduling of Cloud Services}, journal = {Scalable Computing: Practice and Experience}, volume = {13}, number = {3}, pages = {187-199}, year = {2012}, url = {http://www.cs.rug.nl/ds/uploads/pubs/scheduleClouds.pdf}, }
url
Optimizing Energy Costs for Offices Connected to the Smart Grid (I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik and M. Aiello), In IEEE Transactions on Smart Grid, volume 3, 2012.
BibTeX

@article{georgievski2012:tsmieee, author = {I. Georgievski and V. Degeler and G. A. Pagani and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {Optimizing Energy Costs for Offices Connected to the Smart Grid}, journal = {IEEE Transactions on Smart Grid}, year = {2012}, volume = {3}, issue = {4}, pages = {2273-2285}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6377248}, }
url
Reduced Context Consistency Diagrams for Resolving Inconsistent Data (V. Degeler and A. Lazovik), In ICST Transactions on Ubiquitous Environments, volume 12, 2012.
BibTeX

@article{degeler2012:diagrams, author = {V. Degeler and A. Lazovik}, title = {Reduced Context Consistency Diagrams for Resolving Inconsistent Data}, journal = {ICST Transactions on Ubiquitous Environments}, year = {2012}, volume = {12}, number = {10-12}, url = {http://eudl.eu/pdf/10.4108/trans.ubienv.2012.10-12.e2}, }
url
Service Ecologies for Home/Building Automation (M. Caruso, C. Di Ciccio, E. Iacomussi, E. Kaldeli, A. Lazovik and M. Mecella), In 10th Int. IFAC Symposium on Robot Control, 2012.
BibTeX

@inproceedings{caruso2012:ecologies, author = {M. Caruso and C. Di Ciccio and E. Iacomussi and E. Kaldeli and A. Lazovik and M. Mecella}, title = {Service Ecologies for Home/Building Automation}, booktitle = {10th Int. IFAC Symposium on Robot Control}, year = {2012}, }
Automatic Detection of Business Process Interference (N.R.T.P. van Beest, E. Kaldeli, P. Bulanov, J.C. Wortmann and A. Lazovik), In International Workshop on Knowledge-intensive Business Processes, 2012.
BibTeX

@inproceedings{vanbeest2012:detection, author = {N.R.T.P. van Beest and E. Kaldeli and P. Bulanov and J.C. Wortmann and A. Lazovik}, title = {Automatic Detection of Business Process Interference}, booktitle = {International Workshop on Knowledge-intensive Business Processes}, year = {2012}, url = {http://ceur-ws.org/Vol-861/KiBP2012_invited_1.pdf}, }
url
Cost-efficient Context-aware Rule Maintenance (V. Degeler and A. Lazovik), In Workshop on Context Modeling and Reasoning, 2012.
BibTeX

@inproceedings{degeler2012:comorea, title = {Cost-efficient Context-aware Rule Maintenance}, author = {V. Degeler and A. Lazovik}, booktitle = {Workshop on Context Modeling and Reasoning}, pages = {608--612}, year = {2012}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6197587&tag=1}, }
url
Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems (C. Krause, Z. Maraikar, A. Lazovik and F. Arbab), In Science of Computer Programming, volume 76, 2011.
BibTeX

@article{lazovik2011:reconf, author = {C. Krause and Z. Maraikar and A. Lazovik and F. Arbab}, title = {Modeling Dynamic Reconfigurations in {Reo} using High-Level Replacement Systems}, journal = {Science of Computer Programming}, volume = {76}, number = {1}, year = {2011}, pages = {23-36}, url = {http://www.cs.rug.nl/~lazovik/papers/2011/reo-reconf.pdf}, }
url
Continual Planning with Sensing for Web Service Composition (E. Kaldeli, A. Lazovik and M. Aiello), In AAAI Conference on Artificial Intelligence, 2011.
BibTeX

@inproceedings{kaldeli2011:cpa, title={Continual Planning with Sensing for Web Service Composition}, author = {E. Kaldeli and A. Lazovik and M. Aiello}, booktitle={AAAI Conference on Artificial Intelligence}, year = {2011}, url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3493/4059}, }
url
Heterogeneous Device Discovery Framework For the Smart Homes (E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik and M. Aiello), In IEEE GCC Conference & Exhibition, 2011.
BibTeX

@inproceedings{warriach2011:heterogeneous, author = {E. U. Warriach and E. Kaldeli and J. Bresser and A. Lazovik and M. Aiello}, title = {Heterogeneous Device Discovery Framework For the Smart Homes}, booktitle = {IEEE GCC Conference \& Exhibition}, year = {2011}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5752621}, pages = {637--640}, }
url
Testing for Highly Distributed Service-oriented Systems using Virtual Environments (F. Nizamic, R. Groenboom and A. Lazovik), In Postproceedings of 17th Dutch Testing Day, 2011.
BibTeX

@inproceedings{nizamic2011:testing, title = {Testing for Highly Distributed Service-oriented Systems using Virtual Environments}, author = {F. Nizamic and R. Groenboom and A. Lazovik}, booktitle = {Postproceedings of 17th Dutch Testing Day}, year = {2011}, url = {http://eprints.eemcs.utwente.nl/21523/}, }
url
Smart Homes to Improve the Quality of Life for All (M. Aiello, F. Aloise, R. Baldoni, F. Cincotti, G. Guger, A. Lazovik, M. Mecella, P. Pucci, J. Rinsma, G. Santucci and M. Taglieri), In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, 2011.
BibTeX

@inproceedings{aiello2011:sh, title = {Smart Homes to Improve the Quality of Life for All}, author = {M. Aiello and F. Aloise and R. Baldoni and F. Cincotti and G. Guger and A. Lazovik and M. Mecella and P. Pucci and J. Rinsma and G. Santucci and M. Taglieri}, booktitle = {33rd Annual International IEEE Engineering in Medicine and Biology Conference}, year = {2011}, pages = {1777--1780}, }
Business Process Customization using Process Merging Techniques (P. Bulanov, A. Lazovik and M. Aiello), In International Conference on Service-Oriented Computing and Applications, 2011.
BibTeX

@inproceedings{bulanov2011:soca, author = {P. Bulanov and A. Lazovik and M. Aiello}, title = {Business Process Customization using Process Merging Techniques}, booktitle = {International Conference on Service-Oriented Computing and Applications}, year = {2011}, pages = {1--4}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6166255}, }
url
Interpretation of Inconsistencies via Context Consistency Diagrams (V. Degeler and A. Lazovik), In Annual IEEE International Conference on Pervasive Computing and Communications, 2011.
BibTeX

@inproceedings{degeler2011:diagrams, title = {Interpretation of Inconsistencies via Context Consistency Diagrams}, author = {V. Degeler and A. Lazovik}, booktitle = {Annual IEEE International Conference on Pervasive Computing and Communications}, year = {2011}, url = {http://www.cs.rug.nl/~lazovik/papers/2011/degeler.lazovik.artCCD.pdf}, pages = {20--27}, }
url
Optimizing Offices for the Smart Grid (I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik and M. Aiello), Technical report JBI 2011-12-01, University of Groningen, 2011.
BibTeX

@techreport{georgievski2011:rugopt, author = {I. Georgievski and V. Degeler and G. A. Pagani and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {Optimizing Offices for the Smart Grid}, institution = {University of Groningen}, year = {2011}, number = {JBI 2011-12-01}, url = {http://www.cs.rug.nl/~georgievski/pubs/opthect.pdf}, type = {Technical Report}, month = {nov}, }
url
Channel-based Coordination via Constraint Satisfaction (D. Clarke, J. Proenca, A. Lazovik and F. Arbab), In Science of Computer Programming, 2010.
BibTeX

@article{lazovik2010:csp, author = {D. Clarke and J. Proenca and A. Lazovik and F. Arbab}, title = {Channel-based Coordination via Constraint Satisfaction}, journal = {Science of Computer Programming}, year = {2010}, url = {https://lirias.kuleuven.be/bitstream/123456789/288820/1/2nd-revision-Channel-based+Coordination+via+Constraint+Satisfaction.pdf}, }
url
Interoperation, Composition and Simulation of Services at Home (E. Kaldeli, E. U. Warriach, J. Bresser, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, 2010.
BibTeX

@inproceedings{kaldeli2010:interop, title = {Interoperation, Composition and Simulation of Services at Home}, author = {E. Kaldeli and E. U. Warriach and J. Bresser and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc10.pdf}, pages = {167--181}, }
url
A tool for integrating pervasive services and simulating their composition (E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, Demo Session, 2010.
BibTeX

@inproceedings{warriach2010:tool, title = {A tool for integrating pervasive services and simulating their composition}, author = {E. U. Warriach and E. Kaldeli and J. Bresser and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing, Demo Session}, year = {2010}, url = {http://iwi.eldoc.ub.rug.nl/FILES/root/2010/LNCSWarriach/2010LNCSWarriach.pdf}, pages = {726--727}, }
url
Resolving Business Process Interference via Dynamic Reconfiguration (N.R.T.P. van Beest, P. Bulanov, H. Wortmann and A. Lazovik), In International Conference on Service Oriented Computing, 2010.
BibTeX

@inproceedings{vanbeest2010:resolving, title = {Resolving Business Process Interference via Dynamic Reconfiguration}, author = {N.R.T.P. van Beest and P. Bulanov and H. Wortmann and A. Lazovik}, booktitle = {International Conference on Service Oriented Computing}, year = {2010}, url = {http://www.cs.rug.nl/~lazovik/papers/2010/rug-sasleg-icsoc10.pdf}, }
url
Mining Twitter in the Cloud: A Case Study (P. Noordhuis, M. Heijkoop and A. Lazovik), In IEEE 3rd International Conference on Cloud Computing, 2010.
BibTeX

@inproceedings{noordhuis2010:twitter, title = {Mining Twitter in the Cloud: A Case Study}, author = {P. Noordhuis and M. Heijkoop and A. Lazovik}, booktitle = {IEEE 3rd International Conference on Cloud Computing}, year = {2010}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5558003}, pages = {107--114}, }
url
Concept mapping for faster QoS-Aware Web Service Composition (V. Degeler, I. Georgievski, A. Lazovik and M. Aiello), In IEEE Conference on Service Oriented Computing and Applications, 2010.
BibTeX

@inproceedings{degeler2010:qosaware, title = {Concept mapping for faster QoS-Aware Web Service Composition}, author = {V. Degeler and I. Georgievski and A. Lazovik and M. Aiello}, booktitle = {IEEE Conference on Service Oriented Computing and Applications}, year = {2010}, url = {http://www.cs.rug.nl/~aiellom/publications/wsc10.pdf}, pages = {1--4}, }
url
Planning in a Smart Home: Visualization and Simulation (A. Lazovik, E. Kaldeli, E. Lazovik and M. Aiello), In International Conference on Automated Planning and Scheduling, 2009.
BibTeX

@inproceedings{lazovik2009:smart, author = {A. Lazovik and E. Kaldeli and E. Lazovik and M. Aiello}, booktitle = {International Conference on Automated Planning and Scheduling}, title = {Planning in a Smart Home: Visualization and Simulation}, pages = {13--16}, url = {http://www.cs.rug.nl/~eirini/ICAPS09_demo_description.pdf}, year = {2009}, }
url
Extended Goals for Composing Services (E. Kaldeli, A. Lazovik and M. Aiello), In International Conference on Automated Planning and Scheduling, 2009.
BibTeX

@inproceedings{kaldeli2009:ext, author = {E. Kaldeli and A. Lazovik and M. Aiello}, booktitle = {International Conference on Automated Planning and Scheduling}, title = {Extended Goals for Composing Services}, url = {http://www.cs.rug.nl/~aiellom/publications/icaps09.pdf}, year = {2009}, }
url
Services inside the Smart Home: A Simulation and Visualization tool (E. Lazovik, A.C.T. den Dulk, M. de Groote, A. Lazovik and M. Aiello), In International Conference on Service Oriented Computing, 2009.
BibTeX

@inproceedings{lazovik2009:visi, title={{S}ervices inside the {S}mart {H}ome: {A} {S}imulation and {V}isualization tool}, author = {E. Lazovik and A.C.T. den Dulk and M. de Groote and A. Lazovik and M. Aiello}, booktitle = {International Conference on Service Oriented Computing}, url = {http://www.cs.rug.nl/~aiellom/publications/icsoc09.pdf}, year={2009}, }
url
Optimal QoS-Aware Web Service Composition (M. Aiello, E. el Khoury, A. Lazovik and P. Ratelband), 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, 2009.
BibTeX

@inproceedings{aiello2009:opt, author = {M. Aiello and E. el Khoury and A. Lazovik and P. Ratelband}, booktitle = {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}, title = {Optimal QoS-Aware Web Service Composition}, url = {http://www.cs.rug.nl/~aiellom/publications/wsc09.pdf}, year = {2009}, }
url

Visiting address

By category

By author (members)

By author (affiliate)

By author (alumni/former)

By year

Alexander Lazovik

Abstract

BibTeX

BibTeX

BibTeX

Abstract

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX

BibTeX