Edit Profile (opens in new tab) Spezzano, Francesca Co-Author Distance Author ID: spezzano.francesca Published as: Spezzano, Francesca Documents Indexed: 4 Publications since 2012 Co-Authors: 8 Co-Authors with 4 Joint Publications 222 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Greco, Sergio 2 Subrahmanian, V. S. 2 Trubitsyna, Irina 1 Calautti, Marco 1 Kang, Chanhyun 1 Kraus, Sarit 1 Molinaro, Cristian 1 Serra, Edoardo Serials 1 Artificial Intelligence 1 Theory and Practice of Logic Programming Fields 3 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 8 times in 7 Documents Cited by ▼ Year ▼ Checking termination of bottom-up evaluation of logic programs with function symbols. Zbl 1379.68051 Calautti, Marco; Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina 4 2015 On the termination of logic programs with function symbols. Zbl 1281.68065 Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina 3 2012 Diffusion centrality: a paradigm to maximize spread in social networks. Zbl 1390.91267 Kang, Chanhyun; Kraus, Sarit; Molinaro, Cristian; Spezzano, Francesca; Subrahmanian, V. S. 1 2016 Diffusion centrality: a paradigm to maximize spread in social networks. Zbl 1390.91267 Kang, Chanhyun; Kraus, Sarit; Molinaro, Cristian; Spezzano, Francesca; Subrahmanian, V. S. 1 2016 Checking termination of bottom-up evaluation of logic programs with function symbols. Zbl 1379.68051 Calautti, Marco; Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina 4 2015 On the termination of logic programs with function symbols. Zbl 1281.68065 Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina 3 2012 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 2 Calautti, Marco 2 Greco, Sergio 2 Trubitsyna, Irina 1 Cenzer, Douglas 1 Eiter, Thomas 1 Ferreira, Fernando A. F. 1 Fink, Michael 1 Krennwallner, Thomas 1 Lierler, Yuliya 1 Marek, V. Wiktor 1 Molinaro, Cristian 1 Redl, Christoph 1 Remmel, Jeffrey Brian 1 Riguzzi, Fabrizio 1 Spezzano, Francesca 1 Swift, Terrance 1 Tselykh, Alexander 1 Tselykh, Larisa 1 Vasilev, Vladislav Cited in 5 Serials 2 Theory and Practice of Logic Programming 1 Artificial Intelligence 1 Annals of Operations Research 1 Constraints 1 ACM Transactions on Computational Logic Cited in 4 Fields 6 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year