克里斯蒂安·艾森特罗
人员信息
附属: 德国萨尔布吕肯萨尔州大学
优化列表
2010 – 2019
2018 [j3] 张丽君 , 杨鹏飞 , 雷松 , 霍尔格·赫尔曼斯 , 克里斯蒂安·艾森特罗 , 大卫·N·詹森 , Jens Chr.公司。 哥斯克森 :
实际调度程序的概率互模拟。 信息学报 55 ( 6 ) : 461-488 ( 2018 ) [注2] 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 , 约翰·舒斯特 , 安德烈亚·图里尼 , 张丽君 :
对概率和马尔可夫自动机的最小商的追求。 Inf.计算。 262 : 162-186 ( 2018 ) 2017 【b1】 克里斯蒂安·艾森特罗 :
马尔可夫自动机原理。 德国萨尔大学, 2017 2015 【c7】 克里斯蒂安·艾森特罗 , Jens Chr.公司。 戈德斯凯森 , 霍尔格·赫尔曼斯 , 雷松 , 张丽君 :
现实调度器的概率双模拟。 FM公司 2015 : 248-264 2013 【c6】 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 , Joost-Pieter Katoen公司 , 张丽君 :
每个GSPN的语义。 Petri网 2013 : 90-109 【c5】 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 , 朱莉娅·克雷默 , 安德烈亚·图里尼 , 张丽君 :
决定分布的相似性。 QEST公司 2013 : 72-88 [c4] 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 , 约翰·舒斯特 , 安德烈亚·图里尼 , 张丽君 :
概率自动机的最小商探索。 TACAS公司 2013 : 16-31 2010 【c3】 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 , 张丽君 :
随机世界中的并发和组合。 CONCUR公司 2010 : 21-39 【c2】 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 , 张丽君 :
连续时间中的概率自动机。 许可证 2010 : 342-351
2000 – 2009
2008 [j1] 克里斯蒂安·艾森特罗 , 霍尔格·赫尔曼斯 :
向新生教授并发概念。 事务处理。 Petri网其他模型。 同意。 1 : 35-53 ( 2008 ) 【c1】 克里斯蒂安·艾森特罗 , 大卫·斯皮尔 :
WS-BPEL 2.0中的故障、补偿和终止——比较分析。 WS-FM公司 2008 : 107-126