Journals (in press)

  1. 1.H. Groefsema, N. van Beest, and M. Aiello (2017) A Formal Model for Compliance Verification of Service Compositions, IEEE Transactions on Services Computing, IEEE, to appear.


Journals

  1. 2.I. Georgievski and M. Aiello (2017) Automated planning for ubiquitous computing, ACM Computing Surveys, ACM, 49(4):63:1-63:46.

  2. 3.I. Georgievski, T. A. Nguyen, F. Nizamic, B. Setz, A. Lazovik, and M. Aiello (2017) Planning meets activity recognition: Service coordination for intelligent buildings, Pervasive and Mobile Computing, Elsevier, 38(July):110–139.

  3. 4.L. Fiorini, G. A. Pagani, P. Pelacchi, D. Poli, M. Aiello (2017) Sizing and Siting of Large-Scale Batteries in Transmission Grids to Optimize the Use of Renewables,  IEEE Journal on Emerging and Selected Topics in Circuits and Systems, IEEE, 7(2):285-294.

  4. 5.D. Vemula, B. Setz, S. Rao, G.R. Gangadharan, and M. Aiello (2017) Metrics for Sustainable Data Centers, IEEE Transactions on Sustainable Computing, IEEE, 2(3):290-303.

  5. 6.E. Kaldeli, A. Lazovik, and M. Aiello (2016) Domain-Independent Planning for Services in Uncertain and Dynamic Environments, Artificial Intelligence, Elsevier, 236(7): 30-64.

  6. 7.G.A. Pagani and M. Aiello (2016) From the Grid to the Smart Grid, Topologically, Physica A, Elsevier, 449(5): 160-175.

  7. 8.A. Sha and M. Aiello (2016) A Novel Strategy for Optimising Decentralised Energy Exchange for Prosumers, Energies, MDPI, 9(7):554.

  8. 9.F. Blaauw, H.M. Schenk, B.F. Jeronimus, L. van der Krieke, P. de Jonge, M. Aiello, A.C. Emerencia (2016) Let's get Physiqual - an intuitive and generic method to combine sensor technology with ecological momentary assessments. IEEE Journal of Biomedical Informatics, 63(October):141-149.

  9. 10.A. Emerencia, L. van der Krieke, E.H. Bos, P. de Jonge, N. Petkov, M. Aiello (2016) Automating vector autoregression on electronic patient diary data, IEEE Journal of Biomedical and Health Informatics, IEEE, 20(2): 631-643.

  10. 11.I. Georgievski and M. Aiello (2015) HTN Planning: Overview, Comparison, and Beyond, Artificial Intelligence, Elsevier, 222(5): 124-156.

  11. 12.G.A. Pagani and M. Aiello (2015) Generating Realistic Dynamic Prices and Services for the Smart Grid, IEEE Systems Journal, IEEE, 9(1): 191-198.

  12. 13.C. Sun, X. Zhang, Y. Shang, M. Aiello (2015) Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach, ACM Transactions on the Web, ACM, 9(2):9.

  13. 14.G.A. Pagani and M. Aiello (2015) A complex network approach for identifying vulnerabilities of the medium and low voltage grid, International Journal of Critical Infrastructures, Inderscience, Vol. 11(1): 36–61.

  14. 15.N. Capodieci, G. A. Pagani, G. Cabri, and M. Aiello (2015) An Agent-based System for Service-Oriented Smart Grids, Service Oriented Computing and Applications, Springer, Feb, pag 1-21.

  15. 16.L. van der Krieke, A. Emerencia, E. Bos, J. Rosmalen, H. Riese, M. Aiello, S. Sytema, P. de Jonge (2015) Ecological Momentary Assessments and Automated Time Series Analysis to Promote Tailored Health Care: A Proof-of-Principle Study, Journal of Medical Internet Research, Vol 4, No 3: Jul-Sep

  16. 17.G.A. Pagani and M. Aiello (2014) Power Grid Complex Network Evolutions for the Smart Grid Physica A: Statistical Mechanics and its Applications, Elsevier, 396(2):248-266. (Condensed version of arxiv tech. report)

  17. 18.T.A. Nguyen, A. Raspitzu, and M. Aiello (2014) Ontology-based Office Activity Recognition with Applications for Energy Savings, Journal of Ambient Intelligence and Humanized Computing, Springer, 5(5):667-681.

  18. 19.F. Blaauw, L. van der Krieke, P. de Jonge, M. Aiello (2014) Leefplezier: Personalized Well-being, IEEE Intelligent Informatics Bulletin, 15(1): 28-29

  19. 20.E. Kaldeli, E.U. Warriach, A. Lazovik, and M. Aiello (2013) Coordinating the Web of Services for a Smart Home, ACM Transactions on the Web, ACM, 7(2):10.

  20. 21.G.A. Pagani and M. Aiello (2013) The Power Grid as a Complex Network: a Survey, Physica A: Statistical Mechanics and its Applications, Elsevier, 392(1): 2688–2700.  (condensed version of arxiv tech. report)

  21. 22.T.A. Nguyen and M. Aiello (2013) Energy Intelligent Buildings based on User Activity: A Survey, Energy and Buildings, Elsevier, vol 56: 244-257.

  22. 23.A. Emerencia, L. van der Krieke, S. Sytema, N. Petkov, and M. Aiello (2013) Generating personalized advice for schizophrenia patients, Artificial Intelligence in Medicine, Elsevier, 58(1): 23-36.

  23. 24.E.U. Warriach, E. Kaldeli, A. Lazovik, and M. Aiello (2013) An Interplatform Service-Oriented Middleware for the Smart Home, International Journal on Smart Homes, Sersc, 7(1):115-142.

  24. 25.I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik, and M. Aiello (2012) Optimizing Energy Costs for Offices Connected to the Smart Grid, IEEE Transactions on Smart Grid, IEEE, 3(4): 2273-2285.

  25. 26.G.A. Pagani and M. Aiello (2012) Service-Orientation and the Smart Grid: State and Trends, Service Oriented Computing and Applications, Springer, 6(3): 267-282.

  26. 27.M. Aiello, G. Bezhanishvili, I. Bloch, and V. Goranko (2012) Logic for physical space Synthese, Springer, 18(3): 619-632.

  27. 28.L. van de Krieke, A. Emerencia, M. Aiello, and S. Sytema (2012) Evaluation of a Web-based Support System for People with a Schizophrenia Diagnosis Journal of Medical Internet Research, Feb 6;14(1):e24. PubMed

  28. 29.G. A. Pagani and M. Aiello (2011) Towards Decentralized Trading: A Topological Investigation of the Medium and Low Voltage Grids, in IEEE Transactions on Smart Grid, IEEE, 3(2): 538 - 547. (condensed version of arxiv tech report)

  29. 30.C. Sun, E. el Khoury, and M. Aiello (2011)  Transaction management in Service-Oriented Systems: requirements and a proposal, in IEEE Transactions on Services Computing, IEEE, 4(2): 167-180.

  30. 31.G. Frankova, M. Seguran, F. Gilcherc, S. Trabelsic, J. Dorflingerd, and M. Aiello (2011) Deriving Business Processes with Service Level Agreements from Early Requirements, The Journal of Systems and Software, Elsevier84(8):1351-1363.

  31. 32.F. Aloise, F. Schettini, P. Aricò, S. Salinari, C. Guger, J. Rinsma, M. Aiello, D. Mattia, and F. Cincotti (2011) Asynchronous P300-based BCI to control a virtual environment: initial tests on patients, EEG in Neuroscience, ECNS, 42(4):219-224.

  32. 33.C. Sun, R. Rossing, M. Sinnema, P. Bulanov, and M. Aiello (2010) Modelling and Managing the Variability of Web Service-based Systems, Journal of Systems and Software, Elsevier, 83(3):502-516.

  33. 34.M. Aiello and S. Dustdar (2008) Are our Homes Ready for Services? A Domotic Infrastructure based on the Web Service Stack, Pervasive and Mobile Computing, 4(4):506-525.

  34. 35.M. Aiello, and A. Lazovik (2006) Monitoring assertion-based business processes. International Journal of Cooperative Information Systems, 15(3):359-390.

  35. 36.A. Lazovik, M. Aiello, and M. Papazoglou (2006) Planning and monitoring the execution of web service requests. Journal on Digital Libraries, Springer, 6(3):235-246.

  36. 37.M. Aiello, and A. Pegoretti (2006) Textual Article Clustering in Newspaper Pages. Applied Artificial Intelligence, 20(9):767-796.

  37. 38.D. Schall, M. Aiello, and S. Dustdar (2006) Web Services on Embedded Devices. International Journal of Web Information Systems 2(1):1-6.

  38. 39.G. Frankova, D. Malfatti, and M. Aiello (2006) Semantics and Extensions of WS-Agreement.  Journal of Software 1(1):34-42.

  39. 40.M. Aiello and P. Giorgini (2004) Applying the Tropos Methodology for Analysing Web Services Requirements and Reasoning about Qualities of Services. In J.P. Cuesta-Morales, Z. Guessoum, J. Gonzalez-Moreno, and J. Pavon-Mestras (eds). CEPIS Upgrade - The European journal of the informatics professional Novatica, V(4):20-26.

  40. 41.M. Aiello and A. Smeulders (2004) Thick 2D Relations for Document Understanding.  Information Sciences, Elsevier, 167(1-4):147-176.

  41. 42.M. Aiello, J. van Benthem, and G. Bezhanishvili (2003) Reasoning about Space: the Modal Way. Journal of Logic and Computation, Oxford University Press, 13(6):889-920.

  42. 43.M. Aiello, C. Monz, L. Todoran, and M. Worring (2002) Document Understanding for a Broad Class of Documents. International Journal of Document Analysis and Recognition IJDAR, Springer, 5(1):1-16.

  43. 44.M. Papazoglou, M. Aiello, M. Pistore, and J. Yang (2002) Planning for Requests against Web Services. In F. Casati and U. Dayal (eds). CS Data Engineering Bulletin, IEEE, 25(4):41-46

  44. 45.M. Aiello (2002) A Spatial Similarity Measure based on Games: Theory and Practice. Journal of the IGPL, Oxford University Press, 10(1):1-22.

  45. 46.M. Aiello and J. van Benthem (2002) A Modal Walk through Space. Journal of Applied Non-Classical Logics, Hermes, 12(3-4):319-363.   A list of errata to the published version.



Magazines

  1. 47.M. Aiello (2013) Aware homes, Awareness Magazine: Self-awareness in autonomic systems, DOI 10.2417/3201311.005166

  2. 48.B. Pernici, M. Aiello, J. vom Brocke, B. Donnellan, E. Gelenbe, and M. Kretsis (2012) What IS can do for Environmental Sustainability, Communications of the Association for Information Systems, Vol. 30, Article 18.

  3. 49.M. Aiello (2006) Web Service e Domotica. Media 2000, n.236, XXIV(4):75-78.

  4. 50.M. Aiello, M. Zanoni, and A. Zolet (2005) Exploring Web-Service Notification: Building a scalable domotic infrastructure. Dr. Dobb’s Journal: Software Tools for the Professional Developer, CMP, 371:48-51.

  5. 51.M. Aiello (2003) The topo-approach to spatial representation and reasoning. AI*IA Notizie XVI(4):5-14.

  6. 52.M. Aiello (2002) Document Image Analysis via Model Checking. In A. Chella and Malerba, D. (eds). AI*IA Notizie XV(1):45-48.

  7. 53.M. Aiello (2002) Lo Isntitute for Logic, Language and Computation dell Universita di Amsterdam.  AI*IA Notizie XV(3):31-32.


Books

  1. 54. Marco Aiello (2017) two bestsellers. Saccargia Holding BV Publisher.



Edited books

  1. 55. Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski (2016) Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. LNCS 9846, Springer.

  2. 56.M. Aiello, Ian Pratt-Hartman, Johan van Benthem eds. (2007) Handbook of Spatial Logics, Springer.


  1. 57.M. Aiello, M. Aoyama, F. Curbera, and M. P. Papazoglou (2004) Second International Conference on Service-Oriented Computing (ICSOC 2004) ACM Press.



Chapters in books

  1. 58.M. Aiello and G.A. Pagani (2016) How energy distribution will change: an ICT perspective, In Smart Grids from a Global Perspective, J. de Wilde, A. Beaulieu, and J. Scherpen (eds), Springer.

  2. 59.M. Aiello, R. Baldoni, A. Lazovik, and M. Mecella (2015) Self-Steering and Aware Homes, In The Computer After Me: Awarness and Self-Awareness in Autonomic Systems, J. Pitt (ed), Imperial College Press.

  3. 60.M. Aiello, A. Emerencia, and H.G. Sol (2014) Bringing Adaptiveness and Resilience to e-Health, In Engineering Adaptive and Resilient Computing Systems, G. Cabri and N. Suri (eds), Taylor & Francis.

  4. 61.M. Aiello, Ian Pratt-Hartman, Johan van Benthem (2007) What is Spatial Logic? in Handbook of Spatial Logics. Springer, pages: 1-11.

  5. 62.M. Papazoglou, M. Aiello, and P. Giorgini (2004) Service-Oriented Computing and Software Agents.  In L. Cavedon, Z. Maamar, D. Martin, B. Benatallah (eds). Extending Web Services Technologies, Kluwer, pages 29-52.

  6. 63.M. Aiello and J. van Benthem (2002) Logical Patterns in Space. In D. Barker-Plummer and Beaver, D. and van Benthem, J. and Scotto di Luzio, P. (eds). Words, Proofs, and Diagrams pages 5-25.

  7. 64.M. Aiello and A. Smeulders (1999) Where do Logic and Computer Vision meet? In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema (eds) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday Vossiuspers, Amsterdam University Press, Amsterdam.


Editorials, forewords, and reviews

  1. 65.G. Cabri, F. Bergenti, M. Aiello, S. Reddy, R. Reddy (2014) Introduction to the Special Issue on Enabling Technologies for Collaborations. Scalable Computing: Practice and Experience, UDV, 15(4)

  2. 66.M. Aiello (2013) Foreword. In Research and Development in E-Business through Service-Oriented Solutions. IGI Global

  3. 67.M. Aiello, N. Agarwal, R. Raman, and U. Rathod. (2012) Foreword, In Journal of System Assurance Engineering and Management, Springer, 3(2): 71-72.

  4. 68.M. Aiello (2009) General Chair’s Report, in 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises.

  5. 69.M. Aiello, M. Mecella, and T. Catarci (2009) Smart Homes Infrastructures and Interactions (SHII 2009) in 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, pages 234-235.

  6. 70.V. D'Andrea and M. Aiello (2006) Introduction to the second special issue on Service Oriented Computing. International Journal of Cooperative Information Systems, 15(3):289-292.

  7. 71.M. Aiello and V. D'Andrea (2005) Introduction to the special issue on Service Oriented Computing. International Journal of Cooperative Information Systems World Scientific, 14(4): 329-331.

  8. 72.M. Aiello (2001) Review of: Parts and Places, R. Casati and A. Varzi, MIT press.  Journal of Logic, Language and Information, Springer, 10(2):269-272


Conferences and workshops

  1. 74. I. Georgievski, F. Nizamic, A. Lazovik, and M. Aiello (2017) Cloud Ready Applications Composed via HTN Planning, in Service Oriented Computing and Applications (SOCA`17).

  2. 75.A.R.Pratama, A. Lazovik, M. Aiello (2017) Power-Based Device Recognition for Occupancy Detection, in Second Workshop on IOT Systems Provisioning & Management for Context-Aware Smart Cities (in conjuction with ICSOC’17).

  3. 76. M. Jafarian, J. Scherpen, M. Aiello (2016) A price-based approach for voltage regulation and power loss minimization for the electrical power distribution system, in 55th IEEE Conference on Decision and Control (CDC`16).

  4. 77.B. Setz, F. Nizamic, A. Lazovik, and M. Aiello (2016) Power Management of Personal Computers based on User Behaviour, In International Conference on Smart Cities and Green ICT Systems, 409–416.

  5. 78.A. Scala, W. Quattrociocchi, G.A. Pagani, and M. Aiello (2016) Self-healing protocols for infrastructural networks, 9th International Conference on Critical Information Infrastructures Security (CRITIS’14) LNCS: 308-3013.

  6. 79.T.A. Nguyen, M. Aiello, T, Yonezawa, and K Tei (2015) A self-healing Fraework for Online Sensor Data, 3rd Int. Ws. on Self-Aware Internet of Things 2015 at ICAC15.

  7. 80. M. Aiello and G.A. Pagani (2014) The Smart Grid’s Data Generating Potentials, Federated Conference on Computer Science and Information Systems (FedCSIS’14).

  8. 81. F. Nizamic, T.A.Nguyen, A. Lazovik, and M. Aiello (2014) GreenMind - An Architecture and Realization for Energy Smart Buildings, The second international conference ICT for Sustainability (ICT4S’14). (Nominated for best paper award.)

  9. 82. F. J. Blaauw, Van der Krieke, J. A. J., Bos, E.H., Emerencia, A. C., Jeronimus, B.F., Schenk, H. M., De Vos, S., Wardenaar, K. J., Wanders, R. B. K., Wigman, J. T. W., Aiello, M., and De Jonge, P. (2014). HowNutsAreTheDutch: Personalized feedback on a national scale. AAAI Fall Symposium on Expanding the Boundaries of Health Informatics Using AI (HIAI'14), Arlington, VA. (USA)

  10. 83. F. J. Blaauw, Van der Krieke, J. A. J., Aiello, M., and De Jonge, P. (2014). Leefplezier: Personalized well-being. Doctoral Consortium of the IEEE International Conference on Healthcare Informatics 2014 (ICHI 2014), Verona, Italy

  11. 84. F. J. Blaauw, Bazylevska, L., and Aiello, M. (2014). Gamification in a Consulting Company. Workshop Autonomous Systems 2014, VDI verlag, pp 128-139.

  12. 85.G.A. Pagani and M. Aiello (2013) Modeling the Last Mile of the Smart Grid. In the 2013 PES Innovative Smart Grid Technologies Conference (ISGT’13).

  13. 86.G.A. Pagani and M. Aiello (2013) Cost and Benefits of Denser Topologies for the Smart Grid. In  Computer and Information Sciences III from the 27th International Symposium on Computer and Information Sciences (ISCIS’12), pp. 73-81.

  14. 87.I. Georgievski, T. A. Nguyen, and M. Aiello (2013) Combining Activity Recognition and AI Planning for Energy-Saving Offices. In Proceedings of the IEEE International Conference on Ubiquitous Intelligence and Computing (UIC’13) .

  15. 88.T. A. Nguyen, V. Degeler, R. Contarino, A. Lazovik, D. Bucur, and M. Aiello (2013) Towards Context Consistency in a Rule-Based Activity Recognition Architecture. In Proceedings of the International Symposium on Ubiquitous Intelligence and Autonomic Systems.

  16. 89.T. A. Nguyen, D. Bucur, M. Aiello, K. Tei (2013) Applying time series analysis and neighbourhood voting in a decentralised approach for fault detection and classification in WSNs. Proceedings of the Fourth Symposium on Information and Communication Technology, ACM, p 234-241

  17. 90.T. A. Nguyen, M. Aiello, K. Tei (2013) A Decentralized Scheme for Fault Detection and Classification in WSNs in The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2013) Work in Progress session.

  18. 91. T. A. Nguyen, M. Aiello, K. Tei (2013) Towards a Lightweight Decentralised Approach for Detecting and  Classifying Sensor Data Faults in WSNs in  Proceedings of The 4th International Symposium on Information and Communication Technology (SoICT 2013).

  19. 92.G.A. Pagani and M. Aiello (2012) A Statistical Analysis of Power Grid Vulnerabilities. In Workshops of The seventh CRITIS Conference on Critical Information Infrastructures Security (CRITIS’12).

  20. 93.E.U. Warriach, K. Tei, T.A. Nguyen, and M. Aiello (2012) A Hybrid Fault Detection Approach for Context-aware Wireless Sensor Networks In the 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

  21. 94.T.A. Nguyen and M. Aiello (2012) Beyond Indoor Presence Monitoring with Simple Sensors. In Proceedings of the 2nd International Conference on Pervasive and Embedded Computing and Communication Systems.

  22. 95.E.U. Warriach, K. Tei, T.A. Nguyen, and M. Aiello (2012) Fault Detection in Wireless Sensor Networks: a Hybrid Approach. In 11th ACM Conference on Information Processing in Sensor Networks (IPSN'12 POSTER Session).

  23. 96.N. Capodieci, G. Cabri, G.A. Pagani, and M. Aiello (2012) An Agent-based Application to Enable Deregulated Energy Markets, IEEE Computer Software and Applications Conference (COMPSAC 2012), pp.638-647.

  24. 97.N. Capodieci, G. Cabri, G.A. Pagani, and M. Aiello (2012) Adaptive Game-based Agent Negotiation in Deregulated Energy Markets In Ws on Adaptive Collaboration at (CTS 2012), pp.300-307.

  25. 98.E. Kaldeli, A. Lazovik, and M. Aiello (2011) Continual Planning with Sensing for Web Service Composition, In Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11).

  26. 99.H. Groefsema, P. Bulanov, and M. Aiello (2011) Declarative Enhancement Framework for Business Processes, In Int. Conference on Service-Oriented Computing, ICSOC, LNCS 7084, pp 495-504.

  27. 100.H. Groefsema, P. Bulanov, and M. Aiello (2011) Business Process Variability: A Tool for Declarative Template Design, In Int. Conference on Service-Oriented Computing - Demo Track, ICSOC.

  28. 101.P. Bulanov, A. Lazovik, and M. Aiello (2011) Business Process Customization using Process Merging Techniques. In IEEE Service-Oriented Computing and Applications (SOCA-2011), to appear.

  29. 102.M. Aiello, F. Aloise, R. Baldoni, F. Cincotti, G. Guger, A. Lazovik, M. Mecella, P. Pucci, J. Rinsma, G. Santucci, and M. Taglieri (2011) Smart Homes to Improve the Quality of Life for All In 33rd Annual International IEEE Engineering in Medicine and Biology Conference, pp.1777-1780.

  30. 103.N. Capodieci, G.A. Pagani, G. Cabri, and M. Aiello (2011) Smart Meter aware Domestic Energy Trading Agents, in International E-Energy Market Challenge at 8th ACM Autonomic Computing Conference, pp 1-10.

  31. 104.A. Emerencia, L. van de Krieke, N. Petkov, and M. Aiello (2011) Assessing Schizophrenia With A Highly Interoperable Architecture, in Workshop Managing Interoperability and Complexity in Health Systems (MIXHS’11) at ACM Conference on Information and Knowledge Management (CIKM), pp 79-82. (Challenges and Visions award.)

  32. 105.E. U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik, and M. Aiello (2011) Heterogeneous Device Discovery Framework For the Smart Homes,  In IEEE GCC Conference and Exhibition, pp 637-640.

  33. 106.F. Aloise, F. Schettini, P. Aricò, S. Salinari, C. Guger, J. Rinsma, M. Aiello, D. Mattia, and F. Cincotti (2011) Validation of an asynchronous P300-based BCI with potential end users to control a virtual environment, in 5th Conf. on Brain-Computer Interfaces.

  34. 107.E. Kaldeli, E.U. Warriach, J. Bresser, A. Lazovik, and M. Aiello (2010) Interoperation, Composition and Simulation of Services at Home, In Int. Conference on Service-Oriented Computing, ICSOC, LNCS 6470, pp 167-181.

  35. 108.E.U. Warriach, E. Kaldeli, J. Bresser, A. Lazovik, and M. Aiello (2010) A tool for integrating pervasive services and simulating their composition, In Int. Conference on Service-Oriented Computing - Demo Session, ICSOC, LNCS 6470, pp 726-727.

  36. 109.G.A. Pagani and M. Aiello (2010) Towards a Service-Oriented Energy Market: Current state and trend. In Workshop on Service, Energy and Ecosystems (co-located with ICSOC’10), LNCS 6568, pp 203-209.

  37. 110.V. Degeler, I. Georgievski, A. Lazovik, and M. Aiello (2010) Concept mapping for faster QoS-Aware Web Service Composition. In IEEE Conference on Service Oriented Computing and Applications (SOCA’10), IEEE, pp 1-4.

  38. 111.M. Aiello, P. Bulanov, and H. Groefsema (2010) Requirements and Tools for Variability Management, In IEEE workshop on Requirement Engineering for Services (REFS 2010) at IEEE COMPSAC.

  39. 112.Chang-ai Sun, Tieheng Xue, and Marco Aiello (2010) ValySeC: a Variability Analysis Tool for Service Compositions using VxBPEL, IEEE Asia-Pacific Services Computing Conference (APSCC), pp 307-314.

  40. 113.I. Nakiyimba, D.W. Williams, and M. Aiello (2010) Modeling Enterprise Information Systems Integration Evaluation as a Dynamic System, Int. Conf. on Computing and ICT Research (ICCIR 2010).

  41. 114.E. Kaldeli, A. Lazovik, and M. Aiello (2009) Extended Goals for Composing Services in 19th International Conference on Automated Planning and Scheduling (ICAPS 2009) ed. A. Gerevini et al, AAAI.

  42. 115.E. Lazovik, P. den Dulk, M. de Groote, A. Lazovik, and M. Aiello (2009) Services inside the Smart Home: A Simulation and Visualization tool, Int. Conf. on Service-Oriented Computing (ICSOC’09) ed. Baresi et al, Springer, LNCS 5900, pages 651–652.

  43. 116.M. Aiello, R. de Jong, and J. de Nes (2009) Bluetooth Broadcasting: How far can we go? An experimental study. Int. Conference on Pervasive Computing and Applications (ICPCA'09) In Pervasive Computing (JCPC), 2009 Joint Conferences on IEEE, pages 471–476.

  44. 117.M. Aiello, E. el Khoury, A. Lazovik, and P. Ratelband (2009) Optimal QoS-Aware Web Service Composition, In Joint 11th IEEE Conference on E-Commerce Technology (CEC’09) and the 6th IEEE Conference on Enterprise Computing, E-Commerce and E-Services, IEEE, pages 491–494.

  45. 118.R. Baldoni, C. Di Ciccio, M. Mecella, F. Patrizi, L. Querzoni, G. Santucci, S. Dustdar, F. Li, H.L. Truong, L. Albornos, F. Milagro, P.A. Rafael, R. Ayani, K. Rasch, M.G. Lozano, M. Aiello, A. Lazovik, A. Denaro, G. Lasala, P. Pucci, C. Holzner, F. Cincotti, and F. Aloise, (2009) An Embedded Middleware Platform for Pervasive and Immersive Environments for-All. In Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops '09. 6th Annual IEEE Communications Society Conference on , pp.1-3.

  46. 119.M. Aiello, N. van Benthem, and E. el Khoury (2008) Visualizing Compositions of Services from Large Repositories, in Joint 10th IEEE Conference on E-Commerce Technology (CEC'08) and the 5th IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, pages 359–362.

  47. 120.C. Sun and M. Aiello (2008) Towards Variable Service Compositions using VxBPEL, In International Conference on Software Reuse (ICSR08), Mei, H. (Ed.), Springer, LNCS 5030, pp.257-261.

  48. 121.M. Aiello, B. Ottens (2007) The Mathematical Morpho-Logical view on Reasoning about Space. In Int. Joint Conf. on Artificial Intelligence (IJCAI'07) p. 205-211, Hyderabad, India.

  49. 122.Changai Sun and Marco Aiello (2007) Requirements and Evaluation of Protocols and Tools for Transaction Management in Service Centric Systems. In IEEE workshop on Requirement Engineering for Services (REFS 07) at IEEE COMPSAC, Volume II:461-466.

  50. 123.M. Aiello, S. Dustdar, H. Gall. DMC (2007) Distributed and Mobile Collaboration. In IEEE Workshop on Enabling Technologies: Infrastructure for collaborative enterprises (WET-ICE 07) pages 167-169.

  51. 124.M. Aiello, F. Rosenberg, C. Platzer, A. Ciabattoni, S. Dustdar (2006) QoS Composition at the level of part names. In Web Services and Formal Methods (WS-FM'06) Springer, LNCS 4184, pages 24-37.

  52. 125.M. Aiello, C. Platzer, F. Rosenberg, H. Tran, M. Vasko, S. Dustdar (2006) Web Service Indexing for Efficient Retrieval and Composition. In Joint 8th IEEE Conference on E-Commerce Technology (CEC'06) and the 3rd IEEE Conference on Enterprise Computing, E-Commerce and E-Services IEEE Computer, pages 424-426.

  53. 126.M. Aiello (2006) The Role of Web Services at Home. In IEEE Web Services-based Systems and Applications (WEBSA at ICIW) IEEE Computer.

  54. 127.A. Lazovik, M. Aiello, and R. Gennari (2006) Choreographies: using Constraints to Satisfy Service Requests. In IEEE Web Services-based Systems and Applications (WEBSA at ICIW) IEEE Computer.

  55. 128.S. Dustdar and M. Aiello (2006) Service Oriented Computing: Service Foundations. Service Oriented Computing, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, vol 05462.

  56. 129.M. Aiello and M. Zanoni (2006) Web Service e Domotica: un Connubio Possibile, in Conf. AICA 2006, Ass. Italiana Calcolo Automatico.

  57. 130.M. Aiello, G. Frankova, and D. Malfatti (2005) What's in an Agreement? An Analysis and an Extension of WS-Agreement. LNCS 3826:424-436, Int. Conf. on Service-Oriented Computing (ICSOC) 2005.

  58. 131.A. Lazovik, M. Aiello, and R. Gennari (2005) Encoding Requests to Web Service Compositions as Constraints. LNCS 3709:782-786. Constraint Programming (CP’05).

  59. 132.M. Aiello, M. Marchese, P. Busetta, and G. Calabrese (2005) Opening the Home: a Web Service Approach to Domotics, volume I:271-279, In N. Guimaraes and P. Isaias (eds). Applied Computing 2005 IADIS.

  60. 133.A. Lazovik, M. Aiello, and M. Papazoglou (2004) Associating Assertions with Business Processes and Monitoring their Execution. In M. Aiello, M. Aoyama, F. Curbera, and M. Papazoglou (eds). ICSOC'04 ACM Press, pages 94-104.

  61. 134.V. D Andrea, I. Fikouras, and M. Aiello (2004) Interface inheritance for object-oriented service composition based on model driven configuration. In S. Weerawarana (ed). RA221:W0411-084 ICSOC'04 (forum) IBM.

  62. 135.A. Lazovik, M. Aiello, and M. Papazoglou (2003) Planning and monitoring the execution of web service requests. Int. Conf. Service-Oriented Computing (ICSOC'03) LNCS 2910, pages 335-350.

  63. 136.M. Aiello and A. Smeulders (2003) Thick 2D Relations for Document Understanding. 7th Joint Conference on Information Sciences

  64. 137.V. D Andrea and M. Aiello (2003) Services and Objects: Open issues. In G. Piccinelli and S. Weerawarana (eds). IBM Research Report RA 220 Computer Science, pages 23-29.

  65. 138.M. Aiello, M. Papazoglou, J. Yang, M. Carman, M. Pistore, L. Serafini, and P. Traverso (2002) A request language for web-services based on planning and constraint satisfaction. VLDB workshop on Technologies for E-Services (TES) Lecture Notes in Computer Sciences, pages 76-85.

  66. 139.M. Aiello (2001) Computing Spatial Similarity by Games.  Conference of the Italian Association for Artificial Intelligence (AI*IA-01) In F. Esposito (ed). Lecture Notes in Artificial Intelligence LNAI 2175 , pages 99-110.

  67. 140.L. Todoran, M. Aiello, C. Monz, and M. Worring (2001) Logical Structure Detection for Heterogeneous Document Classes.  Document Recognition and Retrieval VIII, SPIE pages 99-110.

  68. 141.M. Aiello, P. Busetta, A Dona', and L. Serafini (2001) Ontological Overhearing. In 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001) Lecture Notes in Artificial Intelligence LNAI, pages 1-15.

  69. 142.M. Aiello (2000) Topo-distance: Measuring the Difference between Spatial Patterns.  In M. Ojeda-Aciego and de Guzman, I. and Brewka, G. and Moniz Pereira, L. (eds). Logics in Artificial Intelligence (JELIA 2000) Lecture Notes in Artificial Intelligence LNAI 1919, pages 73-86.

  70. 143.M. Aiello, M. Monz, and L. Todoran (2000) Combining Linguistic and Spatial Information for Document Analysis. In J. Mariani and Harman, D. (eds). Proceedings of RIAO'2000 Content-Based Multimedia Information Access pages 266-275.

  71. 144.M. Aiello and Areces, C., and de Rijke, M., Spatial Reasoning for Image Retrieval. (1999) In P. Lambrix and Borgida, A. and Lenzerini, M. and Moeller, R and Patel-Schneider, P. (eds). Proceeding of the International Workshop on Description Logics (DL'99) pages 23-27.

  72. 145.A. Agostini and M. Aiello (1999) Teaching via the Web: A self-evaluation game using Java for learning logical equivalence. In P. De Bra and J. Leggett (eds). Proceedings of WebNet99 1:75-80.

  73. 146.M. Aiello and J. van Benthem (1999) Spaces to Play: Topo-Games, in M. Pauly and A. Baltag, A. (eds). Workshop on Logic and Games num PP-99-25 pages 17-18.

  74. 147.M. Aiello (1998) Spatial Reasoning and Reasoning with Images.  Proceedings of the Accolade {'98.

  75. 148.M. Aiello, L. De Maria, and C. De Mei (1997) A Java toolkit for representing 3D environments,  Proceedings of WebNet97.

  76. 149.M. Aiello and M. Haeberli (1996) Integrating Servers for Communication over the Internet. Proceedings of WebNet96.


Other

  1. a.M. Aiello, Y. Bai, G. Cabri, N. Eder, F. Mandreoli, M. Mecella, H. Mu, K. Phalp, P. de Vrieze, L. Xu and H. Yu. (2017) EU H2020 FIRST- vF Interoperation suppoRting buSiness innovation. Network Plus: Industrial Systems in the Digital Age Conference 2017, Glasgow, UK.

  2. b.M. Aiello (2014) Shedding (LED) light on the 2014 Physics Nobel Prize. University of Groningen.

  3. c.M. Aiello (2012) Spatial Distributed Information: From a Silly Chat to the Smart Grid. Inaugural Speech. University of Groningen.

  4. d.M. Aiello (2011) One quote, two quotes, billions of quotes! University of Groningen (student yearly almanac, theme: `quotes’)

  5. e.M. Aiello (2008) Do computers panic? University of Groningen (student yearly almanac, theme: `panic’)

  6. f.Changai Sun and Marco Aiello (2007) A Declarative Approach to Integrating Transaction Management into BPEL Processes, Technical Report IWI PP 2007-7-01, Univ. of Groningen.

  7. g.M. Aiello (2006) Service-Oriented Computing: Composition and Mobility. Centro Stampa dell'Universita' degli Studi di Trento, 2006. 90 pages. ISBN: 88-8443-156-5.


  1. h.M. Aiello (2005) The Role of Web Services at Home. DIT-05-065 Univ. Trento, Trento.

  2. i.A. Lazovik, M. Aiello, and R. Gennari (2005) Encoding Requests to Web Service Compositions as Constraints. DIT-05-40, Univ. Trento, Trento.

  3. j.M. Aiello, G. Frankova, and D. Malfatti (2005) What's in an Agreement? A Formal Analysis and an extension of WS-Agreement. DIT-05-39, Univ. Trento, Trento. M. Aiello, M. Marchese, P. Busetta, and G. Calabrese (2004) Opening the Home: a Web Service Approach to Domotics DIT-04-109 Univ. Trento, Trento.

  4. k.M. Aiello and A. Pegoretti (2004) Textual Article Clustering in Newspaper Pages. DIT-04-102 Univ. Trento, Trento.

  5. l.M. Aiello and P. Giorgini (2004) Applying the Tropos Methodology for Analysing Web Services Requirements and Reasoning about Qualities of Services. DIT-04-34 Univ. Trento, Trento.

  6. m.M. Aiello, C. Bussler, V. D'Andrea, and J. Yang (2003) Forum Session at ICSOC 03. DIT-03-56 Univ. Trento, Trento.

  7. n.A. Lazovik, M. Aiello, and M. Papazoglou (2003) Planning and monitoring the execution of web service requests. DIT-03-49 Univ. Trento, Trento.

  8. o.V. D'Andrea and M. Aiello (2003) Services and Objects: Open issues. DIT-03-85 Univ. Trento, Trento

  9. p.M. Papazoglou, M. Aiello, M. Pistore, and J. Yang (2002) XSRL: An XML web-services request language.  DIT-02-0079 Univ. Trento, Trento.

  10. q.M. Aiello (2002) Spatial Reasoning: Theory and Practice.  ILLC Dissertations series UvA, 2002-2, pages 224.


  1. r.M. Aiello and A. Smeulders (2002) Thick 2D Relations for Document Understanding.  DIT-02-063 Univ. Trento, Trento.

  2. s.M. Aiello and J. van Benthem (2002) A Modal Walk through Space. PP-01-23 UvA, Amsterdam.

  3. t.M. Aiello, J. van Benthem, and G. Bezhanishvili (2001) Reasoning about Space: the Modal Way.  PP-01-18 UvA, Amsterdam.

  4. u.M. Aiello and J. van Benthem  (1999) Logical Patterns in Space  PP-99-24 UvA, Amsterdam.

  5. v.M. Aiello, N. Cancedda, B. Errico, and M. Pizzonia (1998) Intelligenza Artificiale: Un Approccio Moderno. In L. Carlucci (eds), UTET. Translation into Italian of Russel and Norvig Artificial Intelligence: A modern approach.

  6. w.M. Aiello (1997) The use of scripting languages for rapid prototyping, Master in Ingegneria Informatica, Univ. di Roma La Sapienza, in Italian.



Videos

  1. i.2014 Keynote on Smart Offices

  2. ii.Green Mind Award (final short) (final long) (intermediate)

  3. iii.SM4All EU Project (summary) (news)

  4. iv.SaS-Leg NWO Project (summary) (tool)


Press coverage

  1. Link to articles related to my research

 
Disclaimer: the material available on this web page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Publications