VLDB 2026 Research / reviewers in the wild / expert
Junhua Yu
dblp:46/8243
· DBLP profile ↗
5ranked-venue papers
4as first author
1since 2021 · last 2024
0000-0002-0714-1709ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 4 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Point-Set Neighborhood Logic
Yanjing Wang 0001, Junhua Yu |
AiML | 2 |
| 2020 | Lyndon interpolation theorem of instantial neighborhood logic - constructively via a sequent calculus
Junhua Yu |
Ann. Pure Appl. Log. | 1 |
| 2017 | On non-self-referential fragments of modal logics
Junhua Yu |
Ann. Pure Appl. Log. | 1 |
| 2014 | Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
Junhua Yu |
Ann. Pure Appl. Log. | 1 |
| 2014 | Prehistoric Graph in Modal Derivations and Self-Referentiality
Junhua Yu |
Theory Comput. Syst. | 1 |