VLDB 2026 Research / reviewers in the wild / expert
Ruey-Juin Chang
dblp:99/2288
· DBLP profile ↗
3ranked-venue papers
1as first author
0since 2021 · last 2008
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 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.
| Theoretical computer science
1 paper |
Logic in computer science · 50% Automated reasoning and model checking · 50% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › theorem proving
inductive theorem proving |
0.0 | 1 | 1987 | A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987 |
Logic in computer science
proof theory |
0.0 | 1 | 1987 | A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987 |
Logic in computer science
structural induction |
0.0 | 1 | 1987 | A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987 |
Automated reasoning and model checking
theorem proving |
0.0 | 1 | 1987 | A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts · AAAI 1987 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2008 | Modeling and On-the-Fly Solutions for Solid Earth Sciences: Web Services and Data Portal for Earthquake Early Warning SystemabstractWe report on a unified on-the-fly, Web services-based observation/analysis/modeling environment for crustal deformation and natural hazards research, intended as a plug-in service for early warning systems, transfer of rapid information to civilian decision makers and the media, and educational purposes. We demonstrate an early warning system for a large earthquake in southern California using the components developed under several NASA-funded projects, including real-time GPS network infrastructure, Geophysical Resources Web Services, and GPS Explorer data portal with its on-the-fly earthquake modeling software. We generate an on-the-fly earthquake fault model based on simulated real-time (dynamic and coseismic) displacements computed by the GPS network, and viewable through GPS Explorer. Our objective is to demonstrate an operational service that could be transitioned to appropriate civilian agencies in southern California. Yehuda Bock, Brendan Crowell, Linette Prawirodirdjo, Paul Jamason, Ruey-Juin Chang, Melinda Squibb, Marlon E. Pierce, Xiaoming Gao, Frank Webb, Sharon Kedar, Robert A. Granat, Jay Parker, Danan Dong |
IGARSS (4) | 5 |
| 1991 | Components of expertise for knowledge level modelingabstractA new dimension of object-oriented components is presented to describe knowledge-level models of an application. From the knowledge-level perspective, components are needed for modeling the problems, solution methods, and their relationships in a problem-solving process. A problem can often be decomposed recursively by various methods into subproblems until reaching primitive ones. Each primitive problem is confined to a simple computational task, which can be solved by one problem-solving method. The process of problem solving is viewed as a modeling activity through explicitly represented knowledge-level models that are, then, operationalized. Design issues that are encountered when developing such a component-based framework for knowledge-level modeling are described.> Ruey-Juin Chang, Gordon S. Novak |
ICTAI | 1 |
| 1987 | A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts
Peiya Liu, Ruey-Juin Chang |
AAAI | 2 |