×

兹马思-数学第一资源

伊万杰利斯塔,萨米人

计算距离:
作者ID: 伊万杰利斯塔·萨米最近的zbMATH文章由“Evangelista,Sami”
发布为: 伊万杰利斯塔,萨米人;Evangelista,S。
编制索引的文档: 13种出版物2003年以来

按年份列出的出版物

zbMATH公开赛中包含的引文

6出版物有被引用6时间4文件 引用人
句法有色Petri网约简。 Zbl 1170.68538
Evangelista,S。;哈达德,S。;普拉达·佩尔,J.-F。
1
2005
ComBack方法:缓存策略和延迟重复检测扩展。 Zbl 1266.68048
伊万杰利斯塔,萨米人;韦斯特加德,迈克尔;克里斯滕森,拉尔斯·M。
1
2009
海伦娜的高级Petri网分析。 Zbl 1128.68377
伊万杰利斯塔,萨米人
1
2005
类星体:并行Ada程序分析的新工具。 Zbl 1032.68849
伊万杰利斯塔,萨米人;凯撒,克劳德;普拉达·佩尔,让·弗朗索瓦;卢梭,皮埃尔
1
2003
并行嵌套深度优先搜索LTL模型检查。 Zbl 1348.68134
伊万杰利斯塔,萨米人;佩特鲁奇,劳尔;尤瑟夫,萨米尔
1
2011
改进的多核嵌套深度优先搜索。 Zbl 1374.68281号
伊万杰利斯塔,萨米人;拉尔曼,阿尔芬斯;佩特鲁奇,劳尔;范德波尔,雅科
1
2012
改进的多核嵌套深度优先搜索。 Zbl 1374.68281号
伊万杰利斯塔;拉尔曼,阿尔芬斯;佩特鲁奇,劳尔;范德波尔,雅科
1
2012
并行嵌套深度优先搜索LTL模型检查。 Zbl 1348.68134
伊万杰利斯塔,萨米人;佩特鲁奇,劳尔;尤瑟夫,萨米尔
1
2011
ComBack方法:缓存策略和延迟重复检测扩展。 Zbl 1266.68048
伊万杰利斯塔,萨米人;韦斯特加德,迈克尔;克里斯滕森,拉尔斯·M。
1
2009
句法有色Petri网约简。 Zbl 1170.68538
Evangelista,S。;哈达德,S。;普拉达·佩尔,J.-F。
1
2005
海伦娜的高级Petri网分析。 Zbl 1128.68377
伊万杰利斯塔,萨米人
1
2005
类星体:并行Ada程序分析的新工具。 Zbl 1032.68849
伊万杰利斯塔,萨米人;凯撒,克劳德;普拉达·佩尔,让·弗朗索瓦;卢梭,皮埃尔
1
2003

按年份列出的引文