- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| j3 |      | Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories. J. Autom. Reasoning 26(3): 291-331 (2001) |
| 1997 | ||
| c5 | | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213 |
| 1996 | ||
| j2 | | Matt Kaufmann, Paolo Pecchiari: Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. J. Autom. Reasoning 16(1-2): 181-222 (1996) |
| c4 |  | Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS 1996: 157-174 |
| 1995 | ||
| j1 | | Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Structured Proof Procedures. Ann. Math. Artif. Intell. 15(1): 1-18 (1995) |
| c3 | | Mauro Di Manzo, Paolo Pecchiari: Composing decision procedures: the approach and a case study. AI*IA 1995: 175-186 |
| 1993 | ||
| c2 | | Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Proving Formulas through Reduction to Decidable Classes. AI*IA 1993: 1-10 |
| c1 | | Alessandro Armando, Paolo Pecchiari: NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. ICTAI 1993: 446-447 |
| 1 | Alessandro Armando | |
| 2 | Alessandro Cimatti | |
| 3 | Enrico Giunchiglia | |
| 4 | Fausto Giunchiglia | |
| 5 | Matt Kaufmann | |
| 6 | Mauro Di Manzo | |
| 7 | Bruno Pietra | |
| 8 | Joe Profeta | |
| 9 | Dario Romano | |
| 10 | Carolyn L. Talcott | |
| 11 | Paolo Traverso | |
| 12 | Bing Yu |
Data released under the ODC-BY 1.0 license — See also our legal information page