Výsledky vyhledávání
- 1.0542403 - MÚ 2022 RIV DE eng J - Článek v odborném periodiku
Masopust, Tomáš - Krötzsch, M.
Partially ordered automata and piecewise testability.
Logical Methods in Computer Science. Roč. 17, č. 2 (2021), č. článku 14. ISSN 1860-5974. E-ISSN 1860-5974
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: automata * nondeterminism * complexity
Obor OECD: Automation and control systems
Impakt faktor: 0.591, rok: 2021
Způsob publikování: Open access
https://dx.doi.org/10.23638/LMCS-17(2:14)2021
Trvalý link: http://hdl.handle.net/11104/0319817Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 4 866.6 KB Vydavatelský postprint povolen - 2.0476953 - MÚ 2018 RIV US eng J - Článek v odborném periodiku
Krötzsch, M. - Masopust, Tomáš - Thomazo, M.
Complexity of universality and related problems for partially ordered NFAs.
Information and Computation. Roč. 255, č. 1 (2017), s. 177-192. ISSN 0890-5401. E-ISSN 1090-2651
Institucionální podpora: RVO:67985840
Klíčová slova: nondeterministic automata * partial order * universality
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.077, rok: 2017
http://www.sciencedirect.com/science/article/pii/S0890540117300998?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0273361Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 1 524 KB Vydavatelský postprint vyžádat