[IEEE 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Paris, France (2018.6.27-2018.6.29)] 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - Formalising the Requirements of an E-Voting Software Product Line Using Event-B
- 作者Ait Wakrime, Abderrahim; Gibson, J Paul; Raffy, Jean-Luc
- 文件大小430.71KB
- 发表时间2018
- DOI10.1109/WETICE.2018.00022
- 页码78-84
[IEEE 2017 IEEE International Symposium on Information Theory (ISIT) - Aachen, Germany (2017.6.25-2017.6.30)] 2017 IEEE International Symposium on Information Theory (ISIT) - The geometry of the relay channelWu, Xiugang; Barnes, Leighton Pate; Ozgur, Ayfer · 2017
[IEEE 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2016.9.27-2016.9.30)] 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Cover's open problem: “The Capacity of the Relay Channel”Wu, Xiugang; Barnes, Leighton Pate; Ozgur, Ayfer · 2016
[IEEE 2017 55th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2017.10.3-2017.10.6)] 2017 55th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - A solution to cover's problem for the binary symmetric relay channel: Geometry of sets on the hamming sphereBarnes, Leighton Pate; Wu, Xiugang; Ozgur, Ayfer · 2017
Signal Recovery on Incoherent ManifoldsHegde, C.; Baraniuk, R. G. · IEEE Transactions on Information Theory · 2012
Caching in Wireless NetworksNiesen, Urs; Shah, Devavrat; Wornell, Gregory W. · IEEE Transactions on Information Theory · 2012
The Multiway Relay ChannelGunduz, Deniz; Yener, Aylin; Goldsmith, Andrea; Poor, H. Vincent · IEEE Transactions on Information Theory · 2013
Diversity of MMSE MIMO ReceiversMehana, Ahmed Hesham; Nosratinia, Aria · IEEE Transactions on Information Theory · 2012
Ergodic Interference AlignmentNazer, Bobak; Gastpar, Michael; Jafar, Syed Ali; Vishwanath, Sriram · IEEE Transactions on Information Theory · 2012
Minimal trellises for block codesMuder, D.J. · IEEE Transactions on Information Theory · 1988
Covering Numbers for Convex FunctionsGuntuboyina, Adityanand; Sen, Bodhisattva · IEEE Transactions on Information Theory · 2013
Trellis shapingForney, G.D. · IEEE Transactions on Information Theory · 1992