杨，范;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 通过进程代数语义选择串空间。 （英语） 兹比尔1529.94036 Lopez-Garcia，Pedro（编辑）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13160, 307-350 (2023).MSC公司：94A60 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Yang}等人，Lect。注释计算。科学。13160307--350（2023年；Zbl 1529.94036） 全文： 内政部 arXiv公司
道尔顿·奇切斯特;杜伟;雷蒙德·考夫曼;林，海;克里斯托弗·林奇;安德鲁·马歇尔。;凯瑟琳·梅多斯。;纳伦德兰，帕里斯;维埃娜·拉维珊卡;路易斯·罗维拉;布兰登·罗泽克 CryptoSolve：面向密码算法的符号分析工具。 （英语） Zbl 1530.94003号 Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370、147-161（2022）。MSC公司：94-04 94A60 PDF格式BibTeX公司 XML格式引用 \textit{D.Chichester}等人，《电子》。程序。西奥。计算。科学。（EPTCS）370、147--161（2022年；Zbl 1530.94003） 全文： arXiv公司 链接
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 具有时间和空间的协议分析。 （英语） Zbl 1498.94052号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 22-49 (2021).MSC公司：94A60 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。13066，22-49（2021；Zbl 1498.94052） 全文： 内政部
凯瑟琳·梅多斯 在计算声音上移动条形图。 （英语） Zbl 1499.94048号 Bertino，Elisa（编辑）等人，《计算机安全–ESORICS 2021》。第26届欧洲计算机安全研究研讨会，德国达姆施塔特，2021年10月4日至8日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12973, 275-295 (2021).MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。注释计算。科学。12973、275——295（2021年；Zbl 1499.94048） 全文： 内政部
林，海;克里斯托弗·林奇;安德鲁·马歇尔。;凯瑟琳·梅多斯。;纳伦德兰，帕里斯;维埃娜·拉维珊卡;布兰登·罗泽克 自动合成密码验证的符号方法中的算法问题。 （英语） Zbl 07497926号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 253-270 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit｛H.Lin｝等人，Lect。注释计算。科学。12941、253--270（2021；Zbl 07497926） 全文： 内政部
阿帕里西奥·桑切斯，达米安;圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;朱莉娅·萨皮娜 随时间的协议分析。 （英语） Zbl 1492.94055号 Bhargavan，Karthikeyan（编辑）等人，《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12578, 128-150 (2020).MSC公司：94A60 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{D.Aparicio-Sánchez}等人，Lect。注释计算。科学。12578，128-150（2020；Zbl 1492.94055） 全文： 内政部 arXiv公司 链接
克里斯托弗·林奇;安德鲁·马歇尔。;凯瑟琳·梅多斯;纳伦德兰，帕里斯;维埃娜·拉维珊卡 同态异或理论的非对称统一。 （英语） Zbl 1435.68373号 Herzig，Andreas（编辑）等人，《组合系统的前沿》。2019年9月4日至6日，第十二届国际研讨会，FroCoS 2019，英国伦敦。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11715, 297-312 (2019).MSC公司：68伏15 03B35型 2012年第68季度 65年第68季度 94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}等人，Lect。注释计算。科学。11715、297--312（2019；Zbl 1435.68373） 全文： 内政部 arXiv公司
戴维·巴恩斯;Cremers，卡斯;凯瑟琳·梅多斯 模型检查安全协议。 （英语） Zbl 1392.68228号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。727-762 (2018).MSC公司：60年第68季度 68平方米 94A60 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，in：模型检查手册。查姆：斯普林格。727--762（2018；Zbl 1392.68228） 全文： 内政部
奥尔加·陈;凯瑟琳·梅多斯;乔塔姆·特里维迪 隐身协议：度量和开放问题。 （英语） Zbl 1487.94009号 Gibson-Robinson，Thomas（编辑）等人，《并发、安全和谜题》。在安德鲁·威廉·罗斯科60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。10160, 1-17 (2017).MSC公司：94A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Chen}等人，Lect。注释计算。科学。10160，1-17（2017；Zbl 1487.94009） 全文： 内政部
艾奥尼斯·阿斯科塔利基斯（编辑）;索蒂利斯·约安尼迪斯（编辑）;Katsikas，Sokratis公司（编辑）;凯瑟琳·梅多斯（编辑） 计算机安全–ESORICS 2016。第21届欧洲计算机安全研究研讨会，希腊伊拉克利翁，2016年9月26日至30日。诉讼程序。第二部分。 （英语） Zbl 1492.68010号 计算机科学课堂讲稿9879.查姆：施普林格（ISBN 978-3-319-45740-6/pbk；978-3-3169-45741-3/电子书）。xix，609页。(2016).MSC公司：68-06 68平方米25 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛I.Askoxylakis｝（编辑）等人，《计算机安全——ESORICS 2016》。2016年9月26日至30日，希腊赫拉克利翁，第21届欧洲计算机安全研究研讨会。诉讼程序。第二部分。查姆：斯普林格（2016；Zbl 1492.68010） 全文： 内政部
艾奥尼斯·阿斯科塔利基斯（编辑）;索蒂利斯·约安尼迪斯（编辑）;Katsikas，Sokratis公司（编辑）;凯瑟琳·梅多斯（编辑） 计算机安全–ESORICS 2016。第21届欧洲计算机安全研究研讨会，希腊伊拉克利翁，2016年9月26日至30日。诉讼程序。第一部分。 （英语） Zbl 1492.68009号 计算机科学课堂讲稿9878.查姆：施普林格（ISBN 978-3-319-45743-7/pbk；978-3-3169-45744-4/电子书）。xix，第623页。(2016).MSC公司：68-06 68平方米25 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{I.Askoxylakis}（ed.）等人，《计算机安全——ESORICS 2016》。2016年9月26日至30日，希腊赫拉克利翁，第21届欧洲计算机安全研究研讨会。诉讼程序。第一部分查姆：施普林格（2016；Zbl 1492.68009） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 利用非质量约束的模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).MSC公司：94A60 68号30 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。9465，238--261（2015；Zbl 1437.94060） 全文： 内政部
凯瑟琳·梅多斯 密码协议分析中形式化方法的新问题和趋势：十二年后。 （英语） Zbl 1322.94089号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、475-492课堂讲稿（2015）。MSC公司：94A60 68平方米 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。注释计算。科学。9200、475--492（2015年；Zbl 1322.94089） 全文： 内政部
安德鲁·马歇尔。;凯瑟琳·梅多斯;纳伦德兰，帕里斯 关于统一模单边分配性：算法、变量和不对称性。 （英语） Zbl 1391.68065号 日志。方法计算。科学。 11，第2号，第11号论文，39页（2015）.MSC公司：2012年第68季度 65年第68季度 第68页第15页 94A60 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Marshall}等人，《日志》。方法计算。科学。11，第2号，第11号论文，39页（2015；Zbl 1391.68065） 全文： 内政部 arXiv公司
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 Maude-NRL协议分析器中的状态空间缩减。 （英语） Zbl 1360.94307号 Inf.计算。 238, 157-186 (2014).MSC公司：94A60 68平方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛S.Escobar｝等人，信息计算。238157--186（2014年；Zbl 1360.94307） 全文： 内政部 链接
塞尔达尔·埃尔巴图尔;迪帕克·卡普尔;安德鲁·马歇尔。;凯瑟琳·梅多斯;纳伦德兰，帕里斯;克里斯托弗·林盖森 不相交理论中的非对称统一和组合问题。 （英语） Zbl 1405.68315号 Muscholl，Anca（编辑），《软件科学和计算结构基础》。第17届国际会议，FOSSACS 2014，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2014，法国格勒诺布尔，2014年4月5日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54829-1/pbk）。计算机科学课堂讲稿8412，274-288（2014）。MSC公司：第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。8412，274--288（2014；Zbl 1405.68315） 全文： 内政部
塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;克里斯托弗·林奇（Christopher A.Lynch）。;凯瑟琳·梅多斯;何塞·梅塞盖尔;纳伦德兰，帕里斯;圣地亚哥，索尼娅;拉尔夫·萨西 非对称统一：密码协议分析的新统一范式。 （英语） Zbl 1381.68264号 Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。《人工智能课堂讲稿》，231-248（2013）。MSC公司：第68页第15页 60年第68季度 94A60 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。7898、231--248（2013；Zbl 1381.68264） 全文： 内政部 链接
凯瑟琳·梅多斯（编辑）;卡门·费尔南德斯·高戈（编辑） 安全和信任管理。2011年STM第七届国际研讨会，丹麦哥本哈根，2011年6月27日至28日。修订了选定的论文。 （英语） Zbl 1238.68017号 计算机科学课堂讲稿7170.柏林：施普林格出版社（ISBN 978-3-642-29962-9/pbk）。x、 239页。(2012).MSC公司：68-06 68第25页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}（编辑）和\textit{C.Fernandez-Gago}（主编），安全和信任管理。2011年STM第七届国际研讨会，丹麦哥本哈根，2011年6月27日至28日。修订了选定的论文。柏林：施普林格出版社（2012；Zbl 1238.68017） 全文： 内政部
达斯科·巴甫洛维奇;凯瑟琳·梅多斯 贝叶斯认证：量化Hancke-Kuhn协议的安全性。 （英语） 兹比尔1343.94077 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，97-122（2010）。MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic}和\textit{C.Meadows}，电子。理论注释。计算。科学。26597--122（2010年；Zbl 1343.94077） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 Maude-NPA：密码协议分析模方程属性。 （英语） Zbl 1252.94061号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学课程讲稿5705，1-50（2009）。MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。5705，1-50（2009年；Zbl 1252.94061） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 （英语） Zbl 1153.94375号 西奥。计算。科学。 367，第1-2号，162-202（2006）.MSC公司：94A60 94A62型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Theor。计算。科学。367，编号1--2，162-202（2006；Zbl 1153.94375） 全文： 内政部
克里斯托弗·林奇;凯瑟琳·梅多斯 公钥加密自由代数模型的相对稳健性。 （英语） Zbl 1272.94049号 Armando，A.（ed.）等人，《安全协议分析自动推理研讨会论文集》（ARSPA 2004），爱尔兰科克，2004年7月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》125，第1期，43-54（2005）。MSC公司：94A60 68平方米 PDF格式BibTeX公司 XML格式引用 \textit｛C.Lynch｝和\textit｛C.Meadows｝，电子。理论注释。计算。科学。125，第1号，43-54（2005；Zbl 1272.94049） 全文： 链接
克里斯托弗·林奇;凯瑟琳·梅多斯 使用重写规则对Diffie-Hellman进行合理近似。 （英语） Zbl 1109.68475号 Lopez，Javier（编辑）等人，《信息和通信安全》。2004年10月27日至29日在西班牙马拉加举行的ICICS 2004第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23563-9/pbk）。计算机科学课堂讲稿3269262-277（2004）。MSC公司：68第25页 94A60 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}和\textit{C.Meadows}，莱克特。注释计算。科学。3269262--277（2004年；Zbl 1109.68475） 全文： 内政部
凯瑟琳·梅多斯 从Satan的菜单中订购：密码协议形式分析的需求规范调查。 （英语） Zbl 1072.68535号 科学。计算。程序。 50，编号1-3，3-22（2004）.MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，科学。计算。程序。50，编号1--3，3--22（2004；Zbl 1072.68535） 全文： 内政部
兰·卡内蒂;凯瑟琳·梅多斯;保罗·西弗森 认证协议的环境要求。 （英语） Zbl 1033.94553号 Okada，Mitsuhiro（编辑）等人，《软件安全——理论和系统》。2002年11月8日至10日，日本东京，2002年国际空间站，Mext-NSF-JSPS国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-00708-3/pbk）。莱克特。注释计算。科学。2609, 339-355 (2003).MSC公司：94A62型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}等人，Lect。注释计算。科学。2609339-355（2003年；Zbl 1033.94553） 全文： 链接
凯瑟琳·梅多斯 是什么使加密协议安全？形式密码协议分析中需求规范的演变。 （英语） Zbl 1032.94518号 Degano，Pierpaolo（编辑），《编程语言与系统》。2003年4月7日至11日，在波兰华沙举行的第十二届欧洲编程研讨会ESOP 2003，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2618, 10-21 (2003).MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。注释计算。科学。2618，10--21（2003；Zbl 1032.94518） 全文： 链接
凯瑟琳·梅多斯 密码协议分析的形式化方法中存在的未决问题。 （英语） Zbl 1002.68654号 Gorodetski，V.I.（编辑）等人，《计算机网络中的信息保证》。网络安全的方法、模型和体系结构。2001年5月21日至23日，俄罗斯圣彼得堡MMM-ACNS 2001国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2052, 21 (2001).MSC公司：68单位99 68第25页 94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。注释计算。科学。2052，21（2001；Zbl 1002.68654） 全文： 链接
Jean-Jacques，Quishuter（编辑）;伊夫·德斯瓦特（编辑）;凯瑟琳·梅多斯（编辑）;迪特尔·戈尔曼（编辑） 计算机安全–ESORICS 98。第五届欧洲计算机安全研究研讨会，比利时鲁万拉纽夫，1998年9月16日至18日。 （英语） Zbl 1481.68021号 计算机科学课堂讲稿1485.柏林：施普林格出版社（ISBN 978-3-540-65004-1/pbk；978-3-540-49784-4/电子书）。x、 第377页。(1998).MSC公司：68-06 68平方米25 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Quiscuter}（编辑）等人，《计算机安全——ESORICS 98》。第五届欧洲计算机安全研究研讨会，1998年9月16日至18日，比利时卢瓦因拉纽夫。柏林：施普林格（1998；Zbl 1481.68021） 全文： 内政部
凯瑟琳·梅多斯 用于风险评估的协议攻击表示。 （英语） Zbl 0889.68053号 Rebecca N.Wright（编辑）等人，《网络威胁》。DIMACS研讨会，新泽西州新不伦瑞克，美国，1996年12月2-4日。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。38, 1-10 (1998).MSC公司：68第25页 68M10个 94A60 68米99 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，DIMACS，序列号。离散数学。西奥。计算。科学。38、1-10（1998年；Zbl 0889.68053）
保罗·西弗森;凯瑟琳·梅多斯 密码协议要求的一种形式化语言。 （英语） Zbl 0843.94010号 设计。代码加密 7，第1-2、27-59号（1996年）.MSC公司：94A60 65年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Syverson}和\textit{C.Meadows}，德斯。密码术7，No.1--2，27-59（1996；Zbl 0843.94010） 全文： 内政部
凯瑟琳·梅多斯 NRL协议分析器：概述。 （英语） Zbl 0871.68052号 J.日志。程序。 26，No.2，113（1996）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛C.Meadows｝，J.日志。程序。26，No.2，113（1996；Zbl 0871.68052） 全文： 内政部
保罗·西弗森;凯瑟琳·梅多斯 密钥分发协议的形式化要求。 （英语） Zbl 1126.94342号 De Santis，Alfredo（编辑），《密码学进展-欧洲密码》94。密码技术理论和应用研讨会，意大利佩鲁贾，1994年5月9日至12日。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60176-7）。莱克特。注释计算。科学。950, 320-331 (1995).MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{P.Syverson}和\textit{C.Meadows}，莱克特。注释计算。科学。950、320-331（1995年；Zbl 1126.94342）
凯瑟琳·梅多斯。 密码协议的形式验证：综述。 （英语） Zbl 0872.94035号 Pieprzyk，Josef（编辑）等人，《密码学进展-亚洲密码》，1994年。1994年11月28日至12月1日在澳大利亚伍伦贡举行的第四届密码学理论和应用国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。917, 135-150 (1995).MSC公司：94A60 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Meadows}，莱克特。注释计算。科学。917135-150（1995年；Zbl 0872.94035）
R·凯默勒。;梅多斯，C。;J·米伦。 密码协议分析的三个系统。 （英语） Zbl 0814.94011号 J.密码学 7，第2期，79-130（1994）.MSC公司：94A60 68第25页 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{R.Kemmerer}等人，J.Cryptology 7，No.2，79--130（1994；Zbl 0814.94011） 全文： 内政部
凯瑟琳·梅多斯;乔治·珀迪 通过网络汇总而不透露汇总。 （英语） Zbl 0669.94024号 比特币 29，No.1，110-125（1989）.MSC公司：94C15号机组 94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}和\textit{G.Purdy}，BIT 29，No.1，110--125（1989；Zbl 0669.94024） 全文： 内政部
G.R.布莱克利。;凯瑟琳·梅多斯 匝道方案的安全性。 （英语） Zbl 1359.68062号 Blakley，G.R.（编辑）等人，《密码学进展》。1984年《密码学学报》（1984年8月19日至22日在加州大学圣巴巴拉分校举办的密码技术理论和应用研讨会）。柏林：施普林格。计算机科学课堂讲稿196，242-268（1985）。MSC公司：68第25页 68页30 PDF格式BibTeX公司 XML格式引用 \textit{G.R.Blakley}和\textit{C.Meadows}，莱克特。注释计算。科学。196242-268（1985年；兹bl 1359.68062） 全文： 内政部
凯瑟琳·梅多斯 一些没有中央密钥分发器的阈值方案。 （英语） Zbl 0602.94011号 数值数学与计算。第14届马尼托巴会议，温尼伯/马尼特。1984年，国会。Numerantium 46187-199（1985）。MSC公司：94A60 PDF格式BibTeX公司 XML格式
凯瑟琳·梅多斯 在变量投影上由二次曲面切割出的线性系统。 （英语） Zbl 0578.14004号 J.代数 90, 198-207 (1984). 审核人：V.V.肖库洛夫 MSC公司：14C20型 14个M12 2014年5月14日 14E05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，J.代数90，198--207（1984；Zbl 0578.14004） 全文： 内政部