吕克Edixhoven;宋世宗曼;何塞·普伦萨;伊利亚州卡斯特拉尼 分支花束:设计、表现力和编舞应用。 (英文) Zbl 07803172号 J.日志。阿尔盖布。方法计划。 136,文章ID 100919,36 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Edixhoven}等人,J.Log。阿尔盖布。方法计划。136,文章ID 100919,36 p.(2024;Zbl 07803172) 全文: 内政部
凯文·洛茨;米贾·库尔琴斯基;德克·诺沃特卡;丹尼·鲍尔森;安德斯·施利奇特克鲁尔 验证验证:Isabelle中字符串的SMT-LIB。 (英文) Zbl 07810935号 Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。14151, 206-217 (2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lotz}等人,Lect。注释计算。科学。14151,206-217(2023;Zbl 07810935) 全文: 内政部
阿兰·芬克尔;艾蒂安·洛兹 通信有限状态机的同步性是不可判定的。 (英文) Zbl 07789005号 日志。方法计算。科学。 19,第4号,第33号论文,28页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{E.Lozes},Log。方法计算。科学。19,第4号,第33号文件,第28页(2023;Zbl 07789005) 全文: 内政部 arXiv公司
帕斯卡·鲍曼;弗拉维奥·达莱桑德罗;摩西·加纳尔迪;奥斯卡·伊巴拉;伊恩·麦克奎伦;Lia Schütze女士;乔治·泽采 具有可逆有界计数器的机器的无界性问题。 (英文) Zbl 07770340号 Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13992, 240-264 (2023).MSC公司:68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Baumann}等人,Lect。注释计算。科学。13992、240——264(2023;Zbl 07770340) 全文: 内政部 arXiv公司
辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 猜测缓冲区对\(k\)-同步性的限制。 (英文) Zbl 07770240号 发现的国际期刊。计算。科学。 34,第8期,1051-1076(2023).MSC公司:68季度xx 68牛顿 6800万 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,国际发现杂志。计算。科学。34、编号8、1051--1076(2023;Zbl 07770240) 全文: 内政部
斯特凡·霍夫曼 置换的状态复杂性和语言包含问题,直到字母模式约束和部分有序NFA上的Parikh等价。 (英文) Zbl 07770237号 发现的国际期刊。计算。科学。 34,第8号,959-986(2023).MSC公司:68季度xx 2000万 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Hoffmann},国际期刊发现。计算。科学。34,编号8,959-986(2023;兹bl 07770237) 全文: 内政部
佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托斯托 形式舞蹈语言的理论。 (英文) Zbl 07731937号 日志。方法计算。科学。 19,第3号,第9号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,日志。方法计算。科学。19,第3号,第9号论文,36页(2023;Zbl 07731937) 全文: 内政部 arXiv公司
弗兰蒂舍克·布拉胡德克;陈玉芳;乔利亚特,大卫;沃伊特·哈夫勒纳;卢卡什·霍利克;Ondřej Lengál;尤拉吉·西奇 单词等式与规则约束协同作用。 (英文) Zbl 1529.68331号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。14000, 403-423 (2023).MSC公司:68瓦32 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Blahoudek}等人,Lect。注释计算。科学。14000、403——423(2023年;兹比尔1529.68331) 全文: 内政部 arXiv公司
亚历克西斯·贝达德;西尔万·霍尔 事件流处理的形式验证:BeepBeep流处理管道的模型检查。 (英文) Zbl 07713422号 Inf.计算。 293,文章ID 105058,34 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bédard}和\textit{S.Hallé},Inf.Comput。293,文章ID 105058,34 p.(2023;Zbl 07713422) 全文: 内政部
辛齐亚·迪·朱斯托;吉祖恩,洛伊奇德国;艾蒂安·洛兹 多方半双工系统和同步通信。 (英文) Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131,文章ID 100843,17 p.(2023).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,J.Log。阿尔盖布。方法计划。131,文章ID 100843,17 p.(2023;Zbl 1512.68165) 全文: 内政部
洛科·德尼古拉;埃尔南·梅尔格拉蒂 多方测试预订单。 (英文) Zbl 07639918号 日志。方法计算。科学。 19,第1期,第1号论文,31页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{H.Melgratti},日志。方法计算。科学。19,第1期,第1号论文,第31页(2023年;Zbl 07639918) 全文: 内政部 arXiv公司
墨菲·贝尔齐什;戴,乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 寻求更有效的方法来解决正则表达式重字符串约束。 (英文) 兹比尔1512.68308 西奥。计算。科学。 943, 50-72 (2023).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人,Theor。计算。科学。943,50-72(2023;Zbl 1512.68308) 全文: 内政部
宋世宗曼;佩特拉·范登博斯 编舞的谓词变换器。计算舞蹈编程中的先决条件。 (英文) Zbl 1528.68080号 谢尔盖,伊利亚(编辑),《编程语言和系统》。第31届欧洲编程研讨会,ESOP 2022,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2022,2022年4月2日至7日,德国慕尼黑。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13240, 520-547 (2022).MSC公司:68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.-S.Jongmans}和\textit{P.van den Bos},莱克特。注释计算。科学。13240520-547(2022年;Zbl 1528.68080) 全文: 内政部
哈拉尔德·森德加德 字符串抽象域及其组合。 (英文) Zbl 1521.68036号 De Angelis,Emanuele(编辑)等,基于逻辑的程序合成和转换。第31届国际研讨会,2021年9月7日至8日,爱沙尼亚塔林,LOPSTR 2021。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13290, 1-15 (2022).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Söndergaard},莱克特。注释计算。科学。13290,1-15(2022;Zbl 1521.68036) 全文: 内政部
文森佐·阿塞里;奥利亚罗,玛蒂娜;阿戈斯蒂诺·科尔特斯;皮埃特罗·费拉拉 关系字符串抽象域。 (英文) 兹比尔1498.68070 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13182, 20-42 (2022).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人,Lect。注释计算。科学。13182,20--42(2022;Zbl 1498.68070) 全文: 内政部
路易斯·克鲁兹·菲利佩;法布里西奥·蒙泰西;马可·佩雷索蒂 认证编舞。 (英文) Zbl 07500641号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会,虚拟活动,哈萨克斯坦努尔苏尔坦,2021年9月8日至10日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。第12819页,第115-133页(2021年)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,Lect。注释计算。科学。12819、115-133(2021;Zbl 07500641) 全文: 内政部 arXiv公司
墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D·。;德克·诺沃特卡;维杰·加内什 用于字符串长度上的正则表达式和线性算法的SMT解算器。 (英文) Zbl 1493.68182号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。勒克特。注释计算。科学。12760, 289-312 (2021).MSC公司:65年第68季度 68T20型 68版本20 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人,Lect。注释计算。科学。12760289--312(2021年;Zbl 1493.68182) 全文: 内政部 arXiv公司
张业迪;赵哲;陈广科;宋,傅;陈、陶璐 BDD4BNN公司:基于BDD的二值化神经网络定量分析框架。 (英文) Zbl 1493.68226号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12759, 175-200 (2021).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,Lect。注释计算。科学。12759175-200(2021年;Zbl 1493.68226) 全文: 内政部 arXiv公司
辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 猜测k同步性的缓冲区界限。 (英文) Zbl 07495108号 Maneth,Sebastian(编辑),自动机的实现和应用。第25届国际会议,CIAA 2021,虚拟活动,2021年7月19-22日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12803, 102-114 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,Lect。注释计算。科学。12803、102--114(2021;Zbl 07495108) 全文: 内政部 arXiv公司
Lin,Anthony W。;鲁帕克·马朱姆达尔 具有长度约束的二次方程、计数器系统和具有可除性的Presburger算法。 (英文) Zbl 1517.68319号 日志。方法计算。科学。 17,第4号,第4号文件,第20页(2021).MSC公司:68兰特 03B25号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Lin}和\textit{R.Majumdar},日志。方法计算。科学。17,第4期,第4号论文,20页(2021年;Zbl 1517.68319) 全文: arXiv公司 链接
文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 动态语言字符串分析的完整性。 (英文) Zbl 1518.68032号 Inf.计算。 281,文章ID 104791,18 p.(2021).MSC公司:68甲15 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人,《信息计算》。281,文章ID 104791,18 p.(2021;Zbl 1518.68032) 全文: 内政部
亚历克斯·科托;罗伯特·瓜夏莱;埃米利奥·托斯托 舞蹈测试的抽象框架。 (英文) Zbl 1528.68249号 J.日志。阿尔盖布。方法计划。 123,文章ID 100712,32 p.(2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coto}等人,J.Log。阿尔盖布。方法计划。123,文章ID 100712,32 p.(2021;Zbl 1528.68249) 全文: 内政部 arXiv公司
卢卡·内格里尼;文森佐·阿塞里;皮埃特罗·费拉拉;阿戈斯蒂诺·科尔特斯 字符串静态分析的孪生自动机和正则表达式。 (英文) 兹比尔1472.68039 Henglein,Fritz(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12597267-290(2021年)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Negrini}等人,Lect。注释计算。科学。12597,267--290(2021;Zbl 1472.68039) 全文: 内政部 arXiv公司
洛伦佐·克莱门特;萨沃米尔·拉索塔 定时下推自动机的可达性关系。 (英文) Zbl 1484.68079号 J.计算。系统。科学。 117, 202-241 (2021). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 03B70号 05年3月 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{S.Lasota},J.Compute。系统。科学。117202-241(2021;Zbl 1484.68079) 全文: 内政部 arXiv公司
莎拉·本雅古布;雅敏阿伊特阿默尔;克劳斯·迪特·施韦 Event-B支持的编舞定义的通信系统。 (英文) Zbl 1497.68326号 Raschke,Alexander(编辑)等人,《严格的基于状态的方法》。第七届国际会议,ABZ 2020,德国乌尔姆,2020年5月27日至29日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12071, 155-168 (2020).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Benyagoub}等人,Lect。注释计算。科学。12071,155--168(2020;Zbl 1497.68326) 全文: 内政部
克伦,多纳托;菲利普·范·希尔登;安东尼奥·菲列里;威廉·维瑟 用协调执行改进符号自动机学习。 (英文) Zbl 1507.68135号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12076,3-26(2020)。MSC公司:68问题32 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Clun}等人,Lect。注释计算。科学。12076,3--26(2020;Zbl 1507.68135) 全文: 内政部 链接
阿克西,S。;保罗·加斯丁;克里希纳,S。;斯巴萨罗伊乔杜里 重温多下推系统的近似可达性。 (英文) Zbl 1507.68080号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12078, 387-404 (2020).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,Lect。注释计算。科学。12078、387--404(2020;Zbl 1507.68080) 全文: 内政部 arXiv公司
王文喜;穆罕默德·乌斯曼;Almawi,阿尔亚斯;王开元;Kuldeep S.梅尔。;萨尔夫拉兹·库希德 对称破缺谓词和模型计数的研究。 (英文) 兹比尔1507.68221 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。勒克特。注释计算。科学。12078, 115-134 (2020).MSC公司:68兰特 03B05号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}等人,Lect。注释计算。科学。12078、115-134(2020年;Zbl 1507.68221) 全文: 内政部
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 语族的半线性。 (英文) Zbl 1458.68102号 发现的国际期刊。计算。科学。 31,第8期,1179-1198(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},国际法学研究所。计算。科学。31,第8号,1179--1198(2020;Zbl 1458.68102) 全文: 内政部
辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 关于系统的(k)-同步性。 (英文) Zbl 07250937号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12077, 157-176 (2020).MSC公司:68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,Lect。注释计算。科学。12077,157--176(2020;Zbl 07250937) 全文: 内政部 arXiv公司
戴,费;陈浩;强、振平;梁志宏;黄、毕;王磊光 自动分析微服务系统中的复杂交互。 (英文) 兹比尔1435.68192 复杂性 2020年,文章ID 2128793,12 p.(2020).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Dai}等人,《复杂性2020》,文章ID 2128793,12 p.(2020;Zbl 1435.68192) 全文: 内政部
尼古拉·贝内什;乌里·法伦贝格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 (英文) Zbl 1435.68189号 Inf.计算。 271,文章ID 104487,24 p.(2020).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,信息计算。271,文章ID 104487,24 p.(2020;Zbl 1435.68189) 全文: 内政部 哈尔
图巴·亚武兹 部分谓词抽象和反例引导精化。 (英文) Zbl 1494.68177号 J.日志。阿尔盖布。方法计划。 110,文章ID 100437,17 p.(2020).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz},J.日志。阿尔盖布。方法计划。110,文章ID 100437,17 p.(2020;Zbl 1494.68177) 全文: 内政部 arXiv公司
戴,乔尔·D·。;弗罗林·马内亚;德克·诺沃特卡 某些二次方程最小解长度的上界。 (英文) Zbl 1517.68315号 Rossmanith,Peter(ed.)等人,第44届计算机科学数学基础国际研讨会,2019年MFCS,德国亚琛,2019月26日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。138,第44条,第15页(2019年)。MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Day}等人,LIPIcs——莱布尼茨国际程序。通知。138,第44条,第15页(2019年;Zbl 1517.68315) 全文: 内政部
佛罗伦萨雪佛龙;奥雷利·胡罗;菲利普·奎因内克 用于验证通用分布式系统的模块化框架。 (英文) Zbl 1435.68191号 J.日志。阿尔盖布。方法计划。 108, 24-46 (2019).MSC公司:60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevru}等人,J.Log。阿尔盖布。方法计划。108,24-46(2019年;兹比尔1435.68191) 全文: 内政部 链接
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 关于包含计数器机器语言的完整三人组家族。 (英文) Zbl 1436.68174号 西奥。计算。科学。 799, 71-93 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Theor。计算。科学。799、71-93(2019年;Zbl 1436.68174) 全文: 内政部
毛里齐奥·穆尔吉亚 为异步定时会话类型输入紧急语义。 (英文) Zbl 1431.68078号 J.日志。阿尔盖布。方法计划。 107,38-53(2019).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Murgia},J.Log。阿尔盖布。方法计划。107、38-53(2019年;Zbl 1431.68078) 全文: 内政部
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 确定性可逆有界计数器上的插入操作。 (英文) Zbl 1423.68250号 J.计算。系统。科学。 104, 244-257 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eremondi}等人,J.Compute。系统。科学。104、244--257(2019;Zbl 1423.68250) 全文: 内政部 arXiv公司
马可·奥蒂利;保拉·因弗拉迪;罗米娜·斯帕拉泽塞;马西莫Tivoli;菲利波·米格诺西 根据基于自动机的规范自动合成应用层连接器。 (英文) Zbl 1423.68066号 J.计算。系统。科学。 104, 17-40 (2019).MSC公司:68米14 68个M12 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Autili}等人,《计算杂志》。系统。科学。104、17-40(2019年;Zbl 1423.68066) 全文: 内政部
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 店内语言和应用程序。 (英文) 兹比尔1422.68151 Inf.计算。 267, 28-48 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Inf.Comput。267、28-48(2019年;Zbl 1422.68151) 全文: 内政部 arXiv公司
萨维里奥·贾勒伦佐;法布里西奥·蒙泰西;毛里齐奥·加布里埃利 应用舞蹈设计。 (英文) Zbl 1508.68242号 Baier,Christel(编辑)等人,分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议,FORTE 2018,作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10854, 21-40 (2018).MSC公司:68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Giallorenzo}等人,Lect。注释计算。科学。10854,21-40(2018;Zbl 1508.68242) 全文: 内政部 arXiv公司 哈尔
亚当·什米;奥雷利·胡罗;菲利普·奎因内克 超越因果关系的异步消息排序。 (英文) Zbl 1487.68116号 Aspnes,James(编辑)等人,第21届分布式系统原理国际会议,OPODIS 2017,葡萄牙里斯本,2017年12月18-20日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95,第29条,第20页(2018年)。MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Shimi}等人,LIPIcs——莱布尼茨国际程序。通知。95,第29条,第20页(2018;Zbl 1487.68116) 全文: 内政部
奥斯卡·H·伊巴拉。 带有计数器的NPDA和VPDA的语法特征。 (英文) Zbl 1400.68106号 西奥。计算。科学。 746, 136-150 (2018).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.H.Ibarra},Theor。计算。科学。746136-150(2018年;兹比尔1400.68106) 全文: 内政部
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 关于语言接受者的存储语言。 (英文) Zbl 1400.68107号 西奥。计算。科学。 745, 114-132 (2018).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Theor。计算。科学。745,114-132(2018;Zbl 1400.68107) 全文: 内政部 arXiv公司
拉赫达尔·阿克伦;格温·萨拉恩 通过先进先出(FIFO)和行李缓冲器自动验证自动机通信。 (英文) Zbl 1392.68224号 形式方法系统。设计。 52,第3号,260-276(2018).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Akroun}和\textit{G.Salaün},表格。方法系统。设计。52,第3号,260-276(2018;Zbl 1392.68224) 全文: 内政部 哈尔
马尔科·卡博尼;法布里西奥·蒙泰西;卡斯滕·舒尔曼 从逻辑上讲,编排。 (英文) Zbl 1423.68304号 分布计算。 31,第1号,51-67(2018).MSC公司:68问题85 03楼52 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Carbone}等人,《分布计算》。31,第1号,51-67(2018;Zbl 1423.68304) 全文: 内政部 链接
瓦伦丁·Wüstholz;奥斯瓦尔多·奥利沃;Heule,Marijn J.H。;伊西尔·迪利格 静态检测使用正则表达式的程序中的DoS漏洞。 (英文) Zbl 1452.68060号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。勒克特。注释计算。科学。10206, 3-20 (2017).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Wüstholz}等人,Lect。注释计算。科学。10206,3--20(2017;Zbl 1452.68060) 全文: 内政部 arXiv公司
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 确定性自动机族上的删除操作。 (英文) Zbl 1376.68089号 Inf.计算。 256, 237-252 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eremondi}等人,《信息计算》。256237--252(2017年;Zbl 1376.68089) 全文: 内政部 arXiv公司
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 一些非正则语言类的信息率:自动机理论方法。 (英文) Zbl 1376.68086号 Inf.计算。 256, 45-61 (2017).MSC公司:65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{C.Cui}等人,《信息计算》。256、45-61(2017年;Zbl 1376.68086) 全文: 内政部
奥斯卡·H·伊巴拉。;崔策伟;当、哲;托马斯·费舍尔。 传感器模拟的通信信道损耗。 (英文) Zbl 1369.94012号 可计算性 6,第2期,165-181(2017).MSC公司:94A05型 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,可计算性6,No.2,165--181(2017;Zbl 1369.94012) 全文: 内政部
巴勃罗·巴塞洛;巴勃罗·穆尼奥斯 有理关系的图形逻辑:单词组合的作用。 (英文) 兹比尔1367.68082 ACM事务处理。计算。日志。 第18号第2条第10条第41页(2017年).MSC公司:第68页,共15页 03B70号 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Barceló}和\textit{P.Muñoz},ACM Trans。计算。日志。18,第2号,第10条,第41页(2017年;Zbl 1367.68082) 全文: 内政部
郑运辉;维杰·加内什;萨努苏布拉曼尼亚语;奥马尔·特里普;墨菲·贝尔齐什;朱利安·杜比;张湘玉 Z3str2:字符串、正则表达式和长度约束的高效求解器。 (英文) Zbl 1360.68773号 形式方法系统。设计。 50,编号2-3,249-288(2017).MSC公司:68吨15 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zheng}等,《形式方法系统》。设计。50,编号2--3249--288(2017;Zbl 1360.68773) 全文: 内政部
米拉·达拉·普雷达;毛里齐奥·加布里埃利;萨维里奥·贾勒伦佐;伊万·拉内斯;雅各布·毛罗 动态编舞:理论与实现。 (英文) Zbl 1398.68088号 日志。方法计算。科学。 13,第2号,第1号论文,57页(2017年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Preda}等人,日志。方法计算。科学。13,第2号,第1号论文,57页(2017;Zbl 1398.68088) 全文: 内政部 arXiv公司
佛朗哥·巴巴内拉;范·贝克尔,斯特芬;乌戈·德利古罗 协调的会话符合性。 (英文) Zbl 1353.68023号 J.日志。阿尔盖布。方法计划。 86,第1号,30-76(2017).MSC公司:68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。86、1号、30--76(2017;Zbl 1353.68023) 全文: 内政部 arXiv公司
图巴亚武兹 将谓词抽象与不动点近似相结合。 (英文) Zbl 1390.68443号 De Nicola,Rocco(编辑)等人,《软件工程和形式化方法》。2016年7月4日至8日,作为2016年STAF的一部分,在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-41590-1/pbk;978-3-316-41591-8/电子书)。计算机科学课堂讲稿9763104-120(2016)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yavuz},莱克特。注释计算。科学。9763,104-120(2016;Zbl 1390.68443) 全文: 内政部
叶卡捷琳娜·维尔比茨凯亚;塞姆扬·格里戈列夫;德米特里·阿夫久钦 字符串嵌入语言的正则近似的放松解析。 (英文) Zbl 1461.68107号 Mazzara,Manuel(编辑)等人,《系统信息学的观点》。2015年8月24日至27日,第十届安德烈·埃尔肖夫国际信息学会议,PSI 2015,纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆:斯普林格。勒克特。注释计算。科学。9609, 291-302 (2016).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Verbitskaia}等人,Lect。注释计算。科学。9609,291--302(2016;Zbl 1461.68107) 全文: 内政部
萨米克·巴苏;特夫菲克·布尔坦 关于决定异步通信系统的同步性。 (英文) Zbl 1353.68195号 西奥。计算。科学。 656,A部分,60-75(2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}和\textit{T.Bultan},Theor。计算。科学。656,A部分,60-75(2016;兹bl 1353.68195) 全文: 内政部
当、哲;托马斯·费舍尔。;威廉·赫顿(William J.III Hutton);奥斯卡·H·伊巴拉。;李,秦 量化同步语言中的交流。 (英文) Zbl 1353.68074号 西奥。计算。科学。 654, 33-44 (2016).MSC公司:68页30 2010年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Theor。计算。科学。654、33-44(2016;Zbl 1353.68074) 全文: 内政部
弗洛伦特·切弗鲁;奥雷利·胡罗;菲利普·奎因内克 异步通信的多样性。 (英文) Zbl 1345.68022号 正式Asp。计算。 28,第5期,847-879(2016).MSC公司:68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevrou}等人,正式Asp。计算。28,第5号,847--879(2016;Zbl 1345.68022) 全文: 内政部 哈尔
拉马努贾姆,R。;Sheerazuddin,S。 web服务编排的可实现时态逻辑。 (英文) Zbl 1348.68148号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,759-781(2016).MSC公司:60年第68季度 68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanujam}和\textit{S.Sheerazuddin},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,759--781(2016;Zbl 1348.68148) 全文: 内政部
D.巴兹利。;德加诺,P。;法拉利,G.L。;托斯托,E。 将两个基于自动机的编排和舞蹈模型联系起来。 (英文) Zbl 1352.68125号 J.日志。阿尔盖布。方法计划。 85,第3期,425-446(2016).MSC公司:65年第68季度 68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人,J.Log。阿尔盖布。方法计划。85,第3号,425--446(2016;Zbl 1352.68125) 全文: 内政部 链接
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳,G。;罗伯托·祖尼诺 在活动结构上签订游戏合同。 (英文) Zbl 1352.68174号 J.日志。阿尔盖布。方法计划。 85,第3号,399-424(2016).MSC公司:68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。85,第3号,399--424(2016;Zbl 1352.68174) 全文: 内政部
马西莫·贝内雷切蒂;阿德里亚诺·佩隆 时间递归状态机:表达性和复杂性。 (英文) Zbl 1338.68070号 西奥。计算。科学。 625, 85-124 (2016).MSC公司:2005年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{A.Peron},Theor。计算。科学。625、85-124(2016年;Zbl 1338.68070) 全文: 内政部
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 某些自动机类的执行信息速率。 (英文) Zbl 1333.68161号 Inf.计算。 246, 20-29 (2016).MSC公司:65年第68季度 94甲17 PDF格式BibTeX公司 XML格式引用 \textit{C.Cui}等人,《信息计算》。246、20--29(2016年;Zbl 1333.68161) 全文: 内政部
马西莫·巴托莱蒂;蒂齐亚娜·西莫利;罗伯托·祖尼诺 行为合同的合规性:简要调查。 (英文) Zbl 1434.68045号 Bodei,Chiara(编辑)等人,《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际,为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。9465, 103-121 (2015).MSC公司:68米14 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,Lect。注释计算。科学。9465,103-121(2015;Zbl 1434.68045) 全文: 内政部
菲拉利,马蒙;梅里姆·乌代尔尼;Jean-Baptiste Raclet女士 FIFO协议跟踪的规范化形式,应用于基于模式的协议的回放。 (英文) Zbl 1328.68026号 Artho,Cyrille(编辑)等人,《安全关键系统的形式化技术》。第三次国际研讨会,FTSCS 2014,卢森堡,2014年11月6-7日。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-17580-5/pbk;978-3-316-17581-2/电子书)。《计算机与信息科学通信》476,76-92(2015)。MSC公司:68个M12 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Filali}等人,Commun。计算。信息科学。476、76-92(2015年;Zbl 1328.68026) 全文: 内政部
当、哲;托马斯·费舍尔。;威廉·赫顿。;奥斯卡·H·伊巴拉。;李,秦 量化同步语言中的交流。 (英文) Zbl 1465.68069号 徐大川(主编)等,《计算与组合学》。第21届国际会议,COCOON 2015,中国北京,2015年8月4-6日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9198, 635-647 (2015).MSC公司:68页30 2010年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人,Lect。注释计算。科学。9198、635--647(2015;Zbl 1465.68069) 全文: 内政部
李,秦;当、哲 采样自动机和程序。 (英文) Zbl 1309.68062号 西奥。计算。科学。 577125-140(2015).MSC公司:68页30 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Li}和\textit{Z.Dang},Theor。计算。科学。577125-140(2015年;Zbl 1309.68062) 全文: 内政部
沃尔特·福格勒;克里斯蒂安·斯塔尔;理查德·米勒 基于跟踪和故障的响应语义。 (英文) Zbl 1304.68033号 学报信息。 51,第8号,499-552(2014).MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}等人,《学报》第51期,第8期,第499--552页(2014年;Zbl 1304.68033) 全文: 内政部 链接
纳比尔·哈默伦 服务协议可控性和可替换性规范的组合框架。 (英文) Zbl 1297.68031号 国际期刊计算。数学。 91,第6期,1137-1155(2014).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{N.Hameurlain},国际计算机杂志。数学。91,第6号,1137--1155(2014;Zbl 1297.68031) 全文: 内政部
于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 基于自动符号字符串分析的漏洞检测。 (英文) Zbl 1291.68272号 形式方法系统。设计。 44,第1期,44-70(2014).MSC公司:60年第68季度 65年第68季度 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,《形式方法系统》。设计。44,第1号,44--70(2014;Zbl 1291.68272) 全文: 内政部
傅、香;Michael C.鲍威尔。;迈克尔·班特吉;李钟池 简单的线性字符串约束。 (英文) Zbl 1298.68172号 正式Asp。计算。 25,第6期,847-891(2013).MSC公司:60年第68季度 68单位15 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{X.Fu}等人,正式Asp。计算。25,第6号,847--891(2013;Zbl 1298.68172) 全文: 内政部
JoséLuiz Fiadeiro;安托尼亚州洛佩斯 面向服务设计的接口理论。 (英文) Zbl 1360.68631号 西奥。计算。科学。 503,1-30(2013).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Fiadeiro}和\textit{A.Lopes},Theor。计算。科学。503、1--30(2013年;Zbl 1360.68631) 全文: 内政部
Waez,Md Tawhid Bin;朱尔根·丁格尔;鲁迪、凯伦 实时系统开发中的时间自动机综述。 (英文) Zbl 1302.68180号 计算。科学。版次。 9, 1-26 (2013).MSC公司:65年第68季度 68问题55 60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.T.B.Waez}等人,计算。科学。第9版,1-26(2013;Zbl 1302.68180) 全文: 内政部
邓婷;范文飞;列昂尼德·利布金;吴英辉 关于综合web服务的聚合问题。 (英文) 兹比尔1408.68029 J.计算。系统。科学。 79,第6期,873-891(2013).MSC公司:68英里11 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Deng}等人,J.Compute。系统。科学。79,第6号,873--891(2013;Zbl 1408.68029) 全文: 内政部
奥斯卡·H·伊巴拉。;Shinnosuke Seki公司 关于Ginsburg关于半线性集的开放问题及相关问题。 (英文) Zbl 1296.68094号 西奥。计算。科学。 501, 11-19 (2013).MSC公司:65年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{S.Seki},Theor。计算。科学。501、11--19(2013年;Zbl 1296.68094) 全文: 内政部
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 语言和程序的相似性。 (英文) 兹比尔1296.68091 西奥。计算。科学。 498, 58-75 (2013).MSC公司:65年第68季度 94甲17 68页30 PDF格式BibTeX公司 XML格式引用 \textit{C.Cui}等人,Theor。计算。科学。498、58-75(2013年;Zbl 1296.68091) 全文: 内政部
斯特凡·德姆里 关于VASS的选择性无界性。 (英文) Zbl 1285.68094号 J.计算。系统。科学。 79,第5期,689-713(2013).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.计算。系统。科学。79,第5号,689--713(2013;Zbl 1285.68094) 全文: 内政部 arXiv公司
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 无限状态系统验证的推广策略。 (英文) Zbl 1267.68080号 理论与实践。日志。程序。 13,第2期,175-199(2013).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,《理论与实践》。日志。程序。13,第2号,175--199(2013;Zbl 1267.68080) 全文: 内政部 arXiv公司
奥斯卡·H·伊巴拉。;Shinnosuke Seki公司 关于半线性集的有界性。 (英文) Zbl 1382.68135号 Chan,T-H.Hubert(编辑)等人,《计算模型的理论和应用》。第十届国际会议,2013年TAMC,中国香港,2013年5月20日至22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38235-2/pbk)。计算机科学课堂讲稿7876156-168(2013)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{S.Seki},莱克特。注释计算。科学。7876、156--168(2013年;Zbl 1382.68135) 全文: 内政部
李、穆;李波;怀、金鹏 web服务的可靠性感知自动组合方法。 (英文) Zbl 1245.68030号 科学。中国,信息科学。 55,第4期,921-937(2012).MSC公司:68米15 03B70号 68英里11 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}等人,科学。中国,信息科学。55,第41921-937号(2012年;兹bl 1245.68030) 全文: 内政部 链接
奥斯卡·H·伊巴拉。;Tran,Nicholas Q。 在同步多磁带和多磁头自动机上。 (英文) Zbl 1253.68204号 西奥。计算。科学。 449, 74-84 (2012).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{N.Q.Tran},Theor。计算。科学。449、74-84(2012年;Zbl 1253.68204) 全文: 内政部
萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼 用于验证异步通信系统的同步性。 (英文) Zbl 1325.68139号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿714856-71(2012)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}等人,Lect。注释计算。科学。7148,56-71(2012;Zbl 1325.68139) 全文: 内政部
厄梅·埃西奥·卢;奥斯卡·H·伊巴拉。;Tran,Nicholas Q。 多磁带NFA:输入头的弱同步。 (英文) Zbl 1298.68131号 Bieliková,Mária(编辑)等人,SOFSEM 2012:计算机科学的理论与实践。2012年1月21日至27日,第38届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27659-0/pbk)。计算机科学课堂讲稿7147238-250(2012)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Ø.EÚecio-lu}等人,Lect。注释计算。科学。7147238--250(2012年;Zbl 1298.68131) 全文: 内政部
筑谷由纪夫(Tatsuhiro Tsuchiya);安德烈·希珀 使用可满足性求解验证一致性算法。 (英文) 兹比尔1231.68164 分布计算。 23,编号5-6,341-358(2011).MSC公司:60年第68季度 68米14 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{T.Tsuchiya}和\textit{A.Schiper},分布式计算。23、编号5--6、341--358(2011;Zbl 1231.68164) 全文: 内政部 链接
马尔塞洛·贝尔萨尼。;斯特凡·德姆里 可逆有界模型检验的复杂性。 (英文) Zbl 1348.68121号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学讲义6989。人工智能课堂讲稿,71-86(2011)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}和\textit{S.Demri},莱克特。注释计算。科学。6989,71-86(2011;Zbl 1348.68121) 全文: 内政部 哈尔
奥斯卡·H·伊巴拉。;Tran,Nicholas Q。 关于同步多磁带和多头自动机。 (英文) Zbl 1341.68094号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学讲座笔记6808184-197(2011)。MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{N.Q.Tran},莱克特。注释计算。科学。6808184-197(2011;Zbl 1341.68094) 全文: 内政部
伊格纳西·阿比奥;罗伯特·纽文胡斯;阿尔伯特·奥利弗拉斯;恩里克·罗德里格斯-卡博内尔 伪布尔约束的BDD–再次访问。 (英文) Zbl 1330.68098号 Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日,美国密歇根州安娜堡,第14届国际会议,SAT 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695,61-75(2011)。MSC公司:65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Abío}等人,Lect。注释计算。科学。6695,61-75(2011;Zbl 1330.68098) 全文: 内政部
法比奥·菲奥拉万蒂;阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;瓦莱里奥·塞尼 验证无限状态系统的程序专门化:实验评估。 (英文) Zbl 1326.68184号 Alpunte,María(编辑),基于逻辑的程序合成和转换。2010年7月23日至25日,第20届国际研讨会,LOPSTR 2010,奥地利哈根贝格。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-20550-7/pbk)。计算机科学课堂讲稿6564,164-183(2011)。MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fioravanti}等人,Lect。注释计算。科学。6564、164--183(2011年;Zbl 1326.68184) 全文: 内政部
艾哈迈德·博阿贾尼;马吕斯·博兹加;彼得·哈贝梅尔;拉杜·奥西夫;皮埃尔·莫罗;汤姆·沃纳 带有列表的程序是计数器自动机。 (英文) Zbl 1217.68059号 形式方法系统。设计。 第2期第38页,第158-192页(2011年).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《形式方法系统》。设计。38,第2号,158--192(2011;Zbl 1217.68059) 全文: 内政部 哈尔
Pieter Hooimeijer;玛格斯·维纳斯 字符串分析自动机算法的评估。 (英文) Zbl 1317.68287号 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,248-262(2011)。MSC公司:68瓦32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hooimeijer}和\textit{M.Veanes},莱克特。注释计算。科学。6538,248--262(2011;Zbl 1317.68287) 全文: 内政部
于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 使用多轨迹自动机进行关系字符串验证。 (英文) Zbl 1297.68280号 Domaratzki,Michael(编辑)等人,自动机的实现和应用。2010年8月12日至15日,加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18097-2/pbk)。计算机科学课堂讲稿6482290-299(2011)。MSC公司:68瓦32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}等人,Lect。注释计算。科学。6482290-299(2011年;Zbl 1297.68280) 全文: 内政部
莱蒂切夫斯基(A.A.Letichevsky)。;戈德列夫斯基,A.B。;A.A.jun Letychevsky。;波提延科,S.V。;佩沙连科,V.S。 VRS系统的谓词变换器的属性。 (英语。俄文原件) Zbl 1288.68167号 赛博。系统。分析。 46,第4期,521-532(2010); 翻译自Kibern。修女。分析。2010年,第4期,第3-16页(2010年)。MSC公司:60年第68季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Letichevsky}等人,Cybern。系统。分析。46,编号42521-532(2010年;兹bl 1288.68167);翻译自Kibern。修女。分析。2010年,第4期,第3--16期(2010年) 全文: 内政部
利西萨,A.P。;Nemytykh,A.P。 在一个使用oracle进行计算的应用程序上。 (英语。俄文原件) Zbl 1253.68089号 程序。计算。柔和。 36,第3期,157-165(2010); 译自Programmirovanie 36,No.3(2010)。MSC公司:68N20型 68甲19 68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lisitsa}和\textit{A.P.Nemytykh},程序。计算。柔和。36,第3号,157--165(2010;Zbl 1253.68089);译自Programmirovanie 36,No.3(2010) 全文: 内政部
埃琳娜·谢尔曼;布雷迪·J·加文。;马修·德怀尔。 基于类型的部分订单的基于切片的决策过程。 (英文) 兹比尔1291.68268 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,156-170(2010)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Sherman}等人,Lect。注释计算。科学。6173、156-170(2010年;Zbl 1291.68268) 全文: 内政部
劳拉·博奇;斯蒂芬·戈顿;斯蒂芬·雷夫·马加尼科 从StPowla流程到SRML模型。 (英文) Zbl 1213.68217号 正式Asp。计算。 22,编号3-4,243-268(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bocchi}等人,《正式Asp》。计算。22,No.3--4,243--268(2010;Zbl 1213.68217) 全文: 内政部 哈尔
萨米拉·塔沙罗菲;马尔詹·西尔贾尼 使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 (英文) Zbl 1347.68240号 Canal,Carlos(ed.)等人,《第七届协调语言和软件架构基础国际研讨会论文集》(FOCLASA 2008),冰岛雷克雅未克,2008年7月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第2期,155-174(2009)。MSC公司:60年第68季度 68英里11 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Tasharofi}和\textit{M.Sirjani},电子。注释Theor。计算。科学。229,第2号,155--174(2009;Zbl 1347.68240) 全文: 内政部
佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔 定时计数器系统的可达性。 (英文) Zbl 1347.68255号 Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239167-178(2009)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bouchy}等人,电子。注释Theor。计算。科学。239167--178(2009年;Zbl 1347.68255) 全文: 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇 基于轻量级SMT的模型检查。 (英文) Zbl 1335.68138号 Miller,Alice(编辑)等人,《第八届关键系统自动验证国际研讨会论文集》(AVoCS 2008),英国格拉斯哥,2008年9月30日至10月1日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记250,第2期,85-102(2009)。MSC公司:60年第68季度 68问题85 68吨15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}等人,《电子》。注释Theor。计算。科学。250,第2号,85--102(2009;Zbl 1335.68138) 全文: 内政部
怀、金鹏;邓婷;李宪贤;杜宗霞;郭慧鹏 AutoSyn:一种新的方法,用于自动合成具有正确性保证的复合web服务。 (英文) Zbl 1191.68816号 科学。中国,Ser。F类 52,第9期,1534-1549(2009).MSC公司:68单位35 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Huai}等人,科学。中国,Ser。F 52,编号9,1534--1549(2009;Zbl 1191.68816) 全文: 内政部