VLDB 2026 Research / reviewers in the wild / expert
Julian Klein 0001
dblp:03/9150-1
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0005-2899-3934ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata
Julian Klein 0001, Kuize Zhang, Sabine Glesner |
ICFEM | 1 |
| 2024 | Efficient State Estimation of Discrete-Timed Automata
Julian Klein 0001, Paul Kogel, Sabine Glesner |
ICFEM | 1 |