# Robert Gold

According to our database

^{1}, Robert Gold## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Control flow graphs and code coverage.

Applied Mathematics and Computer Science, 2010

1995

A Compositional Dataflow Semantics for Petri Nets.

Acta Inf., 1995

1994

A Fully Abstract Semantics for Termination in Petri Nets.

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993

Datenflusssemantiken für Petrinetze.

PhD thesis, 1993

1992

Quality criteria for partial order semantics of place/transition-nets with capacities.

Fundam. Inform., 1992

Dataflow Semantics for Petri Nets.

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

1990

Quality Criteria for Partial Order Semantics of Place/Transition-Nets.

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989

A survey of behaviour and equivalence preserving refinements of Petri nets.

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1968

Maximal recursive sequences with 3-valued recursive cross-correlation functions (Corresp.).

IEEE Trans. Information Theory, 1968

1967

Optimal binary sequences for spread spectrum multiplexing (Corresp.).

IEEE Trans. Information Theory, 1967