Maurizio Panti

Publication Activity (10 Years)

Years Active: 1984-2005
Publications (10 Years): 0

Publications

Claudia Diamantini, Domenico Potena, Maurizio Panti
KDD Support Services Based on Data Semantics. J. Data Semant. (2005)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci
Model checking the security of multi-protocol systems. CTS (2005)
Claudia Diamantini, Domenico Potena, Maurizio Panti
Developing an open knowledge discovery support system for a network environment. CTS (2005)
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
An Agent-Based Supply-Chain Management. SEBD (2005)
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
An agent-based supply-chain management. CTS (2005)
Claudia Diamantini, Domenico Potena, Maurizio Panti
Semantic Annotation of Classification Data for KDD Support Services. ICSNW (2004)
Claudia Diamantini, Maurizio Panti, Domenico Potena
Choosing the Right Classifier: An Approach to Decision Boundary Characterization for a KDD User Support System. SEBD (2004)
Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti
Socially-Based Design Meets Agent Capabilities. IAT (2004)
Loris Penserini, Luca Spalazzi, Maurizio Panti
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. ICEIS (4) (2004)
Claudia Diamantini, Maurizio Panti, Domenico Potena
Una piattaforma per servizi di KDD. SEBD (2003)
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
Cooperation strategies for agent-based P2P systems. Web Intell. Agent Syst. 1 (1) (2003)
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS (2002)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of Payment Protocols via MultiAgent Model Checking. CAiSE (2002)
Loris Penserini, Maurizio Panti, Luca Spalazzi
Agent-based transactions into decentralised P2P. AAMAS (2002)
Salvatore Valenti, Sandro Fioretti, Maurizio Maurizi, Maurizio Panti, Tommaso Leo
Teaching Motor Disability Assessment over the Web: MODASPECTRA. J. Educ. Technol. Soc. 5 (1) (2002)
Salvatore Valenti, Alessandro Cucchiarelli, Maurizio Panti
Computer Based Assessment Systems Evaluation via the ISO9126 Quality Model. J. Inf. Technol. Educ. 1 (3) (2002)
Salvatore Valenti, Maurizio Panti, Tommaso Leo
Preliminary Results form the Validation of a Specialists' Degree in Motor Disability Assessment. ICCE (2002)
Claudia Diamantini, Maurizio Panti
A Prototype of the Agent-Based, Information Gathering System ANKON. SEBD (2002)
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)
Maurizio Panti, Luca Spalazzi, Loris Penserini
A Distributed Case-Based Query Rewriting. IJCAI (2001)
Claudia Diamantini, Maurizio Panti
ANKON: A Multi-agent System for Information Gathering. DEXA (2001)
Maurizio Panti, Luca Spalazzi, Loris Penserini
Cooperation Strategies for Information Integration. CoopIS (2001)
Claudia Diamantini, Maurizio Panti
Efficient boundary hunting via vector quantization. Data Mining and Knowledge Discovery: Theory, Tools, and Technology (2001)
Claudia Diamantini, Maurizio Panti
An Efficient Data Compression Approach to the Classification Task. PAKDD (2001)
Maurizio Panti
Distributed Query Rewriting. SEBD (2001)
Maurizio Panti, Luca Spalazzi, Alberto Giretti
A Case-Based Approach to Information Integration. VLDB (2000)
Maurizio Panti, Loris Penserini, Luca Spalazzi, Salvatore Valenti
A FIPA compliant agent platform for federated information systems. ACIS Int. J. Comput. Inf. Sci. 1 (3) (2000)
Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi
A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE (2000)
Maurizio Panti, Loris Penserini, Luca Spalazzi
A critical discussion about an agent platform based on FIPA specification. SEBD (2000)
Claudia Diamantini, Maurizio Panti
A learning algorithm to perform efficient and effective data reduction. SEBD (2000)
Claudia Diamantini, Maurizio Panti
An Efficient Data Compression Approach to the Classification Task. SIGKDD Explor. 2 (2) (2000)
Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verifica formale dei protocolli di sicurezza mediante model checking. SEBD (2000)
Salvatore Valenti, Alessandro Cucchiarelli, Maurizio Panti
Some guidelines to support the selection of a test management tool for web-based assessment. IRMA Conference (2000)
Claudia Diamantini, Maurizio Panti
A Conceptual Indexing Method for Content-Based Retrieval. DEXA Workshop (1999)
Claudia Diamantini, Maurizio Panti
Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di Query. SEBD (1999)
Aldo Franco Dragoni, Paolo Giorgini, Maurizio Panti
A Self-Diagnosing Distributed Monitoring System for Nuclear Power Plants. IEA/AIE (Vol. 1) (1998)
Salvatore Valenti, Maurizio Panti, Alessandro Cucchiarelli
Overcoming communication obstacles in user-analyst interaction for functional requirements elicitation. ACM SIGSOFT Softw. Eng. Notes 23 (1) (1998)
Claudia Diamantini, Maurizio Panti
Una misura entropica per la valutazione di cluster concettuali. SEBD (1998)
Maurizio Panti, Alessandro Cucchiarelli, M. Mattiucci, Salvatore Valenti
Process to Process Communication in Prolog. ACM SIGPLAN Notices 31 (7) (1996)
Alessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti
Supporting user-analyst interaction in functional requirements elicitation. APSEC (1994)
Alessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti
A Graphical Editor for Semantic Data Modeling. Applied Informatics (1994)
Maurizio Panti, Salvatore Valenti
A modulus oriented hash function for the construction of minimal perfect tables. ACM SIGPLAN Notices 27 (11) (1992)
Luigia Aiello, Daniele Nardi, Maurizio Panti
Modeling the office structure: A first step towards the Office Expert System. COCS (1984)