1. Stefano, Tonetta,
    Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
    vol. 256,
    2017
    , pp. 195-
    209
  2. Fauri, Davide; Dos Santos, Daniel Ricardo; Costante, Elisa; den Hartog, Jerry; Etalle, Sandro; Tonetta, Stefano,
    Proceedings of the 2017 Workshop on Cyber-Physical Systems Securityand PrivaCy,
    ACM,
    2017
    , pp. 13-
    24
  3. Marco, Bozzano; Yiannis, Papadopoulos,
    Springer,
    vol. 10437,
    2017
  4. Bozzano, Marco,
    in «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE»,
    Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017),
    vol. 259,
    2017
    , pp. 39-
    46
  5. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design,
    vol. 51,
    2017
    , pp. 431-
    432
  6. Rachele, Sprugnoli; Tommaso, Caselli; Sara, Tonelli; Giovanni, Moretti,
    Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers,
    Association for Computational Linguistics,
    vol. 2,
    2017
    , pp. 260-
    266
  7. Stefano, Menini; Rachele, Sprugnoli; Giovanni, Moretti; Enrico, Bignotti; Sara, Tonelli; Bruno, Lepri,
    Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics,
    Association for Computational Linguistics,
    2017
    , pp. 77-
    80
  8. Dragoni, Mauro; Tonelli, Sara; Moretti, Giovanni,
    in «ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE»,
    vol. 10,
    n. 3,
    2017
    , pp. 15:1-
    15:18
  9. Giorda, Mariachiara; Moretti, Giovanni; Raehme, Boris; Stranisci, Marco; Tonelli, Sara; Turco, Federica,
    Religious and gender issues through the lens of a TV series: Watching OITNB,
    AIUCD 2017 Conference. Book of Abstracts,
    Associazione per l'informatica umanistica e le culture digitali (AIUCD),
    2017
    , pp. 45-
    50
  10. Abdelraheem, Mahmoud Fakhry Mahmoud; Svaizer, Piergiorgio; Omologo, Maurizio,
    Audio Source Separation in Reverberant Environments Using β -Divergence-Based Nonnegative Factorization,
    in «IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING»,
    vol. 25,
    n. 7,
    2017
    , pp. 1462-
    1476
  11. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni,
    Tools and Algorithms for the Construction and Analysis of Systems,
    Springer Berlin Heidelberg,
    vol. 9636,
    2016
    , pp. 533-
    539
  12. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1-
    42
  13. Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
    Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
    2016
    , pp. 907-
    913
  14. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
    2016
    , pp. 972-
    978
  15. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas,
    Intelligent Computer Mathematics - 9th International Conference, CICM 2016,
    vol. 9791,
    2016
    , pp. 28-
    43
  16. Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
    Computer Aided Verification - 28th International Conference, CAV 2016,
    vol. 9779,
    2016
    , pp. 271-
    291
  17. Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,
    2016
    , pp. 1156-
    1159
  18. Alessandro Cimatti; Andrea Micheli; Marco Roveri,
    Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA,
    2016
    , pp. 3116-
    3122
  19. Gario, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne,
    Computer Aided Verification - 28th International Conference CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II,
    vol. 9780,
    2016
    , pp. 3-
    22
  20. Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano,
    Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
    International Foundation for Autonomous Agents and Multiagent Systems,
    2016
    , pp. 1218-
    1226