VLDB 2026 Research / reviewers in the wild / expert
Juraj Major
dblp:247/0998
· DBLP profile ↗
5ranked-venue papers
1as first author
2since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 4 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | On Complementation of Nondeterministic Finite Automata Without Full Determinization
Lukás Holík, Ondrej Lengál, Juraj Major, Adéla Stepková, Jan Strejcek |
FCT | 3 |
| 2023 | Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
Tereza Schwarzová, Jan Strejcek, Juraj Major |
SAT | 3 |
| 2020 | LTL to self-loop alternating automata with generic acceptance and back
Frantisek Blahoudek, Juraj Major, Jan Strejcek |
Theor. Comput. Sci. | 2 |
| 2019 | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková |
ATVA | 1 |
| 2019 | LTL to Smaller Self-Loop Alternating Automata and Back
Frantisek Blahoudek, Juraj Major, Jan Strejcek |
ICTAC | 2 |