Simone Bova

发表

Tommaso Flaminio, Simone Bova, T. Flaminio, 2010, Int. J. Approx. Reason..
Friedrich Slivovsky, Simone Bova, 2015, CSR.
Robert Ganian, Stefan Szeider, Simone Bova, 2015, TOCL.
Hubie Chen, Simone Bova, Matthew Valeriote, 2011, Inf. Comput..
Barnaby Martin, Simone Bova, B. Martin, 2015, CSL.
Simone Bova, Stefano Aguzzoli, Vincenzo Marra, 2009, LFCS.
Franco Montagna, Simone Bova, F. Montagna, 2009, Theor. Comput. Sci..
Simone Bova, Stefano Aguzzoli, Diego Valota, 2017, Soft Comput..
Pietro Codara, Simone Bova, Vincenzo Marra, 2010, International Conference on Fuzzy Systems.
Friedrich Slivovsky, Stefan Mengel, Simone Bova, 2014, ArXiv.
Simone Bova, S. Bova, 2012, Stud Logica.
Robert Ganian, Stefan Szeider, Simone Bova, 2014, IPEC.
Franco Montagna, Simone Bova, F. Montagna, 2006, TOCL.
Robert Ganian, Stefan Szeider, Simone Bova, 2014, Theor. Comput. Sci..
Friedrich Slivovsky, Stefan Mengel, Simone Bova, 2016, IJCAI.
Simone Bova, Diego Valota, 2012, J. Log. Comput..
Hubie Chen, Simone Bova, Hubie Chen, 2014, ICDT.
Friedrich Slivovsky, Stefan Mengel, Simone Bova, 2015, SAT.
Hubie Chen, Simone Bova, Matthew Valeriote, 2010, Theory of Computing Systems.
Franco Montagna, Simone Bova, 2013, Theor. Comput. Sci..
Simone Bova, Leonardo Manuel Cabrer, 2014, Order.
Fabio Mogavero, Simone Bova, S. Bova, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stefan Szeider, Simone Bova, Stefan Szeider, 2017, PODS.
Simone Bova, Stefano Aguzzoli, 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.
Friedrich Slivovsky, Simone Bova, S. Bova, 2014, Theory of Computing Systems.
Hubie Chen, Simone Bova, 2018, Theory of Computing Systems.
Pietro Codara, Simone Bova, Vincenzo Marra, 2010, International Conference on Fuzzy Systems.
Simone Bova, Stefano Aguzzoli, S. Bova, 2010, Ann. Pure Appl. Log..
Franco Montagna, Simone Bova, F. Montagna, 2008 .