Paolo Pecchiari

According to our database, Paolo Pecchiari authored at least 9 papers between 1993 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

Reasoning Theories.

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott

J. Autom. Reason., 2001

1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.

Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem.

Matt Kaufmann, Paolo Pecchiari

J. Autom. Reason., 1996

Towards provably correct system synthesis and extension.

Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando

Future Gener. Comput. Syst., 1996

Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.

Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott

Proceedings of the Frontiers of Combining Systems, 1996

1995

Structured Proof Procedures.

Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari

Ann. Math. Artif. Intell., 1995

Composing decision procedures: the approach and a case study.

Mauro Di Manzo, Paolo Pecchiari

Proceedings of the Topics in Artificial Intelligence, 1995

1993

NALIG: A CAD System for Interior Design with High Level Interaction Capabilities.

Alessandro Armando, Paolo Pecchiari

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Proving Formulas through Reduction to Decidable Classes.

Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari

Proceedings of the Advances in Artificial Intelligence, 1993