Maurizio Panti - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2005

2004

2003

Una piattaforma per servizi di KDDClaudia Diamantini, Maurizio Panti, Domenico Potena. sebd 2003: 119-130

Cooperation strategies for agent-based P2P systemsLoris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi. wias, 1(1):3-21, 2003. [doi]

2002

Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and TimeMassimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi. safecomp 2002: 126-138 [doi]

Verification of Payment Protocols via MultiAgent Model CheckingMassimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi. caise 2002: 311-327 [doi]

A Prototype of the Agent-Based, Information Gathering System ANKONClaudia Diamantini, Maurizio Panti. sebd 2002: 412-416

Automatic Verification of Security in Payment Protocols for Electronic CommerceMaurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti. ICEIS 2002: 968-974

Agent-based transactions into decentralised P2PLoris Penserini, Maurizio Panti, Luca Spalazzi. atal 2002: 1288-1289 [doi]

Teaching Motor Disability Assessment over the Web: MODASPECTRASalvatore Valenti, Sandro Fioretti, Maurizio Maurizi, Maurizio Panti, Tommaso Leo. ETS, 5(1), 2002. [doi]

Preliminary Results form the Validation of a Specialists Degree in Motor Disability AssessmentSalvatore Valenti, Maurizio Panti, Tommaso Leo. ICCE 2002: 654-658

Computer Based Assessment Systems Evaluation via the ISO9126 Quality ModelSalvatore Valenti, Alessandro Cucchiarelli, Maurizio Panti. jite, 1(3):157-176, 2002. [doi]

2001

2000

A Logic of Belief and a Model Checking Algorithm for Security ProtocolsMassimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi. forte 2000: 393-408

A learning algorithm to perform efficient and effective data reductionClaudia Diamantini, Maurizio Panti. sebd 2000: 49-62

An Efficient Data Compression Approach to the Classification TaskClaudia Diamantini, Maurizio Panti. sigkdd, 2(2):49-55, 2000. [doi]

Verifica formale dei protocolli di sicurezza mediante model checkingMaurizio Panti, Luca Spalazzi, Simone Tacconi. sebd 2000: 167-180

A Case-Based Approach to Information IntegrationMaurizio Panti, Luca Spalazzi, Alberto Giretti. VLDB 2000: 557-565 [doi]

A critical discussion about an agent platform based on FIPA specificationMaurizio Panti, Loris Penserini, Luca Spalazzi. sebd 2000: 345-356

A FIPA compliant agent platform for federated information systemsMaurizio Panti, Loris Penserini, Luca Spalazzi, Salvatore Valenti. acisj, 1(3):145-156, 2000. [doi]

Some guidelines to support the selection of a test management tool for web-based assessmentSalvatore Valenti, Alessandro Cucchiarelli, Maurizio Panti. irma 2000: 609-613

1999

Strategie di Ricerca in Gerarchie di Concetti per la Riformulazione di QueryClaudia Diamantini, Maurizio Panti. sebd 1999: 325-339

A Conceptual Indexing Method for Content-Based RetrievalClaudia Diamantini, Maurizio Panti. dexaw 1999: 193-197 [doi]

1998

Una misura entropica per la valutazione di cluster concettualiClaudia Diamantini, Maurizio Panti. sebd 1998: 171-185

A Self-Diagnosing Distributed Monitoring System for Nuclear Power PlantsAldo Franco Dragoni, Paolo Giorgini, Maurizio Panti. ieaaie 1998: 786-795

Overcoming communication obstacles in user-analyst interaction for functional requirements elicitationSalvatore Valenti, Maurizio Panti, Alessandro Cucchiarelli. sigsoft, 23(1):50-55, 1998. [doi]

1996

Process to Process Communication in PrologMaurizio Panti, Alessandro Cucchiarelli, M. Mattiucci, Salvatore Valenti. SIGPLAN, 31(7):33-39, 1996.

1994

A Graphical Editor for Semantic Data ModelingAlessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti. appinf 1994: 4-7

Supporting user-analyst interaction in functional requirements elicitationAlessandro Cucchiarelli, Maurizio Panti, Salvatore Valenti. apsec 1994: 114-123 [doi]

1992

A modulus oriented hash function for the construction of minimal perfect tablesMaurizio Panti, Salvatore Valenti. SIGPLAN, 27(11):33-38, 1992. [doi]

1984

Modeling the office structure: A first step towards the Office Expert SystemLuigia Aiello, Daniele Nardi, Maurizio Panti. cocs 1984: 25-32 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Maurizio Panti'

Viewing Publication 1 - 43 from 43

2005

2004

2003

2002

2001

2000

1999

1998

1996

1994

1992

1984

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Maurizio Panti'

Viewing Publication 1 - 43 from 43

2005

2004

2003

2002

2001

2000

1999

1998

1996

1994

1992

1984

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1