VLDB 2026 Research / reviewers in the wild / expert

Laura P. Gamboa Guzman

dblp:335/4083 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0000-0003-3133-5148ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021Theory of computation · 1 · 1 since 2021
YearPublicationVenuePosition
2026 WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL)
Zili Wang 0004, Laura P. Gamboa Guzman, Kristin Y. Rozier
 Sci. Comput. Program.2
2023 Mission-Time LTL (MLTL) Formula Validation via Regular Expressions
Jenna Elwing, Laura P. Gamboa Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang 0004, Kristin Y. Rozier
 iFM2