Juraj Major
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FCT | On Complementation of Nondeterministic Finite Automata Without Full Determinization. | Luks Holk, Ondrej Lengl, Juraj Major, Adla Stepkov, Jan Strejcek |
| 2023 | SAT | Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving. | Tereza Schwarzov, Jan Strejcek, Juraj Major |
| 2019 | ATVA | ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. | Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasarkov, Tatiana Zbonckov |
| 2019 | ICTAC | LTL to Smaller Self-Loop Alternating Automata and Back. | Frantisek Blahoudek, Juraj Major, Jan Strejcek |