马丁·科特
人员信息
其他同名人员
优化列表
2010 – 2019
2013 【c6】 沃伊切赫·切尔温斯基 , 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
检查顺序进程和并行进程之间相似性的复杂性。 MFCS公司 2013 : 302-313 2011 【c5】 马丁·科特 :
使用Uppaal验证实时数据库中的优先级分配。 ICDIPC(2) 2011 : 385-399 2010 [注2] 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
确定规范BPA和规范BPP之间的双相似性的复杂性。 Inf.计算。 208 ( 10 ) : 1193-1205 ( 2010 ) 【c4】 马丁·科特 :
使用Uppaal对实时数据库中的优先级分配进行建模和验证。 DATESO公司 2010 : 147-154
2000 – 2009
2009 [j1] 马丁·科特 :
在Uppaal中对选定的实时数据库并发控制协议进行建模。 因诺夫。 系统。 柔和。 工程师。 5 ( 2 ) : 129-138 ( 2009 ) 2008 【c3】 彼得·詹卡尔 , 马丁·科特 , 兹德内克·萨瓦 :
重新审视规范BPA与规范BPP。 CONCUR公司 2008 : 434-446 【c2】 马丁·科特 :
在Uppaal中对实时数据库并发控制协议进行建模。 IMCSIT公司 2008 : 673-678 2004 【c1】 马丁·科特 , 兹德内克·萨瓦 :
BPP和有限状态系统的互模拟等价性可以在多项式时间内确定。 无穷 2004 : 49-60