-
Preface for the special issue for ATVA 2015
Author: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Journal: ACTA INFORMATICA, 2018, Vol.55, 625-626, DOI:10.1007/s00236-018-0330-0
-
Some kinds of primitive and non-primitive words
Author: Cao Chunhua, Yang Shuang, Yang Di
Journal: ACTA INFORMATICA, 2014, Vol.51, 339-346, DOI:10.1007/s00236-014-0200-3
-
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks
Author: Suo Ping Li, Yong Qiang Zhou, Yong Zhou
Journal: ACTA INFORMATICA, 2014, Vol.51, 51-60, DOI:10.1007/s00236-013-0192-4
-
Termination of nondeterministic quantum programs
Author: Yangjia Li, Nengkun Yu, Mingsheng Ying
Journal: ACTA INFORMATICA, 2013, Vol.51, 1-24, DOI:10.1007/s00236-013-0185-3
-
Characterizations of $$$$-comma codes and $$$$-comma intercodes
Author: Chunhua Cao, Haiyan Liu, Di Yang
Journal: ACTA INFORMATICA, 2015, Vol.53, 23-33, DOI:10.1007/s00236-015-0233-2
-
Optimal covers in the relational database model
Author: Xiaoning Peng, Zhijun Xiao
Journal: ACTA INFORMATICA, 2015, Vol.53, 459-468, DOI:10.1007/s00236-015-0247-9
-
Analysis of dual-hop and multiple relays cooperative truncated ARQ with relay selection in WSNs
Author: Suoping Li, Yongqiang Zhou, Duo Peng, Zufang Dou, Yong Zhou
Journal: ACTA INFORMATICA, 2015, Vol.53, 1-22, DOI:10.1007/s00236-015-0232-3
-
Efficient and secure attribute-based signature for monotone predicates
Author: Ke Gu, Weijia Jia, Guojun Wang, Sheng Wen
Journal: ACTA INFORMATICA, 2016, Vol.54, 521-541, DOI:10.1007/s00236-016-0270-5
