Maurizio Panti

According to our database1, Maurizio Panti authored at least 38 papers between 1992 and 2005.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
KDD Support Services Based on Data Semantics.
J. Data Semant., 2005

Model checking the security of multi-protocol systems.
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

An agent-based supply-chain management.
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005

Developing an open knowledge discovery support system for a network environment.
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.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Semantic Annotation of Classification Data for KDD Support Services.
Proceedings of the Semantics for Grid Databases, 2004

A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.
Proceedings of the ICEIS 2004, 2004

Socially-Based Design Meets Agent Capabilities.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003
Cooperation strategies for agent-based P2P systems.
Web Intell. Agent Syst., 2003

Una piattaforma per servizi di KDD.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003

2002
Computer Based Assessment Systems Evaluation via the ISO9126 Quality Model.
J. Inf. Technol. Educ., 2002

Teaching Motor Disability Assessment over the Web: MODASPECTRA.
J. Educ. Technol. Soc., 2002

A Prototype of the Agent-Based, Information Gathering System ANKON.
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.
Proceedings of the Computer Safety, 2002

Automatic Verification of Security in Payment Protocols for Electronic Commerce.
Proceedings of the ICEIS 2002, 2002

Preliminary Results form the Validation of a Specialists' Degree in Motor Disability Assessment.
Proceedings of the International Conference on Computers in Education, 2002

Verification of Payment Protocols via MultiAgent Model Checking.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

Agent-based transactions into decentralised P2P.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Distributed Query Rewriting.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

A Distributed Case-Based Query Rewriting.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Efficient boundary hunting via vector quantization.
Proceedings of the Data Mining and Knowledge Discovery: Theory, 2001

ANKON: A Multi-agent System for Information Gathering.
Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

Cooperation Strategies for Information Integration.
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

2000
An Efficient Data Compression Approach to the Classification Task.
SIGKDD Explor., 2000

A Case-Based Approach to Information Integration.
Proceedings of the VLDB 2000, 2000

Verifica formale dei protocolli di sicurezza mediante model checking.
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.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000

A learning algorithm to perform efficient and effective data reduction.
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.
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.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di Query.
Proceedings of the Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati, 1999

A Conceptual Indexing Method for Content-Based Retrieval.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998
Una misura entropica per la valutazione di cluster concettuali.
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.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1996
Process to Process Communication in Prolog.
ACM SIGPLAN Notices, 1996

1994
Supporting user-analyst interaction in functional requirements elicitation.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

A Graphical Editor for Semantic Data Modeling.
Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1992
A modulus oriented hash function for the construction of minimal perfect tables.
ACM SIGPLAN Notices, 1992


  Loading...