Francesco Buccafurri

Loading Google Thumbnails...
2012
73A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms. Francesco Buccafurri, Filippo Furfaro, Domenico Saccā. Inf. Sci. (188): 121-150 (2012). Web SearchBibTeXDownload
2011
72Threats to Legal Electronic Storage: Analysis and Countermeasures. Francesco Buccafurri, Gianluca Caminiti, Gianluca Lax. EGOVIS 2011, 68-77. Web SearchBibTeXDownload
71Implementing disposable credit card numbers by mobile phones. Francesco Buccafurri, Gianluca Lax. Electronic Commerce Research (11): 271-296 (2011). Web SearchBibTeXDownload
70A quad-tree based multiresolution approach for two-dimensional summary data. Francesco Buccafurri, Filippo Furfaro, Giuseppe M. Mazzeo, Domenico Saccā. Inf. Syst. (36): 1082-1103 (2011). Web SearchBibTeXDownload
2010
69Approximating sliding windows by cyclic tree-like histograms for efficient range queries. Francesco Buccafurri, Gianluca Lax. Data Knowl. Eng. (69): 979-997 (2010). Web SearchBibTeXDownload
68A contextual reading of conditional commitments. Juan Manuel Serrano, Sergio Saugar, Rosario Laurendi, Francesco Buccafurri. ECAI 2010, 993-994. Web SearchBibTeXDownload
67Improving Similarity-Based Methods for Information Propagation on Social Networks. Francesco Buccafurri, Gianluca Lax. NDT (1) 2010, 391-401. Web SearchBibTeXDownload
66Archiving Digital Documents: Issues in Dematerialization (Extended Abstract). Francesco Buccafurri, Gianluca Caminiti, Gianluca Lax. SEBD 2010, 182-189. Web SearchBibTeX
2009
65Approximate Range Querying over Sliding Windows. Francesco Buccafurri, Gianluca Caminiti, Gianluca Lax. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009, 2037-2050. Web SearchBibTeXDownload
64Histograms for OLAP and Data-Stream Queries. Francesco Buccafurri. Encyclopedia of Data Warehousing and Mining 2009, 976-981. Web SearchBibTeXDownload
63A Framework for Using Web Services to Enhance QoS for Content Delivery. Francesco Buccafurri, Pasquale De Meo, Gianluca Lax, Domenico Ursino, Mariagrazia Fugini, Stefano Modafferi, Barbara Pernici, Roberto Furnari, Anna Goy, Pasquale Lops, Domenico Redavid, Giovanni Semeraro. IEEE MultiMedia (16): 26-35 (2009). Web SearchBibTeXDownload
62Signing Digital Documents in Hostile Environments. Francesco Buccafurri, Gianluca Lax. JDIM (7): 106-113 (2009). Web SearchBibTeX
61An efficient k-anonymous localization technique for assistive environments. Francesco Buccafurri, Gianluca Lax. PETRA 2009. Web SearchBibTeXDownload
60A Probabilistic Framework for Localizing People with K-anonymity. Francesco Buccafurri, Gianluca Lax. SEBD 2009, 349-360. Web SearchBibTeX
59Fortifying the dalì attack on digital signature. Francesco Buccafurri, Gianluca Caminiti, Gianluca Lax. SIN 2009, 278-287. Web SearchBibTeXDownload
2008
58An ASP-based approach to dealing with agent perception failure. Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci. AI Commun. (21): 49-69 (2008). Web SearchBibTeXDownload
57Analysis of QoS in cooperative services for real time applications. Francesco Buccafurri, Pasquale De Meo, Maria Grazia Fugini, Roberto Furnari, Anna Goy, Gianluca Lax, Pasquale Lops, Stefano Modafferi, Barbara Pernici, Domenico Redavid, Giovanni Semeraro, Domenico Ursino. Data Knowl. Eng. (67): 463-484 (2008). Cited by 3Web SearchBibTeXDownload
56A Light Number-Generation Scheme for Feasible and Secure Credit-Card-Payment Solutions. Francesco Buccafurri, Gianluca Lax. EC-Web 2008, 11-20. Web SearchBibTeXDownload
55A Logic Language with Stable Model Semantics for Social Reasoning. Francesco Buccafurri, Gianluca Caminiti, Rosario Laurendi. ICLP 2008, 718-723. Web SearchBibTeXDownload
54Generating One-Time Passwords by Cheap and Fast Devices. Francesco Buccafurri, Gianluca Lax. SEBD 2008, 22-33. Web SearchBibTeX
53Logic programming with social features. Francesco Buccafurri, Gianluca Caminiti. TPLP (8): 643-690 (2008). Web SearchBibTeXDownload
52Enhancing histograms by tree-like bucket indices. Francesco Buccafurri, Gianluca Lax, Domenico Saccā, Luigi Pontieri, Domenico Rosaci. VLDB J. (17): 1041-1061 (2008). Web SearchBibTeXDownload
2007
51Hardening digital signatures against untrusted signature software. Francesco Buccafurri, Gianluca Lax. ICDIM 2007, 159-164. Web SearchBibTeXDownload
50Enabling Selective Flooding to Reduce P2P Traffic. Francesco Buccafurri, Gianluca Lax. OTM Conferences (1) 2007, 188-205. Web SearchBibTeXDownload
49Modellazione della QoS in Ambienti Web-Service con Applicazioni di Video Streaming. Francesco Buccafurri, Luca Console, Pasquale De Meo, Maria Grazia Fugini, Anna Goy, Gianluca Lax, Pasquale Lops, Stefano Modafferi, Barbara Pernici, Claudia Picardi, Domenico Redavid, Giovanni Semeraro, Domenico Ursino. SEBD 2007, 298-307. Web SearchBibTeX
48Un Protocollo di Sicurezza contro le Vulnerabilitè derivanti da Software di Firma non Trusted. Francesco Buccafurri, Gianluca Lax. SEBD 2007, 64-75. Web SearchBibTeX
2006
47Dealing with semantic heterogeneity for improving Web usage. Francesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino. Data Knowl. Eng. (58): 436-465 (2006). Web SearchBibTeXDownload
46Logic Programs with Multiple Chances. Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci. ECAI 2006, 347-351. Web SearchBibTeX
45Progresses on Tree-Based Approaches to Improving Histogram Accuracy. Francesco Buccafurri, Gianluca Lax, Domenico Saccā. SEBD 2006, 147-158. Web SearchBibTeX
2005
44Enhancing Histograms by Tree-Like Bucket Indices. Francesco Buccafurri, Gianluca Lax, Domenico Saccā, Luigi Pontieri, Domenico Rosaci. CoRR (abs/cs/0501020) (2005). Web SearchBibTeXDownload
43Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach. Francesco Buccafurri, Filippo Furfaro, Domenico Saccā. CoRR (abs/cs/0501029) (2005). Web SearchBibTeXDownload
42A Social Semantics for Multi-agent Systems. Francesco Buccafurri, Gianluca Caminiti. LPNMR 2005, 317-329. Web SearchBibTeXDownload
2004
41Modeling cooperation in multi-agent communities. Francesco Buccafurri, Domenico Rosaci, Giuseppe M. L. Sarnč, Luigi Palopoli. Cognitive Systems Research (5): 171-190 (2004). Web SearchBibTeXDownload
40TLS: A Tree-Based DHT Lookup Service for Highly Dynamic Networks. Francesco Buccafurri, Gianluca Lax. CoopIS/DOA/ODBASE (1) 2004, 563-580. Web SearchBibTeXDownload
39Fast range query estimation by N-level tree histograms. Francesco Buccafurri, Gianluca Lax. Data Knowl. Eng. (51): 257-275 (2004). Web SearchBibTeXDownload
38Reducing Data Stream Sliding Windows by Cyclic Tree-Like Histograms. Francesco Buccafurri, Gianluca Lax. PKDD 2004, 75-86. Web SearchBibTeXDownload
37Rappresentazioni compresse di Data Stream attraverso istogrammi. Francesco Buccafurri, Gianluca Lax. SEBD 2004, 350-361. Web SearchBibTeX
36Riduzione del traffico nei sistemi P2P: un approccio semantico. Francesco Buccafurri, Gianluca Lax, Simona E. Rombo. SEBD 2004, 370-381. Web SearchBibTeX
2003
35Multiagent Compromises and Joint Fixpoint Semantics. Francesco Buccafurri. APPIA-GULP-PRODE 2003, 180-192. Web SearchBibTeX
34Pre-computing Approximate Hierarchical Range Queries in a Tree-Like Histogram. Francesco Buccafurri, Gianluca Lax. DaWaK 2003, 350-359. Web SearchBibTeXDownload
33L'Istogramma nLT: una Codifica Approssimata di Range Query Gerarchiche. Francesco Buccafurri, Gianluca Lax. SEBD 2003, 81-92. Web SearchBibTeX
32A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data. Francesco Buccafurri, Filippo Furfaro, Domenico Saccā, Cristina Sirangelo. SSDBM 2003, 127-140. Web SearchBibTeXDownload
2002
31Multiagent Compromises, Joint Fixpoints, and Stable Models. Francesco Buccafurri, Georg Gottlob. Computational Logic: Logic Programming and Beyond 2002, 561-585. Web SearchBibTeXDownload
30A User Behavior-Based Agent for Improving Web Usage. Francesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino. CoopIS/DOA/ODBASE 2002, 1168-1185. Web SearchBibTeXDownload
29Binary-Tree Histograms with Tree Indices. Francesco Buccafurri, Filippo Furfaro, Gianluca Lax, Domenico Saccā. DEXA 2002, 861-870. Web SearchBibTeXDownload
28An Agent-Based Hierarchical Clustering Approach for E-commerce Environments. Francesco Buccafurri, Domenico Rosaci, Giuseppe M. L. Sarnč, Domenico Ursino. EC-Web 2002, 109-118. Web SearchBibTeXDownload
27Improving Range Query Estimation on Histograms. Francesco Buccafurri, Domenico Rosaci, Luigi Pontieri, Domenico Saccā. ICDE 2002, 628-638. Web SearchBibTeXDownload
26Modellazione del comportamento degli utenti per supportarne l'accesso a sorgenti informative eterogenee. Francesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino. SEBD 2002, 145-152. Web SearchBibTeX
25Disjunctive Logic Programs with Inheritance. Francesco Buccafurri, Wolfgang Faber, Nicola Leone. TPLP (2): 293-321 (2002). Web SearchBibTeXDownload
2001
24Disjunctive Logic Programs with Inheritance. Francesco Buccafurri, Wolfgang Faber, Nicola Leone. CoRR (cs.LO/0105036) (2001). Web SearchBibTeXDownload
23Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. Francesco Buccafurri, Filippo Furfaro, Domenico Saccā. ICDT 2001, 390-404. Web SearchBibTeXDownload
22On ACTL Formulas Having Linear Counterexamples. Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone. J. Comput. Syst. Sci. (62): 463-515 (2001). Web SearchBibTeXDownload
21A System Implementing Cooperation in Multi-Agent Networks. Francesco Buccafurri, Luigi Palopoli, Domenico Rosaci, Giuseppe M. L. Sarnč. WOA 2001, 20-23. Web SearchBibTeX
2000
20Enhancing Disjunctive Datalog by Constraints. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. IEEE Trans. Knowl. Data Eng. (12): 845-860 (2000). Web SearchBibTeXDownload
19A Logic-Based Approach for Enforcing Access Control. Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo. Journal of Computer Security (8) (2000). Cited by 16Web SearchBibTeX
18Estimating range queries using aggregate data. Francesco Buccafurri, Filippo Furfaro, Domenico Rosaci, Domenico Saccā. SEBD 2000, 7-20. Web SearchBibTeX
1999
17Semantics and Expressiveness of Disjunctive Ordered Logic. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. Ann. Math. Artif. Intell. (25): 311-337 (1999). Web SearchBibTeXDownload
16Enhancing Model Checking in Verification by AI Techniques. Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone. Artif. Intell. (112): 57-104 (1999). Web SearchBibTeXDownload
15A Logical Framework for Reasoning on Data Access Control Policies. Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo. CSFW 1999, 175-189. Cited by 44Web SearchBibTeXDownload
14Compressed Datacubes for fast OLAP Applications. Francesco Buccafurri, Domenico Rosaci, Domenico Saccā. DaWaK 1999, 65-77. Web SearchBibTeXDownload
13Disjunctive Logic Programs with Inheritance. Francesco Buccafurri, Wolfgang Faber, Nicola Leone. ICLP 1999, 79-93. Web SearchBibTeX
1998
12An Authorization Model and Its Formal Semantics. Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo. ESORICS 1998, 127-142. Cited by 25Web SearchBibTeXDownload
11Disjunctive Ordered Logic: Semantics and Expressiveness. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. KR 1998, 418-431. Web SearchBibTeX
1997
10Adding Weak Constraints to Disjunctive Datalog. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. APPIA-GULP-PRODE 1997, 557-568. Web SearchBibTeX
9The Expressive Power of Unique Total Stable Model Semantics. Francesco Buccafurri, Sergio Greco, Domenico Saccā. ICALP 1997, 849-859. Web SearchBibTeXDownload
8Strong and Weak Constraints in Disjunctive Datalog. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. LPNMR 1997, 2-17. Web SearchBibTeXDownload
1996
7On the Expressive Power of Ordered Logic. Francesco Buccafurri, Nicola Leone, Francesco Scarcello. AI Commun. (9): 4-13 (1996). Web SearchBibTeXDownload
6Computing Disjunctive Ordered Logic. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. APPIA-GULP-PRODE 1996, 283-294. Web SearchBibTeX
5Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. J. Log. Program. (27): 5-43 (1996). Web SearchBibTeXDownload
1995
4Disjunctive Ordered Logic. Francesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo. DEXA 1995, 303-312. Web SearchBibTeXDownload
3Ordered Logic and its Relationships to other Logic Programming Formalisms. Francesco Buccafurri. GULP-PRODE 1995, 207-218. Web SearchBibTeX
1994
2A non-deterministic semantics for ordered logic programs. Francesco Buccafurri, Nicola Leone, Pasquale Rullo. GULP-PRODE (1) 1994, 449-463. Web SearchBibTeX
1Implementazione di Interrogazioni Semplici Concatenate. Francesco Buccafurri, Sergio Greco, Eugenio Spadafora. SEBD 1994, 187-205. Web SearchBibTeX
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research