Harald-Reto Fonio

According to our database, Harald-Reto Fonio authored at least 5 papers between 1985 and 1994.

Collaborative distances:

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

1994

Foretracking versus Backtracking in AI Languages.

Jared L. Darlington, Harald-Reto Fonio

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994

1992

Rule-based synthesis using ADTs and term rewriting.

Harald-Reto Fonio, Adam Pawlak

Microprocess. Microprogramming, 1992

1988

Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems.

Harald-Reto Fonio

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Amalgamation of Graph Transformations: A Synchronization Mechanism.

Paul Boehm, Harald-Reto Fonio, Annegret Habel

J. Comput. Syst. Sci., 1987

1985

Amalgamation of Graph Transformations with Applications to Synchronization.

Paul Boehm, Harald-Reto Fonio, Annegret Habel

Proceedings of the Mathematical Foundations of Software Development, 1985