Paolo Pecchiari

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Publications

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
Reasoning Theories. J. Autom. Reason. 26 (3) (2001)
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)
Matt Kaufmann, Paolo Pecchiari
Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem. J. Autom. Reason. 16 (1-2) (1996)
Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando
Towards provably correct system synthesis and extension. Future Gener. Comput. Syst. 12 (2-3) (1996)
Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS (1996)
Mauro Di Manzo, Paolo Pecchiari
Composing decision procedures: the approach and a case study. AI*IA (1995)
Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
Structured Proof Procedures. Ann. Math. Artif. Intell. 15 (1) (1995)
Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
Proving Formulas through Reduction to Decidable Classes. AI*IA (1993)
Alessandro Armando, Paolo Pecchiari
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. ICTAI (1993)