Massimo Benerecetti

发表

Anita Alicante, Anna Corazza, Stefano Silvestri, 2016, Int. J. Grid Util. Comput..
Anita Alicante, Anna Corazza, Stefano Silvestri, 2014, 2014 Ninth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing.
Fausto Giunchiglia, Luciano Serafini, Massimo Benerecetti, 1999 .
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, 2016, Haifa Verification Conference.
Massimo Benerecetti, Marco Faella, Stefano Minopoli, 2012, HSCC '12.
Fausto Giunchiglia, Massimo Benerecetti, 2000, FAABS.
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani, 2005 .
Maurizio Panti, Luca Spalazzi, Massimo Benerecetti, 2002, SAFECOMP.
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani, 2013, Automated Software Engineering.
Paolo Bouquet, Massimo Benerecetti, Stefano Zanobini, 2005, ESWC.
Massimo Benerecetti, Fabio Mogavero, Erman Acar, 2019, AAAI.
Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2014, FTSCS.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, 2016, CAV.
Alessandro Cimatti, Massimo Benerecetti, A. Cimatti, 2002, AOSE.
Aniello Murano, Massimo Benerecetti, Fabio Mogavero, 2015, ACM Trans. Comput. Log..
Adriano Peron, Massimo Benerecetti, Laura Bozzelli, 2003, ArXiv.
Adriano Peron, Massimo Benerecetti, Nicola Cuomo, 2009, J. Comput..
Massimo Benerecetti, Marco Faella, Stefano Minopoli, 2011, GandALF.
Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi, 2000, FORTE.
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani, 2006, Electron. Notes Theor. Comput. Sci..
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani, 2007, TACAS.
Luca Spalazzi, Massimo Benerecetti, M. Benerecetti, 1996, Future Gener. Comput. Syst..
Fausto Giunchiglia, Massimo Benerecetti, Fausto Giunchiglia, 2000, TACAS.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, 2020, Inf. Comput..
Maurizio Panti, Luca Spalazzi, Massimo Benerecetti, 2002, CAiSE.
Chiara Ghidini, Paolo Bouquet, Massimo Benerecetti, 2000, J. Exp. Theor. Artif. Intell..
Massimo Benerecetti, Marco Faella, M. Faella, 2017, ACM Trans. Embed. Comput. Syst..
Massimo Benerecetti, Marco Faella, M. Faella, 2013, HSCC '13.
Adriano Peron, Massimo Benerecetti, Stefano Minopoli, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.
Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, 1996, ATAL.
Adriano Peron, Massimo Benerecetti, 2016, Theor. Comput. Sci..
Massimo Benerecetti, Marco Faella, Daniele Dell'Erba, 2020, ArXiv.
Massimo Benerecetti, Marco Faella, Stefano Minopoli, 2011, ArXiv.
Adriano Peron, Massimo Benerecetti, M. Benerecetti, 2013, Future Gener. Comput. Syst..
Massimo Benerecetti, Fabio Mogavero, Daniele Dell'Erba, 2019, TACAS.
Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2015, FTSCS.
Fausto Giunchiglia, Luciano Serafini, Massimo Benerecetti, 1998, J. Log. Comput..
Alessandro Cimatti, Massimo Benerecetti, A. Cimatti, 2007 .
Chiara Ghidini, Paolo Bouquet, Massimo Benerecetti, 2001, CONTEXT.
Adriano Peron, Massimo Benerecetti, Nicola Cuomo, 2010, 2010 International Conference on High Performance Computing & Simulation.
Paolo Bouquet, Massimo Benerecetti, Matteo Bonifacio, 2001, Hum. Comput. Interact..
Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, 2007, ASE '07.
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, 2016, CAV.
Massimo Benerecetti, Marco Faella, Stefano Minopoli, 2011, IEEE Conference on Decision and Control and European Control Conference.
Fausto Giunchiglia, Luciano Serafini, Massimo Benerecetti, 1998, ATAL.
Massimo Benerecetti, Marco Faella, Stefano Minopoli, 2013, Theor. Comput. Sci..
Roberto Nardone, Valeria Vittorini, Beniamino Di Martino, 2020, J. Syst. Softw..
Massimo Benerecetti, Fabio Mogavero, Daniele Dell'Erba, 2017, GandALF.
Luciano Serafini, Enrico Giunchiglia, Massimo Benerecetti, 1999 .
Massimo Benerecetti, Fabio Mogavero, Daniele Dell'Erba, 2018, Inf. Comput..
Aniello Murano, Massimo Benerecetti, Fabio Mogavero, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Massimo Benerecetti, Marco Faella, 2017, Inf. Comput..
Fausto Giunchiglia, Luciano Serafini, Massimo Benerecetti, 1998, EUROVAV.
Chiara Ghidini, Paolo Bouquet, Massimo Benerecetti, 1998, AIMSA.
Anita Alicante, Anna Corazza, Stefano Silvestri, 2016, Int. J. Grid Util. Comput..
Luciano Serafini, Enrico Giunchiglia, Massimo Benerecetti, 1996, International Journal of Intelligent Systems.
Massimo Benerecetti, Fabio Mogavero, Daniele Dell'Erba, 2016, GandALF.
Chiara Ghidini, Paolo Bouquet, Massimo Benerecetti, 2002 .
Roberto Nardone, Valeria Vittorini, Stefano Marrone, 2019, SPIN.
Sven Schewe, Massimo Benerecetti, Fabio Mogavero, 2021, ArXiv.
Dario Della Monica, Massimo Benerecetti, Fabio Mogavero, 2021, ArXiv.
Adriano Peron, Massimo Benerecetti, Fabio Mogavero, 2021, QUATIC.