Cybersecurity - Publications
- A. Zengin;R. Kazhamiakin;M. Pistore; Clam: Cross-layer management of adaptation decisions for service-based applications; in «Web Services (ICWS), 2011 IEEE International Conference on»; Being printed; pp. 698-699
- A. Zengin;A. Marconi;L. Baresi;M. Pistore; CLAM: Managing Cross-layer Adaptation in Service-Based Systems; in «Service Oriented Computing Applications (SOCA), 2011 IEEE International Conference on»; Being printed; pp.
- Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
- Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
- Micheli, Andrea; Disjunctive temporal networks with uncertainty via SMT: Recent results and directions; in «INTELLIGENZA ARTIFICIALE»; Vol. 11>; 2017; pp. 155-178
- Khoshkangini, Reza; Valetto, Giuseppe; Marconi, Annapaola; Generating Personalized Challenges to Enhance the Persuasive Power of Gamification; in «Proceedings of the Second International Workshop on Personalization in Persuasive Technology co-located with the 12th International Conference on Persuasive Technology»; 2017; pp.
- Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi; A context-aware framework for dynamic composition of process fragments in the internet of services; in «JOURNAL OF INTERNET SERVICES AND APPLICATIONS»; Vol. 8>; 2017; pp. 1-23
- Miele, Francesco; Piras, Enrico Maria; Introduzione; in «Mettere la cura in pratica. Professioni e scene della cura fuori dagli ospedali»; Milano; Ledizioni; Vol. 2>; 2017; pp. 7-24
- Crabu S., Giardullo P., Miele F., Turrini M.; Sociotechnical Environments. Proceedings of the VI STS Italia Conference 2016; Milano; Sts Italia Publishing; 2017; pp.
- Fornasini, Silvia; Piras, Enrico Maria; Miele, Francesco; La sicurezza come pratica materiale di coordinamento. Il caso dell’introduzione di un Sistema per la gestione della terapia oncologica; in «Sociotechnical Environments. Proceedings of the VI STS Italia Conference 2016»; 2017; pp. 277-292