1. Pertilä, Pasi; Brutti, Alessio; Svaizer, Piergiorgio; Omologo, Maurizio,
    Multichannel Source Activity Detection, Localization, and Tracking,
    Audio Source Separation and Speech Enhancement,
    2018
    , pp. 47-
    64
  2. Cerone, Antonio; Roveri, Marco,
    Software Engineering and Formal Methods – {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    vol. 10729,
    2018
  3. Zottele, Fabio; Roveri, Marco; Rigo, Elia; Simoni, Eros; Villa, Paolo; Toller, Giambattista,
    Atti del XXI Convegno Nazionale di Agrometeorologia Agrometeorologia per le Politiche di Sviluppo Rurale Agrometeorology for Rural Development Policies,
    2018
    , pp. 70-
    73
  4. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Tools and Algorithms for the Construction and Analysis of Systems,
    vol. 10205,
    2017
    , pp. 58-
    75
  5. Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,
    Automated Deduction – CADE 26,
    vol. 10395,
    2017
    , pp. 95-
    113
  6. Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,
    Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,
    AAAI Press,
    2017
    , pp. 3547-
    3554
  7. Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,
    Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017),
    2017
    , pp. 188-
    195
  8. Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
    Proceedings of International Symposium on Model-Based Safety and Assessment,
    Springer,
    vol. 10437,
    2017
    , pp. 255-
    271
  9. Bozzano, Marco; Bruintjes, Harold; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas; Tonetta, Stefano,
    Cyber-Physical System Design from an Architecture Analysis Viewpoint,
    Springer,
    2017
    , pp. 133-
    159
  10. Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,
    Springer,
    vol. 10489,
    2017
  11. Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,
    Springer,
    vol. 10488,
    2017
  12. Tonetta, Stefano,
    Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,
    vol. 256,
    2017
    , pp. 195-
    209
  13. 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
  14. Bozzano, Marco; Papadopoulos, Yiannis,
    Springer,
    vol. 10437,
    2017
  15. 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
  16. Griggio, Alberto; Rümmer, Philipp,
    Preface to special issue on satisfiability modulo theories,
    Formal Methods in System Design,
    vol. 51,
    2017
    , pp. 431-
    432
  17. Micheli, Andrea,
    Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,
    in «INTELLIGENZA ARTIFICIALE»,
    vol. 11,
    n. 2,
    2017
    , pp. 155-
    178
  18. 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
  19. Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; 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
  20. Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,
    in «ACTA INFORMATICA»,
    2016
    , pp. 1-
    42