编辑配置文件(在新选项卡中打开) 朱迪·罗米恩 合著者距离 作者ID: 罗米恩·朱迪 发布日期: 朱迪·罗米恩;朱迪·罗米恩(Judi M.T.Romijn)。 已编制索引的文档: 9出版物自1996年起 2作为编辑的贡献 合著者: 10位合著者具有9联合出版物 185位合作作者 全部的 前5名合著者 2 单作者的 三 阿扬·J·穆伊(Arjan J.Mooij)。 三 Vaandrager,Frits W。 2 托马斯·匈奴 2 格雷姆·史密斯 2 玛丽·斯托琳加 2 范德波尔,扬·科内利斯 2 威格·威瑟林克 1 尼古拉·戈加 1 萨维·马哈拉吉 1 卡隆·桑德兰 全部的 前5名系列 2 计算的形式方面 1 信息处理信件 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 领域 11 计算机科学(68至XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用58次58文件 引用人▼ 年份▼ 时间自动机的线性参数模型检验。 Zbl 1008.68069号 托马斯·匈奴;朱迪·罗米恩;玛丽·斯托琳加;Vaandrager,Frits公司 37 2002 时间自动机的线性参数模型检验。 Zbl 0978.68094号 托马斯·匈奴;朱迪·罗米恩;玛丽·斯托琳加;Vaandrager,Frits公司 17 2001 关于I/O自动机中公平性的注释。 Zbl 0875.68651号 朱迪·罗米恩;Vaandrager,Frits公司 2 1996 非本地选择及其他:MSC选择节点的复杂性。 Zbl 1236.68185号 阿扬·J·穆伊(Arjan J.Mooij)。;尼古拉·戈加;朱迪·罗米恩(Judi M.T.Romijn)。 1 2005 PVS中Chang-Roberts领导人选举的基于断言的证明检查。 Zbl 1141.68487号 朱迪·罗米恩;威格·威瑟林克;阿詹·穆伊吉 1 2007 PVS中Chang-Roberts领导人选举的基于断言的证明检查。 兹比尔1141.68487 朱迪·罗米恩;威格·威瑟林克;阿詹·穆伊吉 1 2007 非本地选择及其他:MSC选择节点的复杂性。 Zbl 1236.68185号 阿扬·J·穆伊(Arjan J.Mooij)。;尼古拉·戈加;朱迪·罗米恩(Judi M.T.Romijn)。 1 2005 时间自动机的线性参数模型检验。 Zbl 1008.68069号 托马斯·匈奴;朱迪·罗米恩;玛丽·斯托琳加;Vaandrager,Frits公司 37 2002 时间自动机的线性参数模型检验。 Zbl 0978.68094号 托马斯·匈奴;朱迪·罗米恩;玛丽·斯托琳加;Vaandrager,Frits公司 17 2001 关于I/O自动机中公平性的注释。 Zbl 0875.68651号 朱迪·罗米恩;Vaandrager,Frits公司 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名103位作者引用 16 埃蒂安·安德烈 9 莱姆,迪迪埃 6 尼古拉斯·马基 6 奥利维尔·H·鲁克斯。 4 伊万娜·乔纳 4 拉森,金·古尔德斯特朗 4 劳雷·佩特鲁奇 三 艾丁·戈尔(Ebru Aydin Gol) 三 尼古拉·贝内什 三 彼得·贝兹克 三 帕特里夏·鲍耶 三 劳伦·弗里堡 三 阿列克桑德拉·乔瓦诺维奇。 三 Marta Z.Kwiatkowska。 三 孙骏 三 范德波尔,扬·科内利斯 2 JiříBarnat 2 雅罗斯拉夫·本迪克 2 劳伦特·多恩 2 萨尔瓦多拉托雷 2 Ouaknine,Joel O。 2 Doron A.Peled。 2 曲洪阳 2 马蒂亚斯·拉普拉森 2 奥坎·桑库尔 2 夏洛特·塞纳 2 艾哈迈德·森坎 2 路易斯·马里·特劳努埃兹 2 Vaandrager,Frits W。 1 阿里亚斯,詹姆 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 卡梅尔·巴考伊 1 萨德克本塞勒姆 1 哈尼法·布切内布 1 劳拉·博泽利 1 杰弗里·布朗(Geoffrey M.Brown)。 1 丹尼尔·本达拉 1 托马斯·查泰恩 1 克里斯·奇尔顿 1 彼得·F·克里斯托弗森。 1 兰斯·克莱维兰 1 艾曼纽尔·科夸德 1 德格罗特,A.L。 1 马丁·德·沃尔夫 1 贝诺·德拉哈耶 1 巴巴拉·迪·詹保罗 1 朱尔根·丁格尔 1 董金松 1 埃曼纽尔·恩克雷纳兹 1 梅尔特·埃尔古图纳 1 乌里·法伦贝格 1 彼得·丰塔纳 1 波林·福尼尔 1 Rainer Gawlick先生 1 米克尔·汉森 1 阿恩·哈特曼斯 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 托马斯·匈奴 1 杰瑞,贾维尔 1 本特·琼森 1 Joost-Pieter卡托恩 1 科伦,布拉姆 1 拉诺特,拉格罗 1 Legay、Axel 1 戴维·莱森斯 1 李志武 1 刘改云 1 刘,杨 1 南希·安·林奇 1 安德烈亚·马吉奥洛·谢蒂尼 1 拉杜·马代尔 1 安德斯·马里加德 1 玛丽奥、迪伦 1 克劳德·马丁内斯 1 阿扬·J·穆伊(Arjan J.Mooij)。 1 哈桑·莫塔列比 1 那不勒斯,玛格丽塔 1 黄家阮 1 奥托普,简 1 派克,李 1 Jean-François拉斯金 1 朱利安·特里尔,林斯莫斯 1 朱迪·罗米恩 1 鲁迪、凯伦 1 罗伯特·塞加拉 1 维奥里卡Sofrone-Stokkerman 1 瑟加德·安德森,约根 1 拼写,Jip 1 杰里米·斯普洛斯顿 1 吉·斯尔巴 1 玛丽·斯托琳加 1 费利克斯·斯图兹 1 斯塔夫罗斯·特里帕基斯 1 安吉洛·特洛伊娜 1 Waez,马里兰州Tawhid Bin 1 王法恩 1 王光泽 1 安德烈·索夫斯基 1 詹姆斯·沃雷尔。 1 邢、钱 …还有3位作者 全部的 前5名17篇连载文章中引用 7 理论计算机科学 4 信息与计算 4 计算的形式方面 4 系统设计中的形式化方法 4 计算机科学中的逻辑方法 2 计算机基础理论 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 信息学报 1 国际控制杂志 1 信息处理信件 1 Automatica公司 1 实时系统 1 离散事件动态系统 1 逻辑与代数程序设计杂志 1 非线性分析。混合动力系统 1 计算机科学评论 全部的 前5名在7个字段中引用 56 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 系统论;控制(93至XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文