×
作者ID: 斯坦曼·贾里“Stenman,Jari”最近发表的zbMATH文章
发布日期: 贾里·斯坦曼
已编制索引的文档: 5出版物自2012年起
合著者: 3位合著者具有5联合出版物
105位合作作者

按年份列出的出版物

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

按年份列出的引文