Juraj Major

According to our database, Juraj Major authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report).

Lukás Holík, Ondrej Lengál, Juraj Major, Adéla Stepková, Jan Strejcek

CoRR, July, 2025

2023

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving.

Tereza Schwarzová, Jan Strejcek, Juraj Major

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2020

LTL to self-loop alternating automata with generic acceptance and back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Theor. Comput. Sci., 2020

2019

LTL to Smaller Self-Loop Alternating Automata and Back.

Frantisek Blahoudek, Juraj Major, Jan Strejcek

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata.

Juraj Major, Frantisek Blahoudek, Jan Strejcek, Miriama Sasaráková, Tatiana Zboncáková

Proceedings of the Automated Technology for Verification and Analysis, 2019