# Soundness (interactive proof)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2013

Highly Cited

2013

- Business Process Management Workshops
- 2013

Given an event log describing observed behaviour, process discovery aims to find a process model that ‘best’ describes this… (More)

Is this relevant?

2007

2007

- J. Log. Comput.
- 2007

The challenge of finding compositional ways of (formally) developing concurrent programs is considerable. Various forms of rely… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- POPL
- 2005

"Adoption" is when on piece of stat is logically embedded in another piece of state. Adoption provides information hiding (the… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Ann. Pure Appl. Logic
- 2005

A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- VLDB
- 2005

Existing work for query processing over graph data models often relies on pre-computing the transitive closure or path indexes… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 2004

In this paper, the multi-agent coordination problem is studied. This problem is addressed for a class of robots for which control… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2002

Highly Cited

2002

- IEEE Trans. Robotics and Automation
- 2002

In this paper, the multiagent coordination problem is studied. This problem is addressed for a class of robots for which control… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- ACM Trans. Program. Lang. Syst.
- 1991

We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- IEEE Software
- 1991

A method for modular specification and verification using the ideas of subtype and normal type is presented. The method… (More)

Is this relevant?