1. Loria, Enrica; Marconi, Annapaola,
    Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play,
    ACM,
    2018
    , pp. 531-
    538
    , (ACM Annual Symposium on Computer-Human Interaction in Play - CHIPLAY,
    Melbourne, Australia,
    Oct. 28–31, 2018)
  2. De Sanctis, Martina; Marconi, Annapaola,
    Proceedings of 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W),
    IEEE,
    2018
    , (IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W),
    Trento, Italy,
    3-7 Sept. 2018)
  3. Massari, Nicola; Xu, Hesong,
    Proceedings of 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS),
    2018
    , pp. 141-
    144
    , (25th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2018,
    Bordeaux, France,
    9-12 Dec. 2018)
  4. Toschi, I.; Remondino, F.; Rothe, R.; Klimek, K.,
    Combining airborne oblique camera and lidar sensors: investigation and new perspectives,
    The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences,
    vol.XLII-1,
    2018
    , pp. 437-
    444
    , (ISPRS TC I Mid-term Symposium “Innovative Sensing – From Sensors to Methods and Applications”,
    Karlsruhe, Germany,
    10–12 October 2018)
  5. Mancini, Massimiliano; Ricci, Elisa; Caputo, Barbara; Rota Bulò, Samuel,
    Adding New Tasks to a Single Network with Weight Transformations using Binary Masks,
    Computer Vision – ECCV 2018 Workshops,
    Springer,
    n. 2,
    2018
    , pp. 180-
    190
    , (Transferring and Adapting Source Knowledge in Computer Vision and VisDA Challenge,
    Monaco di Baviera, Germania,
  6. Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik,
    Symbolic execution with existential second-order constraints,
    Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018,
    2018
    , pp. 389-
    399
    , (26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
    Lake Buena Vista, FL, USA,
    November 04 - 09, 2018)
  7. Griggio, Alberto; Roveri, Marco; Tonetta, Stefano,
    Certifying Proofs for LTL Model Checking,
    Formal Methods in Computer-Aided Design, FMCAD 2018,
    2018
    , pp. 225-
    233
    , (Formal Methods in Computer-Aided Design (FMCAD '18),
    Austin, Texas,
    30 Oct - 2 Nov, 2018)
  8. Sosa, Román; Kiraly, Csaba; Parra Rodriguez, Juan D.,
    Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),
    2018
    , pp. 149-
    152
    , (2018 IEEE International Conference on Cloud Computing Technology and Science (CloudCom),
    Nicosia, Cyprus,
    10-13 December 2018)
  9. Nedbal, Radim; Serafini, Luciano,
    AI*IA 2018 – Advances in Artificial Intelligence,
    Springer,
    vol.11298,
    2018
    , pp. 348-
    361
    , (AI*IA 2018 – Advances in Artificial Intelligence,
    Trento,
    11/2018)
  10. Centellegher, Simone; Miritello, Giovanna; Villatoro, Daniel; Parameshwar, Devyani; Lepri, Bruno; Oliver, Nuria,
    Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies,
    vol.2,
    n. 4,
    2018