# Paolo Pecchiari

According to our database

Collaborative distances:

^{1}, Paolo Pecchiari authored at least 9 papers between 1993 and 2001.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2001

Reasoning Theories.

J. Autom. Reasoning, 2001

1997

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

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.

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

1995

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

1993

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