Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Raymond Aubin

dblp:70/1743 · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
0since 2021 · last 1989
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 2 · 1 first-authorTheory of computation · 2 · 2 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
1 paper
Routing and switching · 100%
Theoretical computer science
1 paper
Logic in computer science · 50% Automated reasoning and model checking · 50%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 50% Storage systems · 50%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Routing and switching
packet switching
0.011982
Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management · IEEE Trans. Commun. 1982
Automated reasoning and model checking › theorem proving › formal theorem proving
proof mechanization
0.011977
Strategies for Mechanizing Structural Induction · IJCAI 1977
Logic in computer science
structural induction
0.011977
Strategies for Mechanizing Structural Induction · IJCAI 1977
Distributed systems
fault tolerance
0.011982
Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management · IEEE Trans. Commun. 1982
Storage systems
file systems
0.011982
Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management · IEEE Trans. Commun. 1982
YearPublicationVenuePosition
1989 Software indexing for reuse
abstract
Various approaches to software reuse are reviewed and a methodology described. The methodology was developed based on keyboard indexing to retrieve relevant methods in the Smalltalk environment. Important properties that promote software reuse in Smalltalk are encapsulation, inheritance, and dynamic binding. The methodology proposed was initially implemented as a tool in Smalltalk/V Class Hierarchy Browser on a Vienna AOC II personal computer. Special features, such as stop-word lists, stem-word lists, and automatic dictionary generation were implemented and satisfactorily demonstrated. The tool has been ported to Smalltalk-80 on a Macintosh II workstation where increased memory and processing power greatly improved the performance of the tool.>
Steven Fraser 0001, José M. Duran, Raymond Aubin
SMC3
1986 From Specifications to Test Cases: AI in Software Quality
Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke
ICC2
1982 Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management
abstract
The Northern Telecom SL-10 Packet Switching System is steadily enhanced to provide better access services for users. Equally important to them, but less visible, are enhancements to improve availability and increase throughput. To this end, intelligent peripheral devices, such as storage controllers and line servers, have been added to the Switch and new strategies, especially for software loading, have been devised. Such additions have had an impact on the software architecture. The Resource Subsystem now has to cope with a wider variety of devices, including intelligent peripheral devices. The File Subsystem has been generalized to accommodate files on different types of volumes, e.g., disks and tape cartridges. A whole new Subsystem has evolved to handle strategies for loading processors in parallel and to load intelligent peripherals. The SL-10 Packet Switch software architecture, with its process environment structured in Subsystems, has proven well suited to these requirements.
Raymond Aubin, Alexander D. Brown, Bran Selic
IEEE Trans. Commun.1
1979 Mechanizing Structural Induction Part I: Formal System
Raymond Aubin
Theor. Comput. Sci.1
1979 Mechanizing Structural Induction Part II: Strategies
Raymond Aubin
Theor. Comput. Sci.1
1977 Strategies for Mechanizing Structural Induction
Raymond Aubin
IJCAI1