Demo Data from EDBT 2026 / reviewers in the wild / expert
Raymond Aubin
dblp:70/1743
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Routing and switching
packet switching |
0.0 | 1 | 1982 | 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.0 | 1 | 1977 | Strategies for Mechanizing Structural Induction · IJCAI 1977 |
Logic in computer science
structural induction |
0.0 | 1 | 1977 | Strategies for Mechanizing Structural Induction · IJCAI 1977 |
Distributed systems
fault tolerance |
0.0 | 1 | 1982 | Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management · IEEE Trans. Commun. 1982 |
Storage systems
file systems |
0.0 | 1 | 1982 | Developments in the SL-10 Packet Switch: Resource, File, and Software Loading Management · IEEE Trans. Commun. 1982 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1989 | Software indexing for reuseabstractVarious 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 |
SMC | 3 |
| 1986 | From Specifications to Test Cases: AI in Software Quality
Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke |
ICC | 2 |
| 1982 | Developments in the SL-10 Packet Switch: Resource, File, and Software Loading ManagementabstractThe 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 |
IJCAI | 1 |