编辑配置文件(在新选项卡中打开) 玛丽·何塞·福廷 合著者距离 作者ID: 玛丽-约瑟夫 发布日期: 玛丽·福廷;玛丽·何塞·福廷 已编制索引的文档: 10出版物自2009年起 合著者: 10位合著者具有8联合出版物 335位合作作者 全部的 前5名合著者 2 单作者的 4 保罗·加斯丁 三 贝内迪克特·博利格 1 马塞洛·玛丽亚·邦桑格 1 马克·R·T·戴尔。 1 Kuijer、Louwe Bouke 1 安卡·穆斯科尔 1 简·J·M·M·鲁顿。 1 帕特里克·托茨克 1 伊戈尔·瓦卢基维奇 1 马丁·齐默尔曼 系列 1 生物计量学 1 计算机与系统科学杂志 1 农业、生物和环境统计杂志 字段 8 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 统计学(62-XX) 1 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用14中的次14文件 引用人▼ 年份▼ 空间自相关和统计测试:一些解决方案。 Zbl 1306.62263号 马克·R·T·戴尔。;玛丽·何塞·福廷 5 2009 通信有限状态机和双变量逻辑。 Zbl 1487.68140号 贝内迪克特·博利格;玛丽·福廷;保罗·加斯丁 2 2018 参数化异步共享内存下推系统的模型检查线性时间属性。 Zbl 1495.68134号 玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2017 HyperLTL可满足性是(\Sigma_1^1)-完成的,HyperCTL(^*)可满足性则是(\Sigma_1 ^2)-完成。 Zbl 07724220号 玛丽·福廷;Louwe B.Kuijer。;帕特里克·托茨克;马丁·齐默尔曼 2 2021 事后很容易变得明智:通信有限状态机用“之前发生过”捕获一阶逻辑。 Zbl 1487.68163号 贝内迪克特·博利格;玛丽·福廷;保罗·加斯丁 1 2018 通过分裂宽度验证参数化通信自动机。 Zbl 1475.68182号 玛丽·福廷;保罗·加斯丁 1 2016 \(\text{FO}=\text{FO}^3\)用于具有单调二元关系的线性顺序。 Zbl 07561609号 玛丽·福廷 1 2019 HyperLTL可满足性是(\Sigma_1^1)-完成的,HyperCTL(^*)可满足性则是(\Sigma_1 ^2)-完成。 Zbl 07724220号 玛丽·福廷;Louwe B.Kuijer。;帕特里克·托茨克;马丁·齐默尔曼 2 2021 \(\text{FO}=\text{FO}^3\)用于具有单调二元关系的线性顺序。 Zbl 07561609号 玛丽·福廷 1 2019 通信有限状态机和双变量逻辑。 Zbl 1487.68140号 贝内迪克特·博利格;玛丽·福廷;保罗·加斯丁 2 2018 事后很容易变得明智:通信有限状态机用“之前发生过”捕获一阶逻辑。 Zbl 1487.68163号 贝内迪克特·博利格;玛丽·福廷;保罗·加斯丁 1 2018 参数化异步共享内存下推系统的模型检查线性时间属性。 兹比尔1495.68134 玛丽·福廷;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 2 2017 通过分裂宽度验证参数化通信自动机。 Zbl 1475.68182号 玛丽·福廷;保罗·加斯丁 1 2016 空间自相关和统计测试:一些解决方案。 Zbl 1306.62263号 马克·R·T·戴尔。;玛丽·何塞·福廷 5 2009 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 三 玛丽·何塞·福廷 2 乔纳森·阿科斯塔 2 贝内迪克特·博利格 2 奇尼,彼得 2 伯恩德·芬克贝纳 2 保罗·加斯丁 2 罗兰·迈耶 2 普拉卡什·塞瓦桑 2 罗尼·奥·瓦莱霍斯。 1 帕罗什·阿齐兹·阿卜杜拉 1 西里亚克·艾斯瓦里亚 1 维克拉曼·阿尔文德 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 玛丽莎·巴克特。 1 乌鸦·贝特纳 1 科宁,诺琳 1 雷蒙·达赫塞特 1 彼得·菲兹莫瑟 1 哈达尔·弗兰克尔 1 富尔布吕克 1 克里斯托弗·哈恩 1 托马斯·霍布扎 1 汤姆·霍拉克 1 约翰·科布勒 1 乔纳森·科尔伯格 1 安德烈亚斯·克雷布斯 1 Niklas O.Metzger。 1 多明戈·莫拉莱斯 1 菲利佩·奥索里奥 1 莱安德罗·帕尔多 1 安妮·鲁伊斯·加森 1 朱利安·西伯 1 Nao Takashina 1 克里斯汀·托马斯·阿格南 1 奥列格·维尔比茨基 全部的 前5名8篇连载文章中引用 2 统计论文 1 计算机与系统科学杂志 1 信息与计算 1 自动推理杂志 1 计算机科学中的逻辑方法 1 电子统计杂志 1 农业、生物和环境统计杂志 1 理论生物学杂志 全部的 前5名在8个字段中引用 9 计算机科学(68至XX) 4 统计学(62-XX) 三 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 地球物理学(86-XX) 1 运筹学、数学编程(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文