Maurizio Panti

According to our database, Maurizio Panti authored at least 41 papers between 1984 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

KDD Support Services Based on Data Semantics.

Claudia Diamantini, Domenico Potena, Maurizio Panti

J. Data Semant., 2005

Model checking the security of multi-protocol systems.

Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci

Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

An agent-based supply-chain management.

Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi

Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

Developing an open knowledge discovery support system for a network environment.

Claudia Diamantini, Domenico Potena, Maurizio Panti

Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

2004

Choosing the Right Classifier: An Approach to Decision Boundary Characterization for a KDD User Support System.

Claudia Diamantini, Maurizio Panti, Domenico Potena

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Semantic Annotation of Classification Data for KDD Support Services.

Claudia Diamantini, Domenico Potena, Maurizio Panti

Proceedings of the Semantics for Grid Databases, 2004

A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.

Loris Penserini, Luca Spalazzi, Maurizio Panti

Proceedings of the ICEIS 2004, 2004

Socially-Based Design Meets Agent Capabilities.

Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003

Cooperation strategies for agent-based P2P systems.

Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi

Web Intell. Agent Syst., 2003

Una piattaforma per servizi di KDD.

Claudia Diamantini, Maurizio Panti, Domenico Potena

Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

2002

Computer Based Assessment Systems Evaluation via the ISO9126 Quality Model.

Salvatore Valenti, Alessandro Cucchiarelli, Maurizio Panti

J. Inf. Technol. Educ., 2002

Teaching Motor Disability Assessment over the Web: MODASPECTRA.

Salvatore Valenti, Sandro Fioretti, Maurizio Maurizi, Maurizio Panti, Tommaso Leo

J. Educ. Technol. Soc., 2002

A Prototype of the Agent-Based, Information Gathering System ANKON.

Claudia Diamantini, Maurizio Panti

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Proceedings of the Computer Safety, 2002

Automatic Verification of Security in Payment Protocols for Electronic Commerce.

Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti

Proceedings of the ICEIS 2002, 2002

Preliminary Results form the Validation of a Specialists' Degree in Motor Disability Assessment.

Salvatore Valenti, Maurizio Panti, Tommaso Leo

Proceedings of the International Conference on Computers in Education, 2002

Verification of Payment Protocols via MultiAgent Model Checking.

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Agent-based transactions into decentralised P2P.

Loris Penserini, Maurizio Panti, Luca Spalazzi

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Distributed Query Rewriting.

Maurizio Panti

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

A Distributed Case-Based Query Rewriting.

Maurizio Panti, Luca Spalazzi, Loris Penserini

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Efficient boundary hunting via vector quantization.

Claudia Diamantini, Maurizio Panti

Proceedings of the Data Mining and Knowledge Discovery: Theory, 2001

ANKON: A Multi-agent System for Information Gathering.

Claudia Diamantini, Maurizio Panti

Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

Cooperation Strategies for Information Integration.

Maurizio Panti, Luca Spalazzi, Loris Penserini

Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

2000

An Efficient Data Compression Approach to the Classification Task.

Claudia Diamantini, Maurizio Panti

SIGKDD Explor., 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

A Case-Based Approach to Information Integration.

Maurizio Panti, Luca Spalazzi, Alberto Giretti

Proceedings of the VLDB 2000, 2000

Verifica formale dei protocolli di sicurezza mediante model checking.

Maurizio Panti, Luca Spalazzi, Simone Tacconi

Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

A critical discussion about an agent platform based on FIPA specification.

Maurizio Panti, Loris Penserini, Luca Spalazzi

Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

A learning algorithm to perform efficient and effective data reduction.

Claudia Diamantini, Maurizio Panti

Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

Some guidelines to support the selection of a test management tool for web-based assessment.

Salvatore Valenti, Alessandro Cucchiarelli, Maurizio Panti

Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000

A Logic of Belief and a Model Checking Algorithm for Security Protocols.

Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di Query.

Claudia Diamantini, Maurizio Panti

Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

A Conceptual Indexing Method for Content-Based Retrieval.

Claudia Diamantini, Maurizio Panti

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998

Overcoming communication obstacles in user-analyst interaction for functional requirements elicitation.

Salvatore Valenti, Maurizio Panti, Alessandro Cucchiarelli

ACM SIGSOFT Softw. Eng. Notes, 1998

Una misura entropica per la valutazione di cluster concettuali.

Claudia Diamantini, Maurizio Panti

Proceedings of the Atti del Sesto Convegno Nazionale Sistemi Evolluti per Basi di Dati, 1998

A Self-Diagnosing Distributed Monitoring System for Nuclear Power Plants.

Aldo Franco Dragoni, Paolo Giorgini, Maurizio Panti

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1996

Process to Process Communication in Prolog.

Maurizio Panti, Alessandro Cucchiarelli, M. Mattiucci, Salvatore Valenti

ACM SIGPLAN Notices, 1996

1994

Supporting user-analyst interaction in functional requirements elicitation.

Alessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

A Graphical Editor for Semantic Data Modeling.

Alessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1992

A modulus oriented hash function for the construction of minimal perfect tables.

Maurizio Panti, Salvatore Valenti

ACM SIGPLAN Notices, 1992

1984

Modeling the office structure: A first step towards the Office Expert System.

Luigia Aiello, Daniele Nardi, Maurizio Panti

Proceedings of the Second ACM-SIGOA Conference on Office Information Systems, 1984