马尔瓦·查伊布;米尔科·科西纳;Yousfi、Souheib;帕斯卡·拉福卡德;Riadh罗巴纳 DABSTERS:用于许可区块链的保护隐私的电子投票协议。 (英语) Zbl 07142682号 Hierons,Robert Mark(编辑)等人,《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日,第16届国际学术讨论会,突尼斯哈马马特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11884, 292-312 (2019).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Chaieb}等人,Lect。注释计算。科学。11884、292--312(2019;Zbl 07142682) 全文: 内政部
詹妮克·德雷尔;克里斯蒂安·埃内;帕斯卡·拉福卡德;亚辛·拉赫内奇 应用积分中过程唯一分解的存在性和可判定性。 (英语) Zbl 1333.68197号 西奥。计算。科学。 612, 102-125 (2016)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人,Theor。计算。科学。612102--125(2016年;Zbl 1333.68197) 全文: 内政部 哈尔
詹妮克·德雷尔;克里斯蒂安·埃内;帕斯卡·拉福卡德;亚辛·拉赫内奇 关于应用积分中过程的唯一分解。 (英语) Zbl 1260.68265号 Pfenning,Frank(编辑),《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013,是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37074-8/pbk)。计算机科学课堂讲稿7794,50-64(2013)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Dreier}等人,Lect。注释计算。科学。7794,50-64(2013;Zbl 1260.68265) 全文: 内政部