马西耶·加兹达
人员信息
优化列表
2020年-今天
2023 [公元9年] 马西耶·加兹达 , 罗伯特·海伦斯 :
删除冗余拒绝:故障跟踪语义的最小完整测试套件。 Inf.计算。 291 : 105009 ( 2023 ) [j8] 詹姆斯·巴克斯特 , 安娜·卡瓦尔坎蒂 , 马西耶·加兹达 , 罗伯特·海伦斯 :
使用CSP模型进行测试:时间、输入和输出。 ACM事务处理。 计算。 日志。 24 ( 2 ) : 17:1-17:40 ( 2023 ) 2022 [j7] 塞巴斯蒂安·比沃 , 雷娜·迪米特洛娃 , 迈克尔·弗里斯 , 马西耶·加兹达 , 托马斯·海因策 , 霍尔格·赫尔曼斯 , 穆罕默德·雷扎·穆萨维 :
时空中掺杂检测的一致性关系和超属性。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) 2021 [第10条] 马西耶·加兹达 , 罗伯特·海伦斯 :
删除冗余拒绝:故障跟踪语义的最小完整测试套件。 许可证 2021 : 1月13日 2020 [j6] 马西耶·加兹达 , 万·J·福克金 , 维托里奥·马萨罗 :
从操作员的角度来看,一致性。 信息学报 57 ( 3-5 ) : 329-351 ( 2020 ) [c9] 雷娜·迪米特洛娃 , 马西耶·加兹达 , 穆罕默德·雷扎·穆萨维 , 塞巴斯蒂安·比沃 , 霍尔格·赫尔曼斯 :
网络物理系统中基于一致性的兴奋剂检测。 复地 2020 : 59-77 【c8】 马西耶·加兹达 , 穆罕默德·雷扎·穆萨维 :
混合一致性的逻辑特征。 ICALP公司 2020 : 130:1-130:18 [i3] 塞巴斯蒂安·比沃 , 雷娜·迪米特洛娃 , 迈克尔·弗里斯 , 马西耶·加兹达 , 托马斯·海因策 , 霍尔格·赫尔曼斯 , 穆罕默德·雷扎·穆萨维 :
时空中掺杂检测的一致性关系和超属性。 CoRR公司 abs/2012.03910 ( 2020 )
2010 – 2019
2018 [j5] Vasileios Koutavas公司 , 马西耶·加兹达 , 马修·轩尼诗 :
区分通信事务。 Inf.计算。 259 ( 1 ) : 1-30 ( 2018 ) 【j4】 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
通过配对游戏预先订购自己的平价游戏。 发现的国际期刊。 计算。 科学。 29 ( 4 ) : 571-590 ( 2018 ) 2017 [i2] Vasileios Koutavas公司 , 马西耶·加兹达 , 马修·轩尼诗 :
区分通信事务。 CoRR公司 abs/1703.03256 ( 2017 ) 2016 【c7】 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
论对等博弈的先决条件和匹配博弈的逻辑。 SOFSEM公司 2016 : 277-289 【r1】 蒂姆·A·C·威廉斯 , 马西耶·加兹达 :
平价游戏。 算法百科全书 2016 : 1532-1537 2015 [j3] 乔德·克兰恩 , 马西耶·加兹达 , 威格·威瑟林克 , 蒂姆·A·C·威廉斯 :
定点逻辑中的抽象。 ACM事务处理。 计算。 日志。 16 ( 4 ) : 29:1-29:39 ( 2015 ) 【c6】 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
改进小进度措施。 甘道夫 2015 : 158-171 2014 [i1] 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
小进度措施的战略衍生。 CoRR公司 abs/1407.2149 ( 2014 ) 2013 [注2] 马西耶·加兹达 , 万·J·福克金 :
将GSOS规则转化为线性时间分支时间语义的方程式。 计算。 J。 56 ( 1 ) : 34-44 ( 2013 ) 【c5】 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
齐埃隆卡的递归算法:枯燥、脆弱、纸牌游戏和更严格的界限。 甘道夫 2013 : 7-20 2012 [j1] 马西耶·加兹达 , 万·J·福克金 :
模态逻辑和近似归纳原理。 数学。 结构。 计算。 科学。 22 ( 2 ) : 175-201 ( 2012 ) 【c4】 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
布尔方程系统的一致性结果。 SOFSEM公司 2012 : 277-288 【c3】 马西耶·加兹达 , 蒂姆·A·C·威廉斯 :
抽象中的表达性和完整性。 快递/SOS 2012 : 49至64 2010 【c2】 马西耶·加兹达 , 万·J·福克金 :
从操作员的角度看一致性:过程语义的组合性要求。 社会服务体系 2010 : 15-25
2000 – 2009
2009 【c1】 马西耶·加兹达 , 万·J·福克金 :
模态逻辑与近似归纳原理。 EXPRESS(快递) 2009 : 41-50