编辑配置文件(在新选项卡中打开) Jari斯坦曼 合著者距离 作者ID: 斯坦曼·贾里 发布日期: 贾里·斯坦曼 已编制索引的文档: 5出版物自2012年起 合著者: 3位合著者具有5联合出版物 105位合作作者 合著者 0 单作者的 5 帕罗什·阿齐兹·阿卜杜拉 5 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 奥思曼·雷津 系列 1 系统设计中的形式化方法 字段 5 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用29中的次22文件 引用人▼ 年份▼ 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 18 2012 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 5 2012 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼 4 2014 在定价的密集时间下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 2 2014 基于预算的模型检查下推系统。 兹伯利1317.68106 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼 4 2014 在定价的密集时间下推自动机中计算最优可达性成本。 Zbl 1407.68245号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 2 2014 密集时间下推自动机。 Zbl 1360.68535号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 18 2012 定价定时下推系统中的最小成本可达性问题。 Zbl 1350.68198号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);贾里·斯坦曼 5 2012 所有引用出版物 排名前五的出版物 全部的 前5名37位作者引用 4 阿克西,S。 4 保罗·加斯丁 4 桑卡拉·纳拉亚南·克里希纳 三 洛伦佐·克莱门特 三 萨尔瓦多拉托雷 三 阿德里亚诺·佩隆 2 穆罕默德·法乌齐(Mohamed Faouzi Atig) 2 劳拉·博泽利 2 曼弗雷德·德罗斯特 2 萨沃米尔·拉索塔 2 阿尼埃洛·穆拉诺 2 那不勒斯,玛格丽塔 2 小川,水井裕人 2 Gennaro帕拉托 2 维塔利·佩雷沃什奇科夫 1 帕罗什·阿齐兹·阿卜杜拉 1 西里亚克·艾斯瓦里亚 1 巴斯滕,H.J.S。 1 马西莫·贝内雷切蒂 1 德文德拉·巴韦 1 艾哈迈德·博阿贾尼 1 维伦达·戴夫 1 伊利亚州德克雷森佐 1 彼得·霍夫曼 1 李国强 1 库马尔·纳拉扬。 1 亚历山大·奥霍金 1 拉姆昌德拉·帕瓦德 1 卡提克·R·普拉卡什。 1 斯巴萨罗伊乔杜里 1 普拉卡什·塞瓦桑 1 伊利亚斯·萨卡尔 1 宋,傅 1 帕特里克·托茨克 1 阿舒托什·特里维迪 1 纱线维纳 1 袁,Shoji 5篇连载文章中引用 4 信息与计算 1 计算机与系统科学杂志 1 理论计算机科学 1 国际计算机科学基础杂志 1 计算机科学中的逻辑方法 在3个字段中引用 22 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文