达纳·菲斯曼;哈达尔，弗伦克尔;桑德拉·齐勒斯 推断符号自动机。 （英语） Zbl 07731916号 日志。方法计算。科学。 19，第2号，第5号论文，37页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人，《日志》。方法计算。科学。19，第2号，第5号论文，37页（2023；Zbl 07731916） 全文： 内政部 arXiv公司
达纳州安格鲁因;安东尼诺普洛斯;达纳·菲斯曼;内文·乔治 使用mod 2多重自动机表示无限单词的正则语言。 （英语） Zbl 07793020号 Patricia Bouyer等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242，1-20（2022）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，Lect。注释计算。科学。13242，1--20（2022；Zbl 07793020） 全文： 内政部
达纳·菲斯曼（编辑）;辛格，里沙布（编辑）;阿曼多·索拉勒扎马（编辑） 语法指导合成前言专刊。 （英语） 1490.00032兹罗提 表格方法系统。设计。 58，第3号，469-470（2021）.MSC公司：00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}（编辑）等，《形式方法系统》。设计。58，第3号，469--470（2021；Zbl 1490.00032） 全文： 内政部
达纳州安格鲁因;达纳·菲斯曼 正则\（\omega \）-具有信息右同余的语言。 （英语） Zbl 1497.68247号 Inf.计算。 278，文章ID 104598，17 p.（2021）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}和\textit{D.Fisman}，Inf.Comput。278，文章ID 104598，第17页（2021；兹bl 1497.68247） 全文： 内政部
达纳州安格鲁因;达纳·菲斯曼;雅拉·绍瓦尔 \（\omega \）-自动机的多项式标识。 （英语） Zbl 1483.68153号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 325-343 (2020).MSC公司：65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，Lect。注释计算。科学。12079325--343（2020；Zbl 1483.68153） 全文： 内政部
达纳州安格鲁因;安东尼诺普洛斯;达纳·菲斯曼 多项式时间内派生树语言的查询学习。 （英语） Zbl 1434.68210号 日志。方法计算。科学。 15，第3号，第21号论文，29页（2019年）.MSC公司：第68季度32 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，日志。方法计算。科学。15，第3号，第21号论文，29页（2019年；Zbl 1434.68210） 全文： arXiv公司
达纳州安格鲁因;达纳·菲斯曼 正则\（\omega \）-具有信息右同余的语言。 （英语） Zbl 1528.68169号 Orlandini，Andrea（ed.）等人，《第九届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277265-279（2018）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}和\textit{D.Fisman}，电子。程序。西奥。计算。科学。（EPTCS）277265-279（2018；Zbl 1528.68169） 全文： arXiv公司 链接
辛迪·艾斯纳;达纳·菲斯曼 通过时间逻辑的硬件功能规范。 （英语） Zbl 1392.68247号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。795-829 (2018).MSC公司：60年第68季度 03B44号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}和\textit{D.Fisman}，in：模型检查手册。查姆：斯普林格。795-829（2018年；兹比尔1392.68247） 全文： 内政部
达纳·菲斯曼 推断正则语言和\（\omega \）-语言。 （英语） Zbl 1394.68211号 J.日志。阿尔盖布。方法计划。 98, 27-49 (2018).MSC公司：65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}，J.Log。阿尔盖布。方法计划。98、27-49（2018；Zbl 1394.68211） 全文： 内政部
达纳州安格鲁因;达纳·菲斯曼 学习常规的欧米茄语言。 （英语） Zbl 1362.68118号 西奥。计算。科学。 650, 57-72 (2016). 审核人：路德维希·斯泰格（哈雷/萨勒） MSC公司：第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}和\textit{D.Fisman}，Theor。计算。科学。650、57-72（2016年；Zbl 1362.68118） 全文： 内政部
肖姆·本·达维德;科普提，费迪;达纳·菲斯曼;西瓦尼特·鲁阿 实践中的空白：暂时的先例失败。 （英语） Zbl 1322.68132号 表格方法系统。设计。 46，第1期，81-104（2015）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}等人，《形式方法系统》。设计。46，编号1，81-104（2015年；兹bl 1322.68132） 全文： 内政部
辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克 安全性与活力、弱点与实力以及潜在的拓扑关系。 （英语） Zbl 1291.03028号 ACM事务处理。计算。日志。 15，第2号，第13条，第44页（2014）.MSC公司：03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人，ACM Trans。计算。日志。15，第2号，第13条，第44页（2014；Zbl 1291.03028） 全文： 内政部
肖姆·本·达维德;达纳·菲斯曼;西瓦尼特·鲁阿 在正则表达式中嵌入有限自动机。 （英语） Zbl 1223.68063号 西奥。计算。科学。 404，第3号，202-218（2008）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}等人，Theor。计算。科学。404，第3号，202--218（2008；Zbl 1223.68063） 全文： 内政部
达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 验证分布式协议的容错性。 （英语） Zbl 1134.68317号 Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。《计算机科学讲义》496315-331（2008）。MSC公司：64岁以下 68平方米 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人，Lect。注释计算。科学。4963、315--331（2008年；Zbl 1134.68317） 全文： 内政部