1
TITLE: Testing Boolean Functions Properties
AUTHORS: Xie, ZW; Qiu, DW; Cai, GY; Gruska, J; Mateus, P;
PUBLISHED: 2021, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 182, ISSUE: 3
INDEXED IN: WOS
2
TITLE: Security improvements of several basic quantum private query protocols with O(log N) communication complexity  Full Text
AUTHORS: Fang Yu; Daowen W Qiu; Xiaoming M Wang; Qin Li; Lvzhou Z Li; Jozef Gruska;
PUBLISHED: 2020, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 807
INDEXED IN: Scopus WOS
3
TITLE: Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata  Full Text
AUTHORS: Shenggen G Zheng; Daowen W Qiu; Jozef Gruska;
PUBLISHED: 2015, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 241
INDEXED IN: Scopus WOS CrossRef
4
TITLE: State succinctness of two-way finite automata with quantum and classical states  Full Text
AUTHORS: Shenggen G Zheng; Daowen W Qiu; Jozef Gruska; Lvzhou Z Li; Paulo Mateus ;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 499
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Multi-letter quantum finite automata: decidability of the equivalence and minimization of states  Full Text
AUTHORS: Daowen W Qiu ; Lvzhou Z Li; Xiangfu F Zou; Paulo Mateus ; Jozef Gruska;
PUBLISHED: 2011, SOURCE: ACTA INFORMATICA, VOLUME: 48, ISSUE: 5-6
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings
AUTHORS: Lubos Brim; Jozef Gruska; Jirí Zlatuska;
PUBLISHED: 1998, SOURCE: MFCS, VOLUME: 1450
INDEXED IN: DBLP