1. Patkar, Rajul; Ashwin, Mamta; Vinchurkar, Madhuri; Adami, Andrea; Giacomozzi, Flavio; Lorenzelli, Leandro; Baghini, M. Shoiaei; Rao, V. Ramgopal,
    2018 IEEE SENSORS Proceedings,
    2018
    , pp. 1-
    3
    , (IEEE Sensors 2018,
    New Delhi, India,
    28-31 October 2018)
  2. Negri, Matteo; Turchi, Marco; Bertoldi, Nicola; Federico, Marcello,
    Proceedings of the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
    2018
    , (Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
    Torino,
    December 10-12, 2018)
  3. Tebbifakhr, Amirhossein; Agrawal, Ruchit; Negri, Matteo; Turchi, Marco,
    Proceedings of the Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
    2018
    , (Fifth Italian Conference on Computational Linguistics (CLiC-it 2018),
    Torino,
    December 10-12, 2018)
  4. Chiasera, Alessandro; Scotognella, Francesco; Boucher, Yann; Lukowiak, Anna; Ristic, Davor; Speranza, Giorgio; Meroni, Cesare; Varas, Stefano; Zur, Lidia; Ivanda, Mile; Taccheo, Stefano; Ramponi, Roberta; Righini, Giancarlo C.; Ferrari, Maurizio,
    Fiber Lasers and Glass Photonics: Materials through Applications,
    vol.10683,
    2018
    , (SPIE PHOTONICS EUROPE,
    Strasbourg, France,
    22-26 April 2018)
  5. Mancini, Massimiliano; Ricci, Elisa; Caputo, Barbara; Rota Bulò, Samuel,
    Computer Vision – ECCV 2018 Workshops, Proceedings Part II,
    Springer,
    vol.11130,
    2018
    , pp. 180-
    190
    , (ECCV 2018 workshop: Transferring and Adapting Source Knowledge in Computer Vision and VisDA Challenge,
    Monaco di Baviera, Germania,
    September 8-14, 2018)
  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