 | 2001 |
|---|
| 8 |       | Fausto Giunchiglia,
Paolo Pecchiari,
Carolyn L. Talcott:
Reasoning Theories.
J. Autom. Reasoning 26(3): 291-331 (2001) |
| 1997 |
|---|
| 7 |  | 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 |
|---|
| 6 | | Fausto Giunchiglia,
Paolo Pecchiari,
Carolyn L. Talcott:
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Frontiers of Combining Systems (FroCos) 1996: 157-174 |
| 5 | | 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) |
| 1995 |
|---|
| 4 | | Mauro Di Manzo,
Paolo Pecchiari:
Composing decision procedures: the approach and a case study.
AI*IA 1995: 175-186 |
| 3 | | Enrico Giunchiglia,
Alessandro Armando,
Paolo Pecchiari:
Structured Proof Procedures.
Ann. Math. Artif. Intell. 15(1): 1-18 (1995) |
| 1993 |
|---|
| 2 | | Mauro Di Manzo,
Enrico Giunchiglia,
Alessandro Armando,
Paolo Pecchiari:
Proving Formulas through Reduction to Decidable Classes.
AI*IA 1993: 1-10 |
| 1 | | Alessandro Armando,
Paolo Pecchiari:
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities.
ICTAI 1993: 446-447 |
