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