Demo Data from EDBT 2026 / reviewers in the wild / expert
Gaoyan Xie
dblp:38/1949
· DBLP profile ↗
8ranked-venue papers
6as first author
0since 2021 · last 2005
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 5 first-authorSoftware engineering, systems software and programming languages · 2 · 2 first-author
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
2 papers |
Automated reasoning and model checking · 50% Automata and formal languages · 25% Algorithms and data structures · 25% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 77% Requirements engineering and software design · 23% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification › modular verification
component-based verification |
0.0 | 1 | 2004 | Decompositional Verification of Component-based Systems-A Hybrid Approach · ASE 2004 |
Automata and formal languages
counter machines |
0.0 | 1 | 2003 | Dense Counter Machines and Verification Problems · CAV 2003 |
Algorithms and data structures
diophantine equations |
0.0 | 1 | 2003 | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems · ICALP 2003 |
Automated reasoning and model checking › model checking
infinite-state model checking |
0.0 | 1 | 2003 | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems · ICALP 2003 |
Requirements engineering and software design
software architecture |
0.0 | 1 | 2004 | Decompositional Verification of Component-based Systems-A Hybrid Approach · ASE 2004 |
Methods — techniques the papers use, named apart from their topics
hybrid verification · 0.0quadratic diophantine equations · 0.0decidability analysis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2005 | On Model-Checking of P Systems
Zhe Dang, Oscar H. Ibarra, Gaoyan Xie |
UC | 4 |
| 2004 | Real-Counter Automata and Their Decision Problems
Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie |
FSTTCS | 4 |
| 2004 | Decompositional Verification of Component-based Systems-A Hybrid Approach
Gaoyan Xie |
ASE | 1 |
| 2004 | Testability of Oracle Automata
Gaoyan Xie, Zhe Dang |
CIAA | 1 |
| 2004 | Linear reachability problems and minimal solutions to linear Diophantine equation systems
Gaoyan Xie, Zhe Dang |
Theor. Comput. Sci. | 1 |
| 2003 | Dense Counter Machines and Verification Problems
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
CAV | 1 |
| 2003 | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems
Gaoyan Xie, Zhe Dang, Oscar H. Ibarra |
ICALP | 1 |
| 2003 | New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations
Gaoyan Xie, Zhe Dang |
CIAA | 1 |