2005 |
34 | | Maurizio Panti,
Francesco Pagliarecci,
Luca Spalazzi:
An Agent-Based Supply-Chain Management.
SEBD 2005: 117-124 |
33 | EE | Claudia Diamantini,
Domenico Potena,
Maurizio Panti:
KDD Support Services Based on Data Semantics.
J. Data Semantics IV: 280-303 (2005) |
2004 |
32 | EE | Loris Penserini,
Manuel Kolp,
Luca Spalazzi,
Maurizio Panti:
Socially-Based Design Meets Agent Capabilities.
IAT 2004: 72-78 |
31 | | Loris Penserini,
Luca Spalazzi,
Maurizio Panti:
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.
ICEIS (4) 2004: 316-321 |
30 | EE | Claudia Diamantini,
Domenico Potena,
Maurizio Panti:
Semantic Annotation of Classification Data for KDD Support Services.
ICSNW 2004: 313-315 |
29 | | Claudia Diamantini,
Maurizio Panti,
Domenico Potena:
Choosing the Right Classifier: An Approach to Decision Boundary Characterization for a KDD User Support System.
SEBD 2004: 238-249 |
2003 |
28 | | Claudia Diamantini,
Maurizio Panti,
Domenico Potena:
Una piattaforma per servizi di KDD.
SEBD 2003: 119-130 |
27 | EE | Loris Penserini,
Lin Liu,
John Mylopoulos,
Maurizio Panti,
Luca Spalazzi:
Cooperation strategies for agent-based P2P systems.
Web Intelligence and Agent Systems 1(1): 3-21 (2003) |
2002 |
26 | EE | Loris Penserini,
Maurizio Panti,
Luca Spalazzi:
Agent-based transactions into decentralised P2P.
AAMAS 2002: 1288-1289 |
25 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of Payment Protocols via MultiAgent Model Checking.
CAiSE 2002: 311-327 |
24 | | Salvatore Valenti,
Maurizio Panti,
Tommaso Leo:
Preliminary Results form the Validation of a Specialists' Degree in Motor Disability Assessment.
ICCE 2002: 654-658 |
23 | | Maurizio Panti,
Luca Spalazzi,
Simone Tacconi,
Salvatore Valenti:
Automatic Verification of Security in Payment Protocols for Electronic Commerce.
ICEIS 2002: 968-974 |
22 | EE | Massimo Benerecetti,
Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
SAFECOMP 2002: 126-138 |
21 | | Claudia Diamantini,
Maurizio Panti:
A Prototype of the Agent-Based, Information Gathering System ANKON.
SEBD 2002: 412-416 |
20 | EE | Salvatore Valenti,
Sandro Fioretti,
Maurizio Maurizi,
Maurizio Panti,
Tommaso Leo:
Teaching Motor Disability Assessment over the Web: MODASPECTRA.
Educational Technology & Society 5(1): (2002) |
2001 |
19 | EE | Maurizio Panti,
Luca Spalazzi,
Loris Penserini:
Cooperation Strategies for Information Integration.
CoopIS 2001: 123-134 |
18 | EE | Claudia Diamantini,
Maurizio Panti:
ANKON: A Multi-agent System for Information Gathering.
DEXA 2001: 609-620 |
17 | | Maurizio Panti,
Luca Spalazzi,
Loris Penserini:
A Distributed Case-Based Query Rewriting.
IJCAI 2001: 1005-1010 |
16 | EE | Claudia Diamantini,
Maurizio Panti:
An Efficient Data Compression Approach to the Classification Task.
PAKDD 2001: 444-454 |
15 | | Maurizio Panti:
Distributed Query Rewriting.
SEBD 2001: 25-32 |
2000 |
14 | | Massimo Benerecetti,
Fausto Giunchiglia,
Maurizio Panti,
Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols.
FORTE 2000: 393-408 |
13 | | Salvatore Valenti,
Alessandro Cucchiarelli,
Maurizio Panti:
Some guidelines to support the selection of a test management tool for web-based assessment.
IRMA Conference 2000: 609-613 |
12 | | Maurizio Panti,
Luca Spalazzi,
Simone Tacconi:
Verifica formale dei protocolli di sicurezza mediante model checking.
SEBD 2000: 167-180 |
11 | | Maurizio Panti,
Loris Penserini,
Luca Spalazzi:
A critical discussion about an agent platform based on FIPA specification.
SEBD 2000: 345-356 |
10 | | Claudia Diamantini,
Maurizio Panti:
A learning algorithm to perform efficient and effective data reduction.
SEBD 2000: 49-62 |
9 | EE | Maurizio Panti,
Luca Spalazzi,
Alberto Giretti:
A Case-Based Approach to Information Integration.
VLDB 2000: 557-565 |
8 | EE | Claudia Diamantini,
Maurizio Panti:
An Efficient Data Compression Approach to the Classification Task.
SIGKDD Explorations 2(2): 49-55 (2000) |
1999 |
7 | EE | Claudia Diamantini,
Maurizio Panti:
A Conceptual Indexing Method for Content-Based Retrieval.
DEXA Workshop 1999: 193-197 |
6 | | Claudia Diamantini,
Maurizio Panti:
Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di Query.
SEBD 1999: 325-339 |
1998 |
5 | | Aldo Franco Dragoni,
Paolo Giorgini,
Maurizio Panti:
A Self-Diagnosing Distributed Monitoring System for Nuclear Power Plants.
IEA/AIE (Vol. 1) 1998: 786-795 |
4 | | Claudia Diamantini,
Maurizio Panti:
Una misura entropica per la valutazione di cluster concettuali.
SEBD 1998: 171-185 |
1996 |
3 | | Maurizio Panti,
Alessandro Cucchiarelli,
M. Mattiucci,
Salvatore Valenti:
Process to Process Communication in Prolog.
SIGPLAN Notices 31(7): 33-39 (1996) |
1994 |
2 | | Alessandro Cucchiarelli,
Maurizio Panti,
Salvatore Valenti:
A Graphical Editor for Semantic Data Modeling.
Applied Informatics 1994: 4-7 |
1992 |
1 | EE | Maurizio Panti,
Salvatore Valenti:
A modulus oriented hash function for the construction of minimal perfect tables.
SIGPLAN Notices 27(11): 33-38 (1992) |