Modeling the office structure: A first step towards the Office Expert System. - Luigia Aiello; Daniele Nardi; Maurizio Panti (COCS, 1984)

A modulus oriented hash function for the construction of minimal perfect tables. - Maurizio Panti; Salvatore Valenti (ACM SIGPLAN Notices, 1992)

A Graphical Editor for Semantic Data Modeling. - Alessandro Cucchiarelli; Maurizio Panti; Salvatore Valenti (Applied Informatics, 1994)

Supporting user-analyst interaction in functional requirements elicitation. - Alessandro Cucchiarelli; Maurizio Panti; Salvatore Valenti (APSEC, 1994)

Process to Process Communication in Prolog. - Maurizio Panti; Alessandro Cucchiarelli; M. Mattiucci; Salvatore Valenti (ACM SIGPLAN Notices, 1996)

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

Una misura entropica per la valutazione di cluster concettuali. - Claudia Diamantini; Maurizio Panti (SEBD, 1998)

Overcoming communication obstacles in user-analyst interaction for functional requirements elicitation. - Salvatore Valenti; Maurizio Panti; Alessandro Cucchiarelli (ACM SIGSOFT Softw. Eng. Notes, 1998)

A Conceptual Indexing Method for Content-Based Retrieval. - Claudia Diamantini; Maurizio Panti (DEXA Workshop, 1999)

Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di Query. - Claudia Diamantini; Maurizio Panti (SEBD, 1999)

A Logic of Belief and a Model Checking Algorithm for Security Protocols. - Massimo Benerecetti; Fausto Giunchiglia; Maurizio Panti; Luca Spalazzi (FORTE, 2000)

Some guidelines to support the selection of a test management tool for web-based assessment. - Salvatore Valenti; Alessandro Cucchiarelli; Maurizio Panti (IRMA Conference, 2000)

A learning algorithm to perform efficient and effective data reduction. - Claudia Diamantini; Maurizio Panti (SEBD, 2000)

A critical discussion about an agent platform based on FIPA specification. - Maurizio Panti; Loris Penserini; Luca Spalazzi (SEBD, 2000)

Verifica formale dei protocolli di sicurezza mediante model checking. - Maurizio Panti; Luca Spalazzi; Simone Tacconi (SEBD, 2000)

A Case-Based Approach to Information Integration. - Maurizio Panti; Luca Spalazzi; Alberto Giretti (VLDB, 2000)

A FIPA compliant agent platform for federated information systems. - Maurizio Panti; Loris Penserini; Luca Spalazzi; Salvatore Valenti (ACIS Int. J. Comput. Inf. Sci., 2000)

An Efficient Data Compression Approach to the Classification Task. - Claudia Diamantini; Maurizio Panti (SIGKDD Explor., 2000)

Cooperation Strategies for Information Integration. - Maurizio Panti; Luca Spalazzi; Loris Penserini (CoopIS, 2001)

ANKON: A Multi-agent System for Information Gathering. - Claudia Diamantini; Maurizio Panti (DEXA, 2001)

Efficient boundary hunting via vector quantization. - Claudia Diamantini; Maurizio Panti (Data Mining and Knowledge Discovery: Theory, Tools, and Technology, 2001)

A Distributed Case-Based Query Rewriting. - Maurizio Panti; Luca Spalazzi; Loris Penserini (IJCAI, 2001)

Distributed Query Rewriting. - Maurizio Panti (SEBD, 2001)

Agent-based transactions into decentralised P2P. - Loris Penserini; Maurizio Panti; Luca Spalazzi (AAMAS, 2002)

Verification of Payment Protocols via MultiAgent Model Checking. - Massimo Benerecetti; Maurizio Panti; Luca Spalazzi; Simone Tacconi (CAiSE, 2002)

Preliminary Results form the Validation of a Specialists' Degree in Motor Disability Assessment. - Salvatore Valenti; Maurizio Panti; Tommaso Leo (ICCE, 2002)

Automatic Verification of Security in Payment Protocols for Electronic Commerce. - Maurizio Panti; Luca Spalazzi; Simone Tacconi; Salvatore Valenti (ICEIS, 2002)

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. - Massimo Benerecetti; Maurizio Panti; Luca Spalazzi; Simone Tacconi (SAFECOMP, 2002)

A Prototype of the Agent-Based, Information Gathering System ANKON. - Claudia Diamantini; Maurizio Panti (SEBD, 2002)

Teaching Motor Disability Assessment over the Web: MODASPECTRA. - Salvatore Valenti; Sandro Fioretti; Maurizio Maurizi; Maurizio Panti; Tommaso Leo (J. Educ. Technol. Soc., 2002)

Computer Based Assessment Systems Evaluation via the ISO9126 Quality Model. - Salvatore Valenti; Alessandro Cucchiarelli; Maurizio Panti (J. Inf. Technol. Educ., 2002)

Una piattaforma per servizi di KDD. - Claudia Diamantini; Maurizio Panti; Domenico Potena (SEBD, 2003)

Cooperation strategies for agent-based P2P systems. - Loris Penserini; Lin Liu 001; John Mylopoulos; Maurizio Panti; Luca Spalazzi (Web Intell. Agent Syst., 2003)

Socially-Based Design Meets Agent Capabilities. - Loris Penserini; Manuel Kolp; Luca Spalazzi; Maurizio Panti (IAT, 2004)

A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. - Loris Penserini; Luca Spalazzi; Maurizio Panti (ICEIS (4), 2004)

Semantic Annotation of Classification Data for KDD Support Services. - Claudia Diamantini; Domenico Potena; Maurizio Panti (ICSNW, 2004)

Choosing the Right Classifier: An Approach to Decision Boundary Characterization for a KDD User Support System. - Claudia Diamantini; Maurizio Panti; Domenico Potena (SEBD, 2004)

Developing an open knowledge discovery support system for a network environment. - Claudia Diamantini; Domenico Potena; Maurizio Panti (CTS, 2005)

Model checking the security of multi-protocol systems. - Maurizio Panti; Luca Spalazzi; Simone Tacconi; Francesco Pagliarecci (CTS, 2005)

An Agent-Based Supply-Chain Management. - Maurizio Panti; Francesco Pagliarecci; Luca Spalazzi (SEBD, 2005)

KDD Support Services Based on Data Semantics. - Claudia Diamantini; Domenico Potena; Maurizio Panti (J. Data Semant., 2005)