PANTI, MAURIZIO
PANTI, MAURIZIO
Dipartimento di Ingegneria Informatica, Gestionale e dell'Automazione
``A Logic of Belief and a Model Checking Algorithm for Security Protocols''
2000-01-01 M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca
A Case-Based Approach to Information Integration
2000-01-01 Panti, Maurizio; Spalazzi, Luca; Giretti, Alberto
A Conceptual Indexing Method for Content-Based Retrieval
1999-01-01 Diamantini, Claudia; Panti, Maurizio
A FIPA Compliant Agent Platform for Federated Information Systems
2000-01-01 Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore
A Graphical System for Representing Objects and Activities
1995-01-01 Cucchiarelli, Alessandro; Panti, Maurizio; Valenti, Salvatore
A Web-based Approach To Automated Test Assessment
1997-01-01 Panti, Maurizio; Valenti, Salvatore; Cucchiarelli, Alessandro
Agent Technologies for federated information systems in the public administration
1999-01-01 Panti, Maurizio; Dragoni, Aldo Franco; Spalazzi, Luca; Diamantini, Claudia; S., Valenti
Agent-Based Transactions into Decentralized P2P
2002-01-01 L., Penserini; Panti, Maurizio; Spalazzi, Luca
An Agent-Based Supply-Chain Management
2005-01-01 Panti, M.; Pagliarecci, F.; Spalazzi, Luca
An Agent-Based Supply-Chain Management (extended abstract)
2005-01-01 Panti, M.; Pagliarecci, F.; Spalazzi, L.
An approach to decision boundary characterization for a kdd user support system
2004-01-01 Diamantini, Claudia; Panti, Maurizio; Potena, Domenico
An Efficient and Scalable Data Compression Approach to Classification
2000-01-01 Diamantini, Claudia; Panti, Maurizio
An Efficient Data Compression Approach to the Classification Task
2001-01-01 Diamantini, Claudia; Panti, Maurizio
An Office Information System Model Based on a Contract Net
1986-01-01 Panti, Maurizio; Cucchiarelli, Alessandro
ANKON: A Multi-Agent System for Information Gathering
2001-01-01 Diamantini, Claudia; Panti, Maurizio
Assessing Programming Skills over the Web
2001-01-01 Cucchiarelli, Alessandro; Panti, Maurizio; Valenti, Salvatore
Computer Aided Assessment of Programs
1998-01-01 Cucchiarelli, Alessandro; Luzi, D.; Panti, Maurizio; Valenti, Salvatore
Developing an Open Knowledge Discovery Support System for a Network Environment
2005-01-01 Diamantini, Claudia; Potena, Domenico; Panti, Maurizio
Efficient Boundary Hunting Via Vector Quantization
2001-01-01 Diamantini, Claudia; Panti, Maurizio
EXO: Un sistema Informativo d’Ufficio basato sulla Contrattazione
1986-01-01 Panti, Maurizio; Cucchiarelli, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' | 1-gen-2000 | M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca | |
A Case-Based Approach to Information Integration | 1-gen-2000 | Panti, Maurizio; Spalazzi, Luca; Giretti, Alberto | |
A Conceptual Indexing Method for Content-Based Retrieval | 1-gen-1999 | Diamantini, Claudia; Panti, Maurizio | |
A FIPA Compliant Agent Platform for Federated Information Systems | 1-gen-2000 | Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore | |
A Graphical System for Representing Objects and Activities | 1-gen-1995 | Cucchiarelli, Alessandro; Panti, Maurizio; Valenti, Salvatore | |
A Web-based Approach To Automated Test Assessment | 1-gen-1997 | Panti, Maurizio; Valenti, Salvatore; Cucchiarelli, Alessandro | |
Agent Technologies for federated information systems in the public administration | 1-gen-1999 | Panti, Maurizio; Dragoni, Aldo Franco; Spalazzi, Luca; Diamantini, Claudia; S., Valenti | |
Agent-Based Transactions into Decentralized P2P | 1-gen-2002 | L., Penserini; Panti, Maurizio; Spalazzi, Luca | |
An Agent-Based Supply-Chain Management | 1-gen-2005 | Panti, M.; Pagliarecci, F.; Spalazzi, Luca | |
An Agent-Based Supply-Chain Management (extended abstract) | 1-gen-2005 | Panti, M.; Pagliarecci, F.; Spalazzi, L. | |
An approach to decision boundary characterization for a kdd user support system | 1-gen-2004 | Diamantini, Claudia; Panti, Maurizio; Potena, Domenico | |
An Efficient and Scalable Data Compression Approach to Classification | 1-gen-2000 | Diamantini, Claudia; Panti, Maurizio | |
An Efficient Data Compression Approach to the Classification Task | 1-gen-2001 | Diamantini, Claudia; Panti, Maurizio | |
An Office Information System Model Based on a Contract Net | 1-gen-1986 | Panti, Maurizio; Cucchiarelli, Alessandro | |
ANKON: A Multi-Agent System for Information Gathering | 1-gen-2001 | Diamantini, Claudia; Panti, Maurizio | |
Assessing Programming Skills over the Web | 1-gen-2001 | Cucchiarelli, Alessandro; Panti, Maurizio; Valenti, Salvatore | |
Computer Aided Assessment of Programs | 1-gen-1998 | Cucchiarelli, Alessandro; Luzi, D.; Panti, Maurizio; Valenti, Salvatore | |
Developing an Open Knowledge Discovery Support System for a Network Environment | 1-gen-2005 | Diamantini, Claudia; Potena, Domenico; Panti, Maurizio | |
Efficient Boundary Hunting Via Vector Quantization | 1-gen-2001 | Diamantini, Claudia; Panti, Maurizio | |
EXO: Un sistema Informativo d’Ufficio basato sulla Contrattazione | 1-gen-1986 | Panti, Maurizio; Cucchiarelli, Alessandro |