Maurizio Panti

44 papers A* 2A 2B 3C 4Journal 9Unranked 23

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