Demo Data from EDBT 2026 / reviewers in the wild / expert
Albert Y. C. Lai
dblp:82/380
· DBLP profile ↗
3ranked-venue papers
0as first author
0since 2021 · last 2006
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2Software engineering, systems software and programming languages · 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 |
Automated reasoning and model checking · 77% Logic in computer science · 23% |
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 › model checking
multi-valued model checking |
0.0 | 1 | 2003 | \chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003 |
Automated reasoning and model checking › model checking
temporal logic model checking |
0.0 | 1 | 2003 | \chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003 |
Logic in computer science › temporal logic › branching-time temporal logic
CTL |
0.0 | 1 | 2003 | \chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003 |
Logic in computer science
temporal logic |
0.0 | 1 | 2003 | \chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003 |
Methods — techniques the papers use, named apart from their topics
symbolic model checking · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | Data structures for symbolic multi-valued model-checking
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook |
Formal Methods Syst. Des. | 4 |
| 2003 | \chiChek: A Model Checker for Multi-Valued ReasoningabstractThis paper describes our multi-valued symbolic model-checker XChek. XChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued model-checking supports reasoning with values other than just TRUE and FALSE. Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh |
ICSE | 5 |
| 2001 | Efficient Multiple-Valued Model-Checking Using Lattice Representations
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh |
CONCUR | 4 |