According to our database1, Paolo Pecchiari
Legend:Book In proceedings Article PhD thesis Other
J. Autom. Reasoning, 2001
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem.
J. Autom. Reasoning, 1996
Towards provably correct system synthesis and extension.
Future Generation Comp. Syst., 1996
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.
Proceedings of the Frontiers of Combining Systems, 1996
Structured Proof Procedures.
Ann. Math. Artif. Intell., 1995
Composing decision procedures: the approach and a case study.
Proceedings of the Topics in Artificial Intelligence, 1995
NALIG: A CAD System for Interior Design with High Level Interaction Capabilities.
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993
Proving Formulas through Reduction to Decidable Classes.
Proceedings of the Advances in Artificial Intelligence, 1993