Visiting address

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

Quick links

Follow us

TODO

2013

Filters

  1. 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
  2. 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
  3. 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
  4. 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).
  5. 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.
  6. 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.
  7. 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.
  8. Degeler, V., & Lazovik, A. (2013). Dynamic constraint reasoning in smart environments. IEEE International Conference on Tools with Artificial Intelligence, 167–174.
  9. Dustegor, D., & Felemban, N. M. (2013). Wireless sensor network based monitoring system for photovoltaic panels in extreme GCC climate conditions: A literature review of current approaches. 2013 7th IEEE GCC Conference and Exhibition, GCC 2013, 326–329.
  10. Warriach, E. U. (2013). Design and implementation of middleware platform for a smart home [PhD thesis, Rijksuniversiteit Groningen]. http://www.rug.nl/research/portal/publications/pub(7e36d404-59ee-42a8-ac8c-497bbd221291).html
  11. Kaldeli, E. (2013). Domain-independent planning for services in uncertain and dynamic environments [PhD thesis, Rijksuniversiteit Groningen]. https://www.rug.nl/research/portal/files/14430948/thesis.pdf
  12. Emerencia, A., van der Krieke, L., Sytema, S., Petkov, N., & Aiello, M. (2013). Generating personalized advice for schizophrenia patients. Artificial Intelligence in Medicine, 58(1), 23–36. http://www.sciencedirect.com/science/article/pii/S0933365713000043
  13. van der Krieke, L., Emerencia, A., Boonstra, N., Wunderink, L., de Jonge, P., & Sytema, S. (2013). A web-based tool to support shared decision-making for people with a psychotic disorder: a randomized clinical trial and process evaluation. Journal of Medical Internet Research, 15(10), e216. http://www.cs.rug.nl/ ando/pdfs/sdm_trial.pdf
  14. Alsaif, F., & Gauthaman, A. (2013). The Management of Elearning at University of KKU, ABHA. International Journal of Emerging Technologies in Learning, 8(1), 4–9.
  15. van der Krieke, L., Wunderink, L., Emerencia, A., de Jonge, P., & Sytema, S. (2013). E-health self-management in psychotic disorders: state of the art and future perspectives. Psychiatric Services, 65(1), 33–49. http://www.cs.rug.nl/ ando/pdfs/appi.ps.201300050.pdf
  16. Nguyen, T. A., Raspitzu, A., & Aiello, M. (2013). Ontology-based Office Activity Recognition with Applications for Energy Savings. Journal of Ambient Intelligence and Humanized Computing. http://link.springer.com/article/10.1007%2Fs12652-013-0206-7
  17. Nguyen, T. A., & Aiello, M. (2013). Energy Intelligent Buildings based on User Activity: A Survey. Energy and Buildings, 56(0), 244–257. http://dx.doi.org/10.1016/j.enbuild.2012.09.005
  18. Pagani, G. A., & Aiello, M. (2013). The Power Grid as a Complex Network: a Survey. Physica A: Statistical Mechanics and Its Applications, 392(1), 2688–2700. http://www.sciencedirect.com/science/article/pii/S0378437113000575
  19. Aiello, M. (2013). Aware homes. Awareness Magazine: Self-Awareness in Autonomic Systems. http://www.awareness-mag.eu/pdf/005166/005166.pdf
  20. Aiello, M. (2013). Foreword. In Research and Development in E-Business through Service-Oriented Solutions. IGI Global. http://www.igi-global.com/pdf.aspx?tid=96294&ptid=74384&ctid=15&t=foreword
  21. 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
  22. Georgievski, I., Nguyen, T. A., & Aiello, M. (2013). Combining Activity Recognition and AI Planning for Energy-Saving Offices. IEEE International Conference on Ubiquitous Intelligence and Computing, 238–245. http://dx.doi.org/10.1109/UIC-ATC.2013.106
  23. Nguyen, T. A., Bucur, D., Aiello, M., & Tei, K. (2013). Applying Time Series Analysis and Neighbourhood Voting in a Decentralised Approach for Fault Detection and Classification in WSNs. International Symposium on Information and Communication Technology, 234–241. http://dl.acm.org/citation.cfm?id=2542080
  24. 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
  25. Beest, N. R. T. P. V., & and D. Bucur. (2013). Continuous Correctness of Business Processes against Process Interference. IEEE International Conference on Service Oriented Computing and Applications, 110–117. http://dx.doi.org/10.1109/SOCA.2013.39
  26. 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
  27. Bucur, D., Iacca, G., Squillero, G., & Tonda, A. (2013). An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks. European Conference on the Applications of Evolutionary and Bio-Inspired Computation, 7835, 1–11. http://link.springer.com/chapter/10.1007%2F978-3-642-37192-9_1
  28. Warriach, E. U., & Claudel, C. (2013). A Machine Learning Approach for Vehicle Classification using Passive Infrared and Ultrasonic Sensors. ACM/IEEE Conference on Information Processing in Sensor Networks, 333–334. http://delivery.acm.org/10.1145/2470000/2461434/p333-warriach.pdf?ip=129.125.75.5&id=2461434&acc=ACTIVE%20SERVICE&key=C2716FEBFA981EF1BEAE10AEAAC8E630201988BD3445D12D&CFID=181803508&CFTOKEN=15716161&__acm__=1374054792_cfe784c0fa4854c410fd749cf420b29c
  29. Pagani, G. A., & Aiello, M. (2013). Modeling the Last Mile of the Smart Grid. PES Innovative Smart Grid Technologies Conference. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6497816&tag=1
  30. Pagani, G. A., & Aiello, M. (2013). Cost and Benefits of Denser Topologies for the Smart Grid. Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS’12), 73–81. http://rd.springer.com/chapter/10.1007/978-1-4471-4594-3_8#
  31. Nguyen, T. A., Aiello, M., & Tei, K. (2013). A Decentralized Scheme for Fault Detection and Classification in WSNs. IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013, Work in Progress Session). http://www.cs.rug.nl/ds/uploads/pubs/tanguyen2013_cpsna.pdf
  32. Nizamic, F. (2013). Testing of Distributed Service-Oriented Systems. ICSOC, 8377. http://www.cs.rug.nl/ faris/pubs/TSO13.pdf
  33. Georgievski, I. (2013). Planning for Coordination of Devices in Energy-Smart Envronments. Doctoral Consortium of the 23rd International Conference on Automated Planning and Scheduling. http://icaps13.icaps-conference.org/documents/dc/georgievski.pdf
  34. Groefsema, H., & Bucur, D. (2013). A survey of formal business process verification: From soundness to variability. Proceedings of International Symposium on Business Modeling and Software Design, 198–203.
  35. Saleh, S., Shah, Z., & Baig, A. (2013). Capacity Analysis of Combined IPTV and VoIP over IEEE 802.11n. 38th Annual IEEE Conference on Local Computer Networks, 785–792. https://doi.org/10.1109/LCN.2013.6761333
  36. Saleh, S., Shah, Z., & Baig, A. (2013). IPTV Capacity Analysis using DCCP over IEEE 802.11n. 78th Vehicular Technology Conference, 1–5. https://doi.org/10.1109/VTCFall.2013.6692252