VLDB 2026 Research / reviewers in the wild / expert
Munehiro Iwami
dblp:13/5549
· DBLP profile ↗
3ranked-venue papers
0as first author
2since 2021 · last 2024
0000-0001-9925-450XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Disproving Termination of Non-erasing Sole Combinatory Calculus with Tree Automata
Keisuke Nakano 0001, Munehiro Iwami |
CIAA | 2 |
| 2021 | Commutative Rational Term Rewriting
Mamoru Ishizuka, Takahito Aoto 0001, Munehiro Iwami |
LATA | 3 |
| 2013 | Termination of Rule-Based Calculi for Uniform Semi-Unification
Takahito Aoto 0001, Munehiro Iwami |
LATA | 2 |