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, 2025, s. 923-953. ISSN 2475-1421. Dostupné z: https://dl.acm.org/doi/10.1145/3704868
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)
URL
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
2025
Strany
923-953
Č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 = "923--953",
   booktitle = "Proceedings of POPL'25",
   journal = "Proceedings of the ACM on Programming Languages",
   volume = 9,
   number = 1,
   year = 2025,
   ISSN = "2475-1421",
   doi = "10.1145/3704868",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13304"
}
Nahoru