艾丽卡·阿尔布拉汉姆;Tran，Thi Mai Thoung先生;马丁·斯特芬 可观察的接口行为和继承。 （英语） Zbl 1361.68054号 数学。结构。计算。科学。 26，第3号，561-605（2016）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，《数学》。结构。计算。科学。26，第3号，561--605（2016；Zbl 1361.68054） 全文： 内政部
艾丽卡·阿尔布拉汉姆;格拉贝，伊莫;安德烈亚斯·格吕纳;马丁·斯特芬 具有未来和承诺的面向对象语言的行为接口描述。 （英语） 兹比尔1187.68130 J.日志。阿尔盖布。程序。 78，第7期，491-518（2009）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，J.Log。阿尔盖布。程序。78，第7号，491--518（2009；Zbl 1187.68130） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 多线程Java的演绎证明系统，有例外。 （英语） Zbl 1144.68012号 芬达姆。通知。 82，第4号，391-463（2008）.MSC公司：68甲15 68甲19 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Fundam。通知。82，第4号，391--463（2008；Zbl 1144.68012）
艾丽卡·阿尔布拉汉姆;安德烈亚斯·格吕纳;马丁·斯特芬 带有监视器的面向对象语言的抽象接口行为。 （英语） Zbl 1461.68051号 Gorrieri，Roberto（ed.）等人，开放式基于对象的分布式系统的形式化方法。第八届IFIP工作组6.1国际会议，2006年6月14日至16日，意大利博洛尼亚，FMOODS 2006。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。4037, 218-232 (2006).MSC公司：68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。4037、218--232（2006年；Zbl 1461.68051） 全文： 内政部
艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔（Frank S。;安德烈亚斯·格吕纳;马丁·斯特芬 连续类演算中的可观察性、连接性和重播。 （英语） Zbl 1143.68359号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修改后的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿3657，296-316（2005）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。36579296-316（2005年；兹bl 1143.68359） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java（_{text{MT}}）的组合操作语义。 （英语） Zbl 1274.68037号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772290-303（2003）。MSC公司：68甲15 68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2772290--303（2003年；Zbl 1274.68037） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 一个支持工具的多线程Java证明系统。 （英语） Zbl 1254.68055号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 3-540-20303-6/pbk）。莱克特。注释计算。科学。2852, 1-32 (2003).MSC公司：68甲15 68甲19 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2852，1--32（2003年；Zbl 1254.68055） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java显示器的防感应轮廓。 （英语） Zbl 1253.68080号 Najm，Elie（编辑）等，开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20491-1/pbk）。莱克特。注释计算。科学。2884, 155-169 (2003).MSC公司：68甲15 03B70号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2884155--169（2003年；Zbl 1253.68080） 全文： 内政部
艾丽卡·阿尔布拉哈姆·穆姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 验证Java的可重入多线程概念。 （英语） 兹比尔1077.68552 Nielsen，Mogens（编辑）等人，《软件科学和计算结构基础》。2002年4月8日至12日在法国格勒诺布尔举行的第五届国际会议FOSSACS 2002，是欧洲软件理论与实践联合会议ETAPS 2002的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43366-X）。莱克特。注释计算。科学。2303, 5-20 (2002).MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám-Mumm}等人，Lect。注释计算。科学。2303，5--20（2002；Zbl 1077.68552） 全文： 链接