Technical Reports
by
RIGUZZI FABRIZIO
—
last modified
20 Sep, 2007 01:18 PM
- CS-2003-01 Fabrizio Riguzzi, Specification of the Application SuperSport with ER-DFD — last modified 20 Sep, 2007 01:18 PM
- CS-2003-02, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano, "Dealing with incomplete knowledge on CLP(FD) variable domains" — last modified 20 Sep, 2007 01:18 PM
- CS-2003-03, Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni, "Specification and Verification of Interaction Protocols: a Computational Logic Approach Based on Abduction" — last modified 20 Sep, 2007 01:18 PM
- CS-2004-01, Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni, "Abduction with Hypotheses Confirmation" — last modified 20 Sep, 2007 01:18 PM
- CS-2004-02, Marco Alberti and Federico Chesani, "The Implementation of a System for Generation and Confirmation of Hypotheses" — last modified 20 Sep, 2007 01:18 PM
- CS-2004-03, Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, "A Constraint Handling Rules Implementation for Known-Arc-Consistency in Interactive Constraint Satisfaction Problems" — last modified 20 Sep, 2007 01:18 PM
- CS-2004-04,Marco Alberti,Federico Chesani,Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni,"A Computational Logic-based approach to security protocols verification, and its application to the Needham-Schroeder Public Key authentication protocol" — last modified 20 Sep, 2007 01:18 PM
- CS-2005-01, Marco Gavanelli, Evelina Lamma, Paola Mello, "Proof of properties of the SCIFF proof-procedure" — last modified 20 Sep, 2007 01:18 PM
- CS-2005-02, Marco Gavanelli, Evelina Lamma, Paola Mello, "Proof of completeness of the SCIFF proof-procedure" — last modified 20 Sep, 2007 01:18 PM
- CS-2005-03, Marco Cadoli, Marco Gavanelli, and Toni Mancini, editors, "Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale" — last modified 20 Sep, 2007 01:18 PM
- Gli atti della Giornata RCRA sono stati pubblicati come Technical report del Computer Science Group in Ferrara. Per questi atti sono state depositate le copie d'obbligo: 1 copia presso la Procura della Repubblica di Ferrara, in data 13 Ottobre 2005; 4 copie presso la Prefettura di Ferrara, in data 13 Ottobre 2005.
