Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2020

  1. BLAHOUDEK, František, Juraj MAJOR a Jan STREJČEK. LTL to self-loop alternating automata with generic acceptance and back. Theoretical Computer Science, AMSTERDAM: North Holland, 2020, Neuveden, č. 840, s. 122-142. ISSN 0304-3975. doi:10.1016/j.tcs.2020.07.015.
  2. 2019

  3. BLAHOUDEK, František, Juraj MAJOR a Jan STREJČEK. LTL to Smaller Self-Loop Alternating Automata and Back. In Robert Mark Hierons, Mohamed Mosbah. Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Cham (Switzerland): Springer, 2019. s. 152-171, 20 s. ISBN 978-3-030-32504-6. doi:10.1007/978-3-030-32505-3_10.
  4. MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ a Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019. s. 357-365, 9 s. ISBN 978-3-030-31783-6. doi:10.1007/978-3-030-31784-3_21.
Zobrazit podrobně
Zobrazeno: 27. 10. 2020 15:57