-
Stefano, Tonetta,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
-
Marco, Bozzano; Yiannis, Papadopoulos,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
-
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
-
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
-
Dragoni, Mauro; Tonelli, Sara; Moretti, Giovanni,in «ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE»,vol. 10,n. 3,2017, pp. 15:1-15:18
-
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
-
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; 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
-
Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),2016, pp. 907-913
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,2016, pp. 972-978
-
Á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
-
Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,Computer Aided Verification - 28th International Conference, CAV 2016,vol. 9779,2016, pp. 271-291
-
Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,2016, pp. 1156-1159
-
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
-
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
-
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