Raymond Aubin

According to our database, Raymond Aubin authored at least 8 papers between 1976 and 2004.

Collaborative distances:

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

2004

Layer 1 virtual private networks: service concepts, architecture requirements, and related advances in standardization.

Tomonori Takeda, Ichiro Inoue, Raymond Aubin, Marco Carugi

IEEE Commun. Mag., 2004

1989

Software indexing for reuse.

Steven D. Fraser, José M. Duran, Raymond Aubin

Proceedings of the IEEE International Conference on Systems, 1989

1986

From Specifications to Test Cases: AI in Software Quality.

Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke

Proceedings of the IEEE International Conference on Communications: Integrating the World Through Communications, 1986

1982

Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management.

Raymond Aubin, Alexander D. Brown, Branislav Selic

IEEE Trans. Commun., 1982

1979

Mechanizing Structural Induction Part II: Strategies.

Raymond Aubin

Theor. Comput. Sci., 1979

Mechanizing Structural Induction Part I: Formal System.

Raymond Aubin

Theor. Comput. Sci., 1979

1977

Strategies for Mechanizing Structural Induction.

Raymond Aubin

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Mechanizing structural induction.

Raymond Aubin

PhD thesis, 1976