dblp.uni-trier.dewww.uni-trier.de

Francesco Buccafurri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
61EETommaso Di Noia, Francesco Buccafurri: E-Commerce and Web Technologies, 10th International Conference, EC-Web 2009, Linz, Austria, September 1-4, 2009. Proceedings Springer 2009
60EEFrancesco Buccafurri, Gianluca Caminiti, Gianluca Lax: Fortifying the dalì attack on digital signature. SIN 2009: 278-287
2008
59EEFrancesco Buccafurri, Gianluca Lax: A Light Number-Generation Scheme for Feasible and Secure Credit-Card-Payment Solutions. EC-Web 2008: 11-20
58EEFrancesco Buccafurri, Gianluca Caminiti, Rosario Laurendi: A Logic Language with Stable Model Semantics for Social Reasoning. ICLP 2008: 718-723
57 Francesco Buccafurri, Gianluca Lax: Generating One-Time Passwords by Cheap and Fast Devices. SEBD 2008: 22-33
56EEFrancesco Buccafurri, Gianluca Caminiti, Domenico Rosaci: An ASP-based approach to dealing with agent perception failure. AI Commun. 21(1): 49-69 (2008)
55EEFrancesco Buccafurri, Gianluca Caminiti: Logic programming with social features CoRR abs/0805.3518: (2008)
54EEFrancesco 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: Analysis of QoS in cooperative services for real time applications. Data Knowl. Eng. 67(3): 463-484 (2008)
53EEFrancesco Buccafurri, Gianluca Caminiti: Logic programming with social features. TPLP 8(5-6): 643-690 (2008)
52EEFrancesco Buccafurri, Gianluca Lax, Domenico Saccà, Luigi Pontieri, Domenico Rosaci: Enhancing histograms by tree-like bucket indices. VLDB J. 17(5): 1041-1061 (2008)
2007
51EEFrancesco Buccafurri, Gianluca Lax: Hardening digital signatures against untrusted signature software. ICDIM 2007: 159-164
50EEFrancesco Buccafurri, Gianluca Lax: Enabling Selective Flooding to Reduce P2P Traffic. OTM Conferences (1) 2007: 188-205
49 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: Modellazione della QoS in Ambienti Web-Service con Applicazioni di Video Streaming. SEBD 2007: 298-307
48 Francesco Buccafurri, Gianluca Lax: Un Protocollo di Sicurezza contro le Vulnerabilitè derivanti da Software di Firma non Trusted. SEBD 2007: 64-75
2006
47 Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci: Logic Programs with Multiple Chances. ECAI 2006: 347-351
46 Francesco Buccafurri, Gianluca Lax, Domenico Saccà: Progresses on Tree-Based Approaches to Improving Histogram Accuracy. SEBD 2006: 147-158
45EEFrancesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino: Dealing with semantic heterogeneity for improving Web usage. Data Knowl. Eng. 58(3): 436-465 (2006)
2005
44EEFrancesco Buccafurri, Gianluca Caminiti: A Social Semantics for Multi-agent Systems. LPNMR 2005: 317-329
43EEFrancesco Buccafurri, Gianluca Lax, Domenico Saccà, Luigi Pontieri, Domenico Rosaci: Enhancing Histograms by Tree-Like Bucket Indices CoRR abs/cs/0501020: (2005)
42EEFrancesco Buccafurri, Filippo Furfaro, Domenico Saccà: Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach CoRR abs/cs/0501029: (2005)
2004
41EEFrancesco Buccafurri, Gianluca Lax: TLS: A Tree-Based DHT Lookup Service for Highly Dynamic Networks. CoopIS/DOA/ODBASE (1) 2004: 563-580
40EEFrancesco Buccafurri, Gianluca Lax: Reducing Data Stream Sliding Windows by Cyclic Tree-Like Histograms. PKDD 2004: 75-86
39 Francesco Buccafurri, Gianluca Lax: Rappresentazioni compresse di Data Stream attraverso istogrammi. SEBD 2004: 350-361
38 Francesco Buccafurri, Gianluca Lax, Simona E. Rombo: Riduzione del traffico nei sistemi P2P: un approccio semantico. SEBD 2004: 370-381
37EEFrancesco Buccafurri, Gianluca Lax: Fast range query estimation by N-level tree histograms. Data Knowl. Eng. 51(2): 257-275 (2004)
2003
36 Francesco Buccafurri: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 APPIA-GULP-PRODE 2003
35 Francesco Buccafurri: Multiagent Compromises and Joint Fixpoint Semantics. APPIA-GULP-PRODE 2003: 180-192
34EEFrancesco Buccafurri, Gianluca Lax: Pre-computing Approximate Hierarchical Range Queries in a Tree-Like Histogram. DaWaK 2003: 350-359
33 Francesco Buccafurri, Gianluca Lax: L'Istogramma nLT: una Codifica Approssimata di Range Query Gerarchiche. SEBD 2003: 81-92
32EEFrancesco Buccafurri, Filippo Furfaro, Domenico Saccà, Cristina Sirangelo: A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data. SSDBM 2003: 127-140
2002
31EEFrancesco Buccafurri, Georg Gottlob: Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond 2002: 561-585
30EEFrancesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino: A User Behavior-Based Agent for Improving Web Usage. CoopIS/DOA/ODBASE 2002: 1168-1185
29EEFrancesco Buccafurri, Filippo Furfaro, Gianluca Lax, Domenico Saccà: Binary-Tree Histograms with Tree Indices. DEXA 2002: 861-870
28EEFrancesco Buccafurri, Domenico Rosaci, Giuseppe M. L. Sarnè, Domenico Ursino: An Agent-Based Hierarchical Clustering Approach for E-commerce Environments. EC-Web 2002: 109-118
27EEFrancesco Buccafurri, Domenico Rosaci, Luigi Pontieri, Domenico Saccà: Improving Range Query Estimation on Histograms. ICDE 2002: 628-638
26 Francesco Buccafurri, Gianluca Lax, Domenico Rosaci, Domenico Ursino: Modellazione del comportamento degli utenti per supportarne l'accesso a sorgenti informative eterogenee. SEBD 2002: 145-152
25 Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. TPLP 2(3): 293-321 (2002)
2001
24EEFrancesco Buccafurri, Filippo Furfaro, Domenico Saccà: Estimating Range Queries Using Aggregate Data with Integrity Constraints: A Probabilistic Approach. ICDT 2001: 390-404
23 Francesco Buccafurri, Luigi Palopoli, Domenico Rosaci, Giuseppe M. L. Sarnè: A System Implementing Cooperation in Multi-Agent Networks. WOA 2001: 20-23
22EEFrancesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance CoRR cs.LO/0105036: (2001)
21 Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001)
2000
20 Francesco Buccafurri, Filippo Furfaro, Domenico Rosaci, Domenico Saccà: Estimating range queries using aggregate data. SEBD 2000: 7-20
19EEFrancesco Buccafurri, Nicola Leone, Pasquale Rullo: Enhancing Disjunctive Datalog by Constraints. IEEE Trans. Knowl. Data Eng. 12(5): 845-860 (2000)
18 Elisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo: A Logic-Based Approach for Enforcing Access Control. Journal of Computer Security 8(2/3): (2000)
1999
17EEElisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo: A Logical Framework for Reasoning on Data Access Control Policies. CSFW 1999: 175-189
16EEFrancesco Buccafurri, Domenico Rosaci, Domenico Saccà: Compressed Datacubes for fast OLAP Applications. DaWaK 1999: 65-77
15 Francesco Buccafurri, Wolfgang Faber, Nicola Leone: Disjunctive Logic Programs with Inheritance. ICLP 1999: 79-93
14 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Semantics and Expressiveness of Disjunctive Ordered Logic. Ann. Math. Artif. Intell. 25(3-4): 311-337 (1999)
13EEFrancesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999)
1998
12EEElisa Bertino, Francesco Buccafurri, Elena Ferrari, Pasquale Rullo: An Authorization Model and Its Formal Semantics. ESORICS 1998: 127-142
11 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998: 418-431
1997
10 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Adding Weak Constraints to Disjunctive Datalog. APPIA-GULP-PRODE 1997: 557-568
9EEFrancesco Buccafurri, Sergio Greco, Domenico Saccà: The Expressive Power of Unique Total Stable Model Semantics. ICALP 1997: 849-859
8 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Strong and Weak Constraints in Disjunctive Datalog. LPNMR 1997: 2-17
1996
7 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Computing Disjunctive Ordered Logic. APPIA-GULP-PRODE 1996: 283-294
6 Francesco Buccafurri, Nicola Leone, Francesco Scarcello: On the Expressive Power of Ordered Logic. AI Commun. 9(1): 4-13 (1996)
5 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. J. Log. Program. 27(1): 5-43 (1996)
1995
4EEFrancesco Buccafurri, Nicola Leone, Luigi Palopoli, Pasquale Rullo: Disjunctive Ordered Logic DEXA 1995: 303-312
3 Francesco Buccafurri: Ordered Logic and its Relationships to other Logic Programming Formalisms. GULP-PRODE 1995: 207-218
1994
2 Francesco Buccafurri, Nicola Leone, Pasquale Rullo: A non-deterministic semantics for ordered logic programs. GULP-PRODE (1) 1994: 449-463
1 Francesco Buccafurri, Sergio Greco, Eugenio Spadafora: Implementazione di Interrogazioni Semplici Concatenate. SEBD 1994: 187-205

Coauthor Index

1Elisa Bertino [12] [17] [18]
2Gianluca Caminiti [44] [47] [53] [55] [56] [58] [60]
3Luca Console [49]
4Thomas Eiter [13] [21]
5Wolfgang Faber [15] [22] [25]
6Elena Ferrari [12] [17] [18]
7Maria Grazia Fugini (Mariagrazia Fugini) [49] [54]
8Filippo Furfaro [20] [24] [29] [32] [42]
9Roberto Furnari [54]
10Georg Gottlob [13] [21] [31]
11Anna Goy [49] [54]
12Sergio Greco [1] [9]
13Rosario Laurendi [58]
14Gianluca Lax [26] [29] [30] [33] [34] [37] [38] [39] [40] [41] [43] [45] [46] [48] [49] [50] [51] [52] [54] [57] [59] [60]
15Nicola Leone [2] [4] [5] [6] [7] [8] [10] [11] [13] [14] [15] [19] [21] [22] [25]
16Pasquale Lops [49] [54]
17Pasquale De Meo [49] [54]
18Stefano Modafferi [49] [54]
19Tommaso Di Noia [61]
20Luigi Palopoli [4] [23]
21Barbara Pernici [49] [54]
22Claudia Picardi [49]
23Luigi Pontieri [27] [43] [52]
24Domenico Redavid [49] [54]
25Simona E. Rombo [38]
26Domenico Rosaci [16] [20] [23] [26] [27] [28] [30] [43] [45] [47] [52] [56]
27Pasquale Rullo [2] [4] [5] [7] [8] [10] [11] [12] [14] [17] [18] [19]
28Domenico Saccà [9] [16] [20] [24] [27] [29] [32] [42] [43] [46] [52]
29Giuseppe M. L. Sarnè [23] [28]
30Francesco Scarcello [6]
31Giovanni Semeraro [49] [54]
32Cristina Sirangelo [32]
33Eugenio Spadafora [1]
34Domenico Ursino [26] [28] [30] [45] [49] [54]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)