安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加 抽象隐马尔可夫模型：定量信息流的一元描述。 （英语） Zbl 1423.68107号 日志。方法计算。科学。 15，第1号，第36号论文，50页（2019年）.MSC公司：68号30 60J20型 68页30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人，日志。方法计算。科学。15，第1号，第36号论文，50页（2019年；Zbl 1423.68107） 全文： 内政部 arXiv公司
安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 调度程序和完成程序：关于生成和过滤事件结构的行为。 （英语） Zbl 1400.68139号 西奥。计算。科学。 744, 97-112 (2018).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人，Theor。计算。科学。744，97-112（2018；Zbl 1400.68139） 全文： 内政部
安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 概率可靠性保证演算。 （英语） Zbl 1356.68156号 西奥。计算。科学。 655，B部分，120-134（2016）.MSC公司：68问题85 68号30 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人，Theor。计算。科学。655，B部分，120--134（2016；Zbl 1356.68156） 全文： 内政部 arXiv公司
安娜贝拉·麦克维尔;塔希里·拉贝哈加;乔治·斯特鲁斯 调度程序和完成程序：关于生成事件结构的行为。 （英语） Zbl 1400.68138号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第13届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965121-138（2016）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人，Lect。注释计算。科学。99651121-138（2016年；兹比尔1400.68138） 全文： 内政部
彼得·霍夫纳;安娜贝拉·麦克维尔 跳房子–一步一步到达目标。 （英语） Zbl 1371.68210号 J.日志。阿尔盖布。方法计划。 83，第2期，212-224（2014）.MSC公司：68兰特 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{A.McIver}，J.Log。阿尔盖布。方法计划。83，No.2，212--224（2014；Zbl 1371.68210） 全文： 内政部
A.K.McIver。;C.C.摩根。 基于代理的安全协议中的组合优化。 （英语） Zbl 1245.68065号 正式Asp。计算。 23，第6号，711-737（2011）.MSC公司：68号30 94A60型 68个M12 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan}，正式Asp。计算。23，第6号，711--737（2011；Zbl 1245.68065） 全文： 内政部
A.K.McIver。;冈萨利亚，C。;科恩，E。;C.C.摩根。 使用概率Kleene代数pKA进行协议验证。 （英语） Zbl 1148.68034号 J.日志。阿尔盖布。程序。 76，第1号，90-111（2008）.MSC公司：60年第68季度 68个M12 68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人，J.Log。阿尔盖布。程序。76，第1号，90--111（2008；Zbl 1148.68034） 全文： 内政部