Raymond Aubin

Publication Activity (10 Years)

Years Active: 1977-2004
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Tomonori Takeda, Ichiro Inoue, Raymond Aubin, Marco Carugi
Layer 1 virtual private networks: service concepts, architecture requirements, and related advances in standardization. IEEE Commun. Mag. 42 (6) (2004)
Steven D. Fraser, José M. Duran, Raymond Aubin
Software indexing for reuse. SMC (1989)
Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke
From Specifications to Test Cases: AI in Software Quality. ICC (1986)
Raymond Aubin, Alexander D. Brown, Branislav Selic
Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management. IEEE Trans. Commun. 30 (6) (1982)
Raymond Aubin
Mechanizing Structural Induction Part II: Strategies. Theor. Comput. Sci. 9 (1979)
Raymond Aubin
Mechanizing Structural Induction Part I: Formal System. Theor. Comput. Sci. 9 (1979)
Raymond Aubin
Strategies for Mechanizing Structural Induction. IJCAI (1977)