-
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
-
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
-
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
-
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
-
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto,Automated Deduction – CADE 26,vol. 10395,2017, pp. 95-113
-
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco,Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence,AAAI Press,2017, pp. 3547-3554
-
Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko,Proceedings of Formal Methods in Computer Aided Design (FMCAD 2017),2017, pp. 188-195
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,Proceedings of International Symposium on Model-Based Safety and Assessment,Springer,vol. 10437,2017, pp. 255-271
-
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
-
Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,Springer,vol. 10489,2017
-
Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedemann,Springer,vol. 10488,2017
-
Tonetta, Stefano,Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017,vol. 256,2017, pp. 195-209
-
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
-
Bozzano, Marco; Papadopoulos, Yiannis,Springer,vol. 10437,2017
-
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
-
Griggio, Alberto; Rümmer, Philipp,Preface to special issue on satisfiability modulo theories,Formal Methods in System Design,vol. 51,2017, pp. 431-432
-
Micheli, Andrea,Disjunctive temporal networks with uncertainty via SMT: Recent results and directions,in «INTELLIGENZA ARTIFICIALE»,vol. 11,n. 2,2017, pp. 155-178
-
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
-
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
-
Cimatti, Alessandro; Hunsberger, Luke; Micheli, Andrea; Posenato, Roberto; Roveri, Marco,in «ACTA INFORMATICA»,2016, pp. 1-42