-
Ábrahám, E.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.,
in «ACM COMMUNICATIONS IN COMPUTER ALGEBRA»,
vol. 50,
n. 4,
2016
, pp. 145 -
147
-
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
, (Tools and Algorithms for the Construction and Analysis of Systems,
Eindhoven, The Netherlands,
2-8 aprile 2016)
-
Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti; Gianni, Zampedri,
Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016),
2016
, pp. 907-
913
, (30th AAAI Conference on Artificial Intelligence (AAAI 2016),
Phoenix, Arizona, Stati Uniti,
12–17/02/2016)
-
Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro,
Proceedings of the 25th International Joint Conference on Artificial Intelligence, IJCAI,
2016
, pp. 972-
978
, (25th International Joint Conference on Artificial Intelligence,
New York City, NY, Stati Uniti,
9-15 July 2016)
-
Á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
, (9th Conference on Intelligent Computer Mathematics CICM 2016,
Bialystok, Poland,
July 25-29, 2016)
-
Daniel, Jakub; Cimatti, Alessandro; Griggio, Alberto; Tonetta, Stefano; Mover, Sergio,
Computer Aided Verification - 28th International Conference, CAV 2016,
vol.9779,
2016
, pp. 271-
291
, (28th International Conference on Computer Aided Verification, CAV 2016,
Toronto, Canada,
July 17-23, 2016)
-
Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016,
2016
, pp. 1156-
1159
, (2016 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Dresden, Germany,
14-18 March 2016)
-
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
, (Thirtieth AAAI}Conference on Artificial Intelligence,
Phoenix, Arizona, USA,
February 12-17, 2016)
-
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
, (28th International Conference on Computer Aided Verification (CAV),
Toronto, Canada,
July 17-23 2016)
-
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
, (2016 International Conference on Autonomous Agents & Multiagent Systems,
Singapore,
9-13 May, 2016)