提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/iandc/BerardHPDS21澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-皮卡罗尼，克劳丁AU-Din，Mohab Safey El公司澳大利亚-萨索拉斯，马修多项式中断时间自动机：验证和表达。JO-信息计算。第277页SP-104580号2021年上半年//DO-2016年10月10日/J.IC.2020.104580UR-（欧元）https://doi.org/10.1016/j.ic.2020.104580急诊室-TY-JOUR公司ID-DBLP:日志/deds/BerardKMS18澳大利亚-贝拉德，贝特里奇AU-奥尔加库什纳伦科AU-约翰·马林斯澳大利亚-萨索拉斯，马修TI-线性约束马尔可夫链的不透明度。JO-谨慎。事件动态。系统。VL-28IS-1标准SP-83EP-1082018年上半年//DO-2007年10月10日/S10626-017-0259-4UR-（欧元）https://doi.org/10.1007/s10626-017-0259-4急诊室-TY-JOUR公司ID-DBLP:日志/sap/BoudjemaFSM18AU-布杰马，埃尔哈比卜AU-福雷，基督澳大利亚-萨索拉斯，马修AU-莫克达德，琳达TI-检测C语言应用程序中的安全漏洞。JO-安全。私人。VL-1型IS-1标准2018年上半年//DO-10.1002/SPY2.8UR-（欧元）https://doi.org/10.1002/spy2.8UR-（欧元）https://www.wikidata.org/entity/Q114267119急诊室-TY-CPAPER公司ID-DBLP:conf/icc/MonetSM17AU-莫内，昆廷澳大利亚-萨索拉斯，马修澳大利亚-莫克达德，琳达TI-使用定量游戏对WSN中的DoS攻击进行建模。2017年5月21日至25日，法国巴黎，2017年国际商会，BT-IEEE国际通信会议SP-1EP-62017年上半年//DO-10.1109/ICC.2017.7997349UR-（欧元）https://doi.org/10.109/ICC.2017.7997349急诊室-TY-CPAPER公司ID-DBLP:conf/lata/BrenguierCHPRRS16澳大利亚-布伦吉耶，罗曼AU-克莱门特，洛伦佐AU-保罗·亨特AU-佩雷斯，吉列尔莫A。AU-米凯尔·兰多尔让-弗朗索瓦·拉斯金奥坎州桑库尔市澳大利亚-萨索拉斯，马修TI-反应合成的非零和游戏。BT-语言和自动机理论与应用-第十届国际会议，2016年LATA，捷克共和国布拉格，2016年3月14日至18日，会议记录SP-3EP-232016年//DO-10.10007/978-3-319-30000-9_1UR-（欧元）https://doi.org/10.1007/978-3-319-30000-9_1急诊室-TY-CPAPER公司ID-DBLP:conf/wodes/BerardKMS16澳大利亚-贝拉德，贝特里奇AU-奥尔加库什纳伦科AU-约翰·马林斯澳大利亚-萨索拉斯，马修TI-在模拟下保持区间马尔可夫链的不透明性。BT-第13届离散事件系统国际研讨会，2016年WODES，中国西安，2016年5月30日至6月1日SP-319型EP-3242016年//DO-10.1109/WODES.2016.7497866UR-（欧元）https://doi.org/10.1109/WODES.2016.7497866急诊室-TY-JOUR公司ID-DBLP:期刊/mscs/BerardMS15澳大利亚-贝拉德，贝特里奇AU-约翰·马林斯澳大利亚-萨索拉斯，马修TI-量化不透明度。JO-数学。结构。计算。科学。VL-25IS-2SP-361型EP-4032015年上半年//DO-10.1017/S0960129513000637UR-（欧元）https://doi.org/10.1017/S0960129513000637急诊室-TY-CPAPER公司ID-DBLP:conf/rp/BerardHPDS15澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-皮卡罗尼，克劳丁AU-Din，Mohab Safey El公司澳大利亚-萨索拉斯，马修TI-多项式中断时间自动机。英国电信-可达性问题-第九届国际研讨会，RP 2015，波兰华沙，2015年9月21日至23日，会议记录SP-20EP-322015年上半年//DO-2007年10月10日/978-3-319-24537-9_3UR-（欧元）https://doi.org/10.1007/978-3-319-24537-9_3急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/BerardHPDS15澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-皮卡罗尼，克劳丁AU-Din，Mohab Safey El公司澳大利亚-萨索拉斯，马修TI-多项式中断时间自动机。JO-CoRR公司VL-abs/1504.045412015年上半年//UR-（欧元）http://arxiv.org/abs/1504.04541急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/BerardKMS15澳大利亚-贝拉德，贝特里奇AU-奥尔加KouchnarenkoAU-约翰·马林斯澳大利亚-萨索拉斯，马修TI-基于细化建模中的概率不透明度。JO-CoRR公司VL-abs/1510.043162015年上半年//UR-（欧元）http://arxiv.org/abs/1510.04316急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/BrenguierCHPRRS15澳大利亚-布伦吉耶，罗曼AU-克莱门特，洛伦佐AU-保罗·亨特AU-佩雷斯，吉列尔莫A。AU-米凯尔·兰多尔让-弗朗索瓦·拉斯金奥坎州桑库尔市澳大利亚-萨索拉斯，马修TI-反应合成的非零和游戏。JO-CoRR公司VL-abs/1512.055682015年上半年//UR-（欧元）http://arxiv.org/abs/1512.05568急诊室-TY-CPAPER公司ID-DBLP:conf/csl/BrenguierRS14澳大利亚-布伦吉耶，罗曼澳大利亚-拉斯金，Jean-François澳大利亚-萨索拉斯，马修TI-Omega规则游戏中可接受性的复杂性。BT——2014年7月14日至18日在奥地利维也纳举行的第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议，CSL-LICS’14SP-23:1欧洲药典-23:102014年上半年//DO-10.1145/2603088.2603143UR-（欧元）https://doi.org/10.1145/2603088.2603143急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1301-6799澳大利亚-贝拉德，贝特里奇AU-约翰·马林斯澳大利亚-萨索拉斯，马修TI-量化不透明度JO-CoRR公司VL-abs/1301.67992013年上半年//UR-（欧元）http://arxiv.org/abs/1301.6799急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1304-1682澳大利亚-布伦吉耶，罗曼澳大利亚-拉斯金，Jean-François澳大利亚-萨索拉斯，马修TI-Omega规则游戏中可接纳性的复杂性JO-CoRR公司VL-abs/1304.16822013年上半年//UR-（欧元）http://arxiv.org/abs/1304.1682急诊室-TY-JOUR公司ID-DBLP:日志/fmsd/BerardHS12澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-萨索拉斯，马修TI-中断时间自动机：验证和表达。JO-形式方法系统。设计。VL-40IS-1标准SP-41EP-872012年上半年//DO-10.1007/S10703-011-0140-2UR-（欧元）https://doi.org/10.1007/s10703-011-0140-2急诊室-TY-JOUR公司ID-DBLP:期刊/ijfcs/BenattarBLMRS12澳大利亚-贝纳塔，吉尔澳大利亚-贝拉德，贝特里奇AU-柠檬，迪迪埃AU-约翰·马林斯AU-Roux，Olivier H。澳大利亚-萨索拉斯，马修TI-有限传感器的信道综合。JO-找到国际期刊。计算。科学。VL-23IS-6标准第1241页EP-12602012年上半年//DO-10.1142/S0129054112400503UR-（欧元）https://doi.org/10.1142/S0129054112400503急诊室-TY-CPAPER公司ID-DBLP:conf/concur/BerardHSS12澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-萨索拉斯，马修澳大利亚-纳塔利·斯兹纳杰德TI-具有抑制的VASS并发游戏。2012年9月4日至7日，英国泰恩河畔纽卡斯尔举行的2012年英国电信CONCUR第23届国际会议——并发理论。诉讼程序SP-39EP-522012年上半年//DO-2007年10月10日/978-3642-32940-1_5UR-（欧元）https://doi.org/10.1007/978-3642-32940-1_5急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-1203-6453澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-萨索拉斯，马修TI-中断时间自动机：验证和表达JO-CoRR公司VL-abs/1203.64532012年上半年//UR-（欧元）http://arxiv.org/abs/203.6453急诊室-TY-这些ID-DBLP:phd/hal/Mathieu11澳大利亚-萨索拉斯，马修TI-定性和定量方法用于信息缓存的检测。（检测隐藏信息的定性和定量方法）。2011年上半年//UR-（欧元）https://tel.archives-ouvertes.fr/tel-00683086急诊室-TY-JOUR公司ID-DBLP:期刊/sosym/SassolasCU11澳大利亚-萨索拉斯，马修AU-马莎·契契克AU-乌奇特尔，塞巴斯蒂安TI-探索模态转换系统之间的不一致性。JO-软。系统。模型。VL-10IS-1标准第117页EP-1422011年上半年//DO-2007年10月10日/S10270-010-0148-XUR-（欧元）https://doi.org/10.1007/s10270-010-0148-x急诊室-TY-CPAPER公司ID-DBLP:conf/afl/BeattarBLMRS11澳大利亚-贝纳塔，吉尔澳大利亚-贝拉德，贝特里奇AU-柠檬，迪迪埃AU-约翰·马林斯AU-Roux，Olivier H。澳大利亚-萨索拉斯，马修TI-有限传感器的信道综合。英国电信自动化与形式语言，第13届国际会议，2011年AFL，匈牙利德布勒森，2011年8月17日至22日，会议记录。第79页第92页2011年上半年//急诊室-TY-CPAPER公司ID-DBLP:conf/qest/BerardMS10澳大利亚-贝拉德，贝特里奇AU-约翰·马林斯澳大利亚-萨索拉斯，马修TI-量化不透明度。BT-QEST 2010，第七届系统定量评估国际会议，美国弗吉尼亚州威廉斯堡，2010年9月15-18日SP-263型EP-2722010年上半年//DO-10.1109/QEST.2010.40UR-（欧元）https://doi.org/10.1109/QEST.2010.40UR-（欧元）https://doi.ieecomputersociety.org/10.1109/QEST.2010.40急诊室-TY-CPAPER公司ID-DBLP:conf/time/BerardHS10澳大利亚-贝拉德，贝特里奇AU-谢尔盖·哈达德澳大利亚-萨索拉斯，马修TI-中断时间自动机的实时属性。英国电信时代2010年第17届时间表征与推理国际研讨会，法国巴黎，2010年9月6日至8日SP-69型EP-762010年上半年//DO-10.1109/TIME.2010.11UR-（欧元）https://doi.org/10.109/TIME.2010.11UR-（欧元）https://doi.ieecomputersociety.org/10.1109/TIME.2010.11急诊室-