编辑配置文件(在新选项卡中打开) 内达·赛德洛伊 合著者距离 作者ID: 萨伊德洛伊内达 发布日期: 内达·赛德洛伊 外部链接: MGP公司 已编制索引的文档: 15出版物自2010年起 3作为编辑的贡献 合著者: 14合著者具有16联合出版物 249名Co-Co作者 全部的 前5名合著者 2 单作者的 9 费利克斯·克鲁·尼亚克 5 戈帕尔·古普塔 1 曼努埃尔·卡罗 1 亚历山德罗·达尔·帕洛 1 玛丽娜·德沃斯 1 布莱恩·德弗里斯 1 保罗·福多 1 安迪·金 1 凯尔·马普尔 1 克里斯托弗·米尔斯 1 理查德·敏 1 里卡多·罗查 1 儿子Tran Cao 1 保罗·塔劳 系列 三 OASIcs——信息学中的OpenAccess系列 字段 18 计算机科学(68至XX) 三 总体主题;集合(00-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用28中的次23文件 引用人▼ 年份▼ 无限计算、共归纳和计算逻辑。 兹比尔1344.68053 戈帕尔·古普塔;内达·赛德洛伊;布莱恩·德弗里斯;理查德·敏;凯尔·马普尔;费利克斯·克鲁·尼亚克 7 2011 计时\(\pi\)-演算。 Zbl 1348.68169号 内达·赛德洛伊;戈帕尔·古普塔 6 2014 用共导CLP(R)验证复杂的连续实时系统。 Zbl 1284.68365号 内达·赛德洛伊;戈帕尔·古普塔 4 2010 时间自动机中的时钟分配和图着色。 兹比尔1409.68162 内达·赛德洛伊;费利克斯·克鲁·尼亚克 三 2018 共导约束逻辑编程。 Zbl 1354.68040号 内达·赛德洛伊;戈帕尔·古普塔 2 2012 第32届逻辑编程国际会议的技术交流,2016年10月16日至21日,ICLP 2016,美国纽约州纽约市。 Zbl 1407.68025号 2 2016 从场景到时间自动机。 Zbl 1498.68170号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 2 2017 定时场景的优化。 Zbl 1475.68193号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 1 2020 合成时钟效率高的时间自动机。 Zbl 1517.68252号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 1 2020 定时场景的优化。 Zbl 1475.68193号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 1 2020 合成时钟效率高的时间自动机。 Zbl 1517.68252号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 1 2020 时间自动机中的时钟分配和图着色。 Zbl 1409.68162号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 三 2018 从场景到时间自动机。 Zbl 1498.68170号 内达·赛德洛伊;费利克斯·克鲁·尼亚克 2 2017 第32届逻辑编程国际会议的技术交流,2016年10月16日至21日,ICLP 2016,美国纽约州纽约市。 兹比尔1407.68025 2 2016 计时\(\pi\)-演算。 Zbl 1348.68169号 内达·赛德洛伊;戈帕尔·古普塔 6 2014 共导约束逻辑编程。 Zbl 1354.68040号 内达·赛德洛伊;戈帕尔·古普塔 2 2012 无限计算、共归纳和计算逻辑。 兹比尔1344.68053 戈帕尔·古普塔;内达·赛德洛伊;布莱恩·德弗里斯;Min,Richard理查德;凯尔·马普尔;费利克斯·克鲁·尼亚克 7 2011 用共导CLP(R)验证复杂的连续实时系统。 Zbl 1284.68365号 内达·赛德洛伊;戈帕尔·古普塔 4 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名52位作者引用 4 内达Saeedloei 三 大卫·安科纳 三 费利克斯·克鲁·尼亚克 三 西基、广岛 2 戴维·齐亚鲁吉 2 莫雷诺,法拉斯基 2 戴安娜·赫米思 2 乔瓦尼·拉戈里奥 2 卡洛斯·奥拉特 2 马克斯·奥斯特罗斯基 2 托尔斯滕·绍布(Torsten H.Schaub)。 1 萨尔瓦多阿布雷乌 1 克里希纳什里·阿楚坦 1 阿曼,博格丹 1 赛尔阿博莱达 1 穆苏诺里·班巴拉 1 劳拉·博奇 1 乔瓦尼·西亚托 1 加布里埃尔·乔巴努 1 安德烈亚·科拉迪 1 维托尔·桑托斯·科斯塔 1 弗朗西斯科·达尼诺 1 维罗妮卡·达尔 1 费卢西奥·达米亚尼 1 丹尼尔·迪亚兹 1 戈帕尔·古普塔 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 Hiraishi、Kunihiko 1 Tomi Janhunen 1 巴拉特·贾亚拉曼 1 罗兰·卡明斯基 1 Jinesh M.卡尼穆拉。 1 本杰明·考夫曼 1 小林,小一 1 菲利普·科纳 1 Michael Leuschel先生 1 詹姆斯·利普顿。 1 Frédéric马勒 1 莫拉莱斯,何塞·弗朗西斯科 1 鲁米亚纳内科娃 1 苏珊娜·尼娃 1 安娜·菲利普 1 玛丽亚·普埃尔塔 1 埃尔默·萨拉扎 1 塞巴斯蒂安·谢尔霍恩 1 毛里西奥·托罗 1 Vélez S.、Carlos M。 1 菲利普·旺科 1 Wielemaker,简 1 吉田、Nobuko 1 格里戈里·兹霍尔特基维奇 1 埃琳娜·祖卡 全部的 前5名6篇连载文章中引用 4 逻辑程序设计理论与实践 2 理论计算机科学 2 计算的形式方面 1 应用数学杂志 1 RAIRO公司。理论信息学及其应用 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 22 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 三 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文