编辑配置文件(在新选项卡中打开) Jennifer M.Davoren。 合著者距离 作者ID: 达沃伦·詹妮弗-米 发布日期: J.M.达沃伦。;Jennifer M.Davoren。;Jen M.达沃伦。 更多。。。较少的 主页: https://people.eng.unimelb.edu.au/davoren网站/ 外部链接: MGP公司·数据库许可证 已编制索引的文档: 13出版物自1999年起 合著者: 9合著者具有8联合出版物 260位合作作者 全部的 前5名合著者 5 单作者的 4 托马斯·摩尔 2 迈克尔·坎通尼 2 拉杰夫·普拉巴卡尔·戈尔 2 尼罗德,阿尼尔 2 丹尼尔·塞尔瓦拉特南 2 伊曼·谢姆斯 1 Vangham库特哈德 1 沃恩库塔 1 保罗·塔布阿达 系列 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 RAIRO公司。理论信息学及其应用 领域 10 数学逻辑和基础(03-XX) 7 系统论;控制(93至XX) 6 计算机科学(68至XX) 三 一般拓扑结构(54至XX) 1 常微分方程(34-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 11出版物有被引用50中的次43文件 引用人▼ 年份▼ 关于一般流动系统的模拟和互模拟。 Zbl 1221.93113号 J.M.达沃伦。;保罗·塔布阿达 9 2007 直觉模态逻辑和时态逻辑及其经典伴随逻辑:拓扑语义和互模拟。 Zbl 1221.03019号 J.M.达沃伦。 7 2009 关于混合系统和模态演算。 Zbl 0928.93027号 达沃伦,J.M。 6 1999 拓扑、连续性和互模拟。 Zbl 0940.03021号 J.M.达沃伦。 6 1999 基于模态逻辑的混合系统鲁棒控制器综合。 Zbl 0991.93038号 托马斯·摩尔;J.M.达沃伦。 5 2002 一般流系统的非确定性时序逻辑。 Zbl 1135.93340号 Jennifer M.Davoren。;Vangham库特哈德;尼古拉斯·马基;托马斯·摩尔 4 2004 混合路径空间的Epsilon管和广义Skorokhod度量。 Zbl 1237.93088号 J.M.达沃伦。 4 2009 用于推理连续动力学的双峰逻辑。 Zbl 1031.03030号 Jen M.达沃伦。;拉杰夫·戈尔。 4 2002 混合控制回路、A/D图和动态规格。 Zbl 1049.93048号 达沃伦,J.M。;T·摩尔。;A.内罗德。 2 2002 直觉模态逻辑及其经典伴随逻辑的拓扑语义和互模拟。 兹比尔1132.03336 J.M.达沃伦。 2 2007 用于LTL验证的采样多项式轨迹。 Zbl 1478.68174号 丹尼尔·塞尔瓦拉特南;迈克尔·坎通尼;J.M.达沃伦。;伊曼·谢姆斯 1 2022 用于LTL验证的采样多项式轨迹。 Zbl 1478.68174号 丹尼尔·塞尔瓦拉特南;迈克尔·坎托尼;J.M.达沃伦。;伊曼·谢姆斯 1 2022 直觉模态逻辑和时态逻辑及其经典伴随逻辑:拓扑语义和互模拟。 Zbl 1221.03019号 J.M.达沃伦。 7 2009 混合路径空间的Epsilon管和广义Skorokhod度量。 Zbl 1237.93088号 J.M.达沃伦。 4 2009 关于一般流动系统的模拟和互模拟。 Zbl 1221.93113号 J.M.达沃伦。;保罗·塔布阿达 9 2007 直觉模态逻辑及其经典伴随逻辑的拓扑语义和互模拟。 Zbl 1132.03336号 J.M.达沃伦。 2 2007 一般流系统的非确定性时序逻辑。 Zbl 1135.93340号 Jennifer M.Davoren。;Vangham库特哈德;尼古拉斯·马基;托马斯·摩尔 4 2004 基于模态逻辑的混合系统鲁棒控制器综合。 Zbl 0991.93038号 摩尔,托马斯;J.M.达沃伦。 5 2002 用于推理连续动力学的双峰逻辑。 Zbl 1031.03030号 Jen M.达沃伦。;拉杰夫·戈尔。 4 2002 混合控制回路、A/D图和动态规格。 Zbl 1049.93048号 J.M.达沃伦。;T·摩尔。;A.内罗德。 2 2002 关于混合系统和模态演算。 Zbl 0928.93027号 J.M.达沃伦。 6 1999 拓扑、连续性和互模拟。 兹比尔0940.03021 J.M.达沃伦。 6 1999 所有引用出版物 排名前五的出版物 全部的 前5名86位作者引用 4 Jennifer M.Davoren。 三 大卫·费尔南德斯·杜克 2 卢卡·博托卢西 2 约瑟夫·布杜 2 帕特里夏·鲍耶 2 托马斯·布里海耶 2 马丁·迪盖兹 2 瓦实提·加尔平 2 安托万·吉拉德 2 简·希尔斯顿 2 阿吉·库鲁茨 2 安德烈·普拉泽 2 帕维特拉·普拉巴卡 2 米歇尔·阿德里安·雷尼尔 2 保罗·塔布阿达 2 弗兰克·沃尔特 2 迈克尔·维克托洛维奇(Michael Viktorovich) 1 亚历山德罗·阿巴特 1 尤金·亚萨林 1 巴博萨、路易斯·索亚雷斯 1 埃齐奥·巴托西 1 贝拉德,贝特里奇 1 Jan A.Bergstra。 1 迈克尔·坎通尼 1 法布里斯骑士 1 兰斯·克莱维兰 1 凯瑟琳·科德威尔 1 Pieter J.L.Cuijpers。 1 达姆,维尔纳 1 Thao Dang先生 1 杰里米·道森。 1 吉姆·德·格罗特 1 Jyotirmoy V.德斯穆赫。 1 迪·贝内代托,玛丽亚·多梅尼卡 1 亚历山德罗·迪安诺琴佐 1 盖尔·杜勒鲁(Geir E.Dullerud)。 1 乌里·法伦贝格 1 费内科斯(Georgios E.Fainekos)。 1 詹姆斯·费雷兹 1 威廉·扬·福克金 1 马丁·范策尔 1 Gabelaia,大卫 1 拉杰夫·普拉巴卡尔·戈尔 1 拉杜·格罗苏 1 伊万诺夫,列夫根 1 斯特凡·雅克西奇 1 文森特·朱格 1 鲍里斯·科涅夫 1 罗马人孔查科夫 1 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 1 菲利普·克莱默 1 Kress-Gazit,哈达斯 1 金·古德斯特兰·拉森 1 李桂英 1 刘杰 1 刘静 1 刘军 1 米歇尔·洛雷蒂 1 马明辉 1 鲁帕克·马朱姆达尔 1 塞尔吉奥·马塞利诺 1 史蒂夫·马库斯 1 Michaux,基督徒 1 科内利斯·A·米德尔堡。 1 理查德·默里(Richard M.Murray)。 1 乌韦州内斯特曼 1 内维斯、雷纳托 1 德扬·尼科维奇 1 乔治·帕帕斯。 1 德克·帕丁森 1 Vinayak S.普拉布。 1 米歇拉·夸迪尼 1 贾·戴维德·奎塞尔 1 米哈伊尔·尼古拉埃维奇·里巴科夫 1 S.Shankar,萨斯特里 1 斯文·施奈德 1 丹尼尔·塞尔瓦拉特南 1 伊曼·谢姆斯 1 德米特里·什卡托夫 1 克劳斯·苏兰(Claus R.Thrane)。 1 范胡斯特,艾伦·C。 1 马赫什·维斯瓦纳坦 1 弗拉基米罗 1 尼古拉·沃罗布耶夫(NikolaĭN.jun)。 1 托马斯·维查克 1 吴杰西 全部的 前5名21篇连载文章中引用 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 2 信息学学报 2 符号逻辑杂志 2 Studia Logica公司 2 离散事件动态系统 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 Automatica公司 1 逻辑科公报 1 系统和控制信件 1 复杂性杂志 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 非线性分析。混合动力系统 1 Logicheskie Issledovaniya公司 全部的 前5名在8个字段中引用 26 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 15 系统论;控制(93至XX) 4 一般拓扑结构(54至XX) 2 动力系统和遍历理论(37至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 代数几何(14-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文