Detail publikace

Verifying Quantum Circuits with Level-Synchronized Tree Automata

ABDULLA Parosh A., CHEN Yo-ga, CHEN Yu-Fang, HOLÍK Lukáš, LENGÁL Ondřej, LIN Jyun-ao, LO Fang-yi a TSAI Wei-lun. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, roč. 9, č. 1, 2024, s. 31. ISSN 2475-1421.
Název česky
Verifikace kvantových obvodů s pomocí úrovňově synchronizovaných stromových automatů
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Chen Yo-ga (ASIN)
Chen Yu-Fang (ASIN)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Lin Jyun-ao (ASIN)
Lo Fang-yi (ASIN)
Tsai Wei-lun (ASIN)
Abstrakt

Článek zavádí nový formální model úrovňově synchronizovaných stromových automatů, který vykazuje dobré vlastnosti pro verifikaci kvantových obvodů.

Rok
2024 (v tisku)
Strany
31
Časopis
Proceedings of the ACM on Programming Languages, roč. 9, č. 1, ISSN 2475-1421
Kniha
Proceedings of POPL'25
Vydavatel
Association for Computing Machinery
DOI
10.1145/3704868
BibTeX 
@ARTICLE{FITPUB13304,
   author = "A. Parosh Abdulla and Yo-ga Chen and Yu-Fang Chen and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Jyun-ao Lin and Fang-yi Lo and Wei-lun Tsai",
   title = "Verifying Quantum Circuits with Level-Synchronized Tree Automata",
   pages = 31,
   booktitle = "Proceedings of POPL'25",
   journal = "Proceedings of the ACM on Programming Languages",
   volume = 9,
   number = 1,
   year = 2024,
   ISSN = "2475-1421",
   doi = "10.1145/3704868",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13304"
}
Nahoru