Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Maurizio Panti

Papers on DiSC'02


Cooperation Strategies for Information Integration

Publications


Note: Links lead to the DBLP on the Web.

Maurizio Panti

18 Loris Penserini , Maurizio Panti, Luca Spalazzi : Agent-based transactions into decentralised P2P. AAMAS 2002 : 1288-1289

17 Massimo Benerecetti , Maurizio Panti, Luca Spalazzi , S. Tacconi : Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002 : 311-327

16 Maurizio Panti, Luca Spalazzi , S. Tacconi , S. Valenti : Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS 2002 : 968-974

15 Maurizio Panti, Luca Spalazzi , Loris Penserini : Cooperation Strategies for Information Integration. CoopIS 2001 : 123-134

14 Claudia Diamantini , Maurizio Panti: ANKON: A Multi-agent System for Information Gathering. DEXA 2001 : 609-620

13 Maurizio Panti, Luca Spalazzi , Loris Penserini : A Distributed Case-Based Query Rewriting. IJCAI 2001 : 1005-1010

12 Claudia Diamantini , Maurizio Panti: An Efficient Data Compression Approach to the Classification Task. PAKDD 2001 : 444-454

11 Massimo Benerecetti , Fausto Giunchiglia , Maurizio Panti, Luca Spalazzi : A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000 : 393-408

10 Maurizio Panti, Luca Spalazzi , S. Tacconi : Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000 : 167-180

9 Maurizio Panti, Loris Penserini , Luca Spalazzi : A critical discussion about an agent platform based on FIPA specification. SEBD 2000 : 345-356

8 Claudia Diamantini , Maurizio Panti: A learning algorithm to perform efficient and effective data reduction. SEBD 2000 : 49-62

7 Maurizio Panti, Luca Spalazzi , Alberto Giretti : A Case-Based Approach to Information Integration. VLDB 2000 : 557-565

6 Claudia Diamantini , Maurizio Panti: An Efficient Data Compression Approach to the Classification Task. SIGKDD Explorations 2 (2): 49-55 (2000)

5 Claudia Diamantini , Maurizio Panti: A Conceptual Indexing Method for Content-Based Retrieval. DEXA Workshop 1999 : 193-197

4 Claudia Diamantini , Maurizio Panti: Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di Query. SEBD 1999 : 325-339

3 Aldo Franco Dragoni , Paolo Giorgini , Maurizio Panti: A Self-Diagnosing Distributed Monitoring System for Nuclear Power Plants. IEA/AIE (Vol. 1) 1998 : 786-795

2 Claudia Diamantini , Maurizio Panti: Una misura entropica per la valutazione di cluster concettuali. SEBD 1998 : 171-185

1 Maurizio Panti, A. Cucchiarelli , M. Mattiucci , S. Valenti : Process to Process Communication in Prolog. SIGPLAN Notices 31 (7): 33-39 (1996)




DiSC'02 © 2003 Association for Computing Machinery