| 2008 |
|---|
| 59 | EE | Francesco Buccafurri,
Gianluca Lax:
A Light Number-Generation Scheme for Feasible and Secure Credit-Card-Payment Solutions.
EC-Web 2008: 11-20 |
| 58 | EE | Francesco 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 |
| 56 | EE | Francesco Buccafurri,
Gianluca Caminiti,
Domenico Rosaci:
An ASP-based approach to dealing with agent perception failure.
AI Commun. 21(1): 49-69 (2008) |
| 55 | EE | Francesco Buccafurri,
Gianluca Caminiti:
Logic programming with social features
CoRR abs/0805.3518: (2008) |
| 54 | EE | 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:
Analysis of QoS in cooperative services for real time applications.
Data Knowl. Eng. 67(3): 463-484 (2008) |
| 53 | EE | Francesco Buccafurri,
Gianluca Caminiti:
Logic programming with social features.
TPLP 8(5-6): 643-690 (2008) |
| 52 | EE | Francesco Buccafurri,
Gianluca Lax,
Domenico Saccà,
Luigi Pontieri,
Domenico Rosaci:
Enhancing histograms by tree-like bucket indices.
VLDB J. 17(5): 1041-1061 (2008) |
| 2007 |
|---|
| 51 | EE | Francesco Buccafurri,
Gianluca Lax:
Hardening digital signatures against untrusted signature software.
ICDIM 2007: 159-164 |
| 50 | EE | Francesco 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 |
| 45 | EE | Francesco Buccafurri,
Gianluca Lax,
Domenico Rosaci,
Domenico Ursino:
Dealing with semantic heterogeneity for improving Web usage.
Data Knowl. Eng. 58(3): 436-465 (2006) |
| 2005 |
|---|
| 44 | EE | Francesco Buccafurri,
Gianluca Caminiti:
A Social Semantics for Multi-agent Systems.
LPNMR 2005: 317-329 |
| 43 | EE | Francesco Buccafurri,
Gianluca Lax,
Domenico Saccà,
Luigi Pontieri,
Domenico Rosaci:
Enhancing Histograms by Tree-Like Bucket Indices
CoRR abs/cs/0501020: (2005) |
| 42 | EE | Francesco Buccafurri,
Filippo Furfaro,
Domenico Saccà:
Estimating Range Queries using Aggregate Data with Integrity Constraints: a Probabilistic Approach
CoRR abs/cs/0501029: (2005) |
| 2004 |
|---|
| 41 | EE | Francesco Buccafurri,
Gianluca Lax:
TLS: A Tree-Based DHT Lookup Service for Highly Dynamic Networks.
CoopIS/DOA/ODBASE (1) 2004: 563-580 |
| 40 | EE | Francesco 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 |
| 37 | EE | Francesco 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 |
| 34 | EE | Francesco 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 |
| 32 | EE | Francesco Buccafurri,
Filippo Furfaro,
Domenico Saccà,
Cristina Sirangelo:
A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data.
SSDBM 2003: 127-140 |
| 2002 |
|---|
| 31 | EE | Francesco Buccafurri,
Georg Gottlob:
Multiagent Compromises, Joint Fixpoints, and Stable Models.
Computational Logic: Logic Programming and Beyond 2002: 561-585 |
| 30 | EE | Francesco Buccafurri,
Gianluca Lax,
Domenico Rosaci,
Domenico Ursino:
A User Behavior-Based Agent for Improving Web Usage.
CoopIS/DOA/ODBASE 2002: 1168-1185 |
| 29 | EE | Francesco Buccafurri,
Filippo Furfaro,
Gianluca Lax,
Domenico Saccà:
Binary-Tree Histograms with Tree Indices.
DEXA 2002: 861-870 |
| 28 | EE | Francesco Buccafurri,
Domenico Rosaci,
Giuseppe M. L. Sarnè,
Domenico Ursino:
An Agent-Based Hierarchical Clustering Approach for E-commerce Environments.
EC-Web 2002: 109-118 |
| 27 | EE | Francesco 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 |
|---|
| 24 | EE | Francesco 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 |
| 22 | EE | Francesco 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 |
| 19 | EE | Francesco 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 |
|---|
| 17 | EE | Elisa Bertino,
Elena Ferrari,
Francesco Buccafurri,
Pasquale Rullo:
A Logical Framework for Reasoning on Data Access Control Policies.
CSFW 1999: 175-189 |
| 16 | EE | Francesco 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) |
| 13 | EE | Francesco Buccafurri,
Thomas Eiter,
Georg Gottlob,
Nicola Leone:
Enhancing Model Checking in Verification by AI Techniques.
Artif. Intell. 112(1-2): 57-104 (1999) |
| 1998 |
|---|
| 12 | EE | Elisa 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 |
| 9 | | Francesco 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 |
|---|
| 4 | | Francesco 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 |
