VLDB 2026 Research / reviewers in the wild / expert
Karla Vanessa Morris Wright
dblp:362/1713
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
0000-0002-0146-3176ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Semantics Formalisation - From Event-B Contexts to Theories
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler |
ABZ | 3 |
| 2023 | Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler |
ICTAC | 1 |