阿纳希塔·埃斯拉米·拉德;让-皮埃尔·马格诺;恩里克·雷耶斯。;弗拉基米尔·鲁布佐夫 考古学和广义Kadomtsev-Petviashvili等级。 (英语) Zbl 07807752号 Magnot,Jean-Pierre(编辑),差异及其应用的最新进展。2022年7月18日至20日,法国格勒诺布尔格勒诺布尔阿尔卑斯大学AMS-EMS-SMF特别会议。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。794, 211-222 (2024).MSC公司:37公里30 37K10型 05年12月12日 35平方米 35S35个 第22页,共65页 35兰特 58A20型 58J15型 PDF格式BibTeX公司 XML格式引用 \textit{A.Eslami-Rad}等人,康特姆。数学。794,211-222(2024;Zbl 07807752) 全文: 内政部
莫希特·特克里瓦尔;安德鲁·W·阿佩尔。;阿里尔·凯利森(Ariel E.Kellison)。;大卫·宾德尔;Jeannin、Jean-Baptiste 验证了平稳迭代线性解算器的正确性、准确性和收敛性:Jacobi方法。 (英语) Zbl 07810733号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。14101, 206-221 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Tekriwal}等人,Lect。票据计算。科学。14101206-221(2023;Zbl 07810733) 全文: 内政部
乔纳斯·拜耳;阿列克谢·戈纳斯;克里斯托夫·本兹穆勒;Dana S.斯科特。 Isabelle/HOL中的范畴理论是元逻辑研究的基础。 (英语) Zbl 07810724号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。14101, 69-83 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.Bayer}等人,Lect。票据计算。科学。14101、69-83(2023;Zbl 07810724) 全文: 内政部 arXiv公司
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;加布里埃尔·费雷拉·席尔瓦;特默尔库西亚;丹尼尔·南特斯·索布里尼奥 标称AC匹配。 (英语) Zbl 07810723号 Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。14101, 53-68 (2023).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Lect。票据计算。科学。14101、53-68(2023;Zbl 07810723) 全文: 内政部
乔纳森·鲍文(Jonathan P.Bowen)。;朱慧彪 何继峰(Jifeng He)在牛津大学及以后:一种欣赏。 (英语) Zbl 07810649号 Bowen,Jonathan P.(编辑)等人,《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆:斯普林格。莱克特。票据计算。科学。14080, 3-18 (2023).MSC公司:2003年8月 01A70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}和\textit{H.Zhu},Lect。票据计算。科学。14080,3-18(2023;Zbl 07810649) 全文: 内政部
奥利弗·舍恩;Van Huijgevoort,Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼 海报摘要:参数随机系统的数据驱动的正确设计控制。 (英语) Zbl 07807963号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Schön}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号文件,第2页(2023;Zbl 07807963) 全文: 内政部 链接
劳拉·科瓦奇 自动程序推理中的符号计算。 (英语) Zbl 1529.68080号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。14000, 3-9 (2023).MSC公司:68号30 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács},莱克特。票据计算。科学。14000,3-9(2023年;兹比尔1529.68080) 全文: 内政部
傅洁 关于利用不完美观察者的近乎真实的意图欺骗计划。 (英语) Zbl 1529.68063号 Fang,Fei(编辑)等,《安全决策与博弈论》。第13届国际会议,2022年10月26日至28日,美国宾夕法尼亚州匹兹堡,GameSec 2022。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13727, 67-86 (2023).MSC公司:68平方米25 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu},莱克特。票据计算。科学。13727,67-86(2023;Zbl 1529.68063) 全文: 内政部 arXiv公司
T·卡利亚尼。;萨西卡拉,K。;D.G.托马斯。;Bhuvaneswari,K。 辅助部分数组标记Petri网结构。 (英语) Zbl 1528.68255号 Barneva,Reneta P.(编辑)等人,组合图像分析。第21届国际研讨会,IWCIA 2022,墨西拿,意大利,2022年7月13日至15日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13348, 189-203 (2023).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kalyani}等人,Lect。票据计算。科学。13348,189--203(2023;Zbl 1528.68255) 全文: 内政部
吉野,Masafumi 一类哈密顿系统的可移动奇异点解。 (英语) Zbl 1515.37063号 Filipuk,Galina(编辑)等人,微分方程形式和解析解的最新趋势。2021年6月28日至7月2日,西班牙阿尔卡德赫纳雷斯阿尔卡拉大学虚拟会议。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。782, 207-218 (2023).MSC公司:37J65型 34米25 34立方米 34立方米 40立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.吉野},康提。数学。782207-218(2023年;兹比尔1515.37063) 全文: 内政部
皮埃尔·奇维特;玛丽亚·波托普·布图卡鲁 简要声明:概率动态输入/输出自动机。 (英语) Zbl 07824288号 Milani,Alessia(ed.)等人,《第41届ACM分布式计算原理研讨会论文集》,PODC’22,意大利萨勒诺,2022年7月25日至29日。纽约州纽约市:计算机协会(ACM)。378-380 (2022).MSC公司:64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{P.Civit}和\textit{M.Potop-Butucaru},in:第41届ACM分布式计算原理研讨会论文集,PODC’22,意大利萨勒诺,2022年7月25-29日。纽约州纽约市:计算机协会(ACM)。378-380(2022年;兹bl 07824288) 全文: 内政部
阿波法兹·拉瓦伊;路易吉·迪·利洛;玛格丽塔·阿泽伊;安德烈·塞西;埃米利奥·弗拉佐利 海报摘要:具有正式保证的自动车辆碰撞风险的数据驱动估计。 (英语) Zbl 07807735号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2022;Zbl 07807735) 全文: 内政部
亚瑟·克莱维尔;劳拉·阿尔蒂莉·桑巴托洛美;埃里克·阿塞林;克里斯托夫·加里昂;克莱尔·佩吉蒂 基于机器学习的网络物理系统的验证:一项比较研究。 (英语) Zbl 07807730号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第22号论文,第16页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Clavière}et al.,in:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第22号论文,16页(2022;Zbl 07807730) 全文: 内政部 哈尔
乔治·阿赞;安托万·吉拉德;保罗·梅森;卢卡·格雷科 具有(ω)-正则切换序列的离散时间切换线性系统的稳定性。 (英语) Zbl 07807721号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第13号论文,第7页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Aazan}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。论文编号13,第7页(2022;Zbl 07807721) 全文: 内政部 哈尔
奎西·拉特利奇;内克米耶·奥扎伊 使用双线性优化对未知线性系统进行正确构造的探索和开发。 (英语) Zbl 07807716号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第8号文件,第11页(2022)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.Rutledge}和\textit{N.Ozay},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第8号论文,第11页(2022;Zbl 07807716) 全文: 内政部
法布里奇奥·罗马诺·基诺维塞;福斯科·洛雷吉安;丹尼尔·帕洛姆比 有界Petri网的范畴语义。 (英语) Zbl 1530.68192号 Kishida,Kohei(编辑),《2021年第四届应用范畴理论国际会议论文集》,ACT 2021,英国剑桥,2021年7月12-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37259-71(2022)。MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Genovese}等人,《电子》。程序。西奥。计算。科学。(EPTCS)372,59--71(2022;Zbl 1530.68192) 全文: arXiv公司 链接
哈达尔·弗兰克尔;莎莱·申瓦尔德 可实现且无上下文的超语言。 (英语) Zbl 1530.68191号 Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)370114-130(2022)。MSC公司:68问题85 第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}和\textit{S.Sheinvald},电子。程序。西奥。计算。科学。(EPTCS)370114-130(2022年;Zbl 1530.68191) 全文: arXiv公司 链接
Larsen,Kim G。;克里斯蒂安·席林;吉·斯尔巴 形式化方法中的模拟关系和应用。 (英语) Zbl 1528.68188号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。13660, 272-291 (2022).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。票据计算。科学。13660272--291(2022年;Zbl 1528.68188) 全文: 内政部
班杜卡拉,M.H。;北卡罗来纳州齐夫列科斯。 新生注册自动机的即时双相似性检查。 (英语) Zbl 1528.68172号 Dong,Wei(编辑)等人,可靠软件工程。理论、工具和应用。第八届国际研讨会,SETTA 2022,中国北京,2022年10月27日至29日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13649, 187-204 (2022).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Bandukara}和\textit{N.Tzevelekos},莱克托。票据计算。科学。13649187-204(2022年;Zbl 1528.68172) 全文: 内政部
丹尼斯·菲尔索夫;斯文·劳尔;叶卡捷琳娜·朱奇科 基于比较的承诺不延展性不令人满意。 (英语) 兹伯利07719832 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13572, 188-194 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Firsov}等人,Lect。票据计算。科学。13572、188--194(2022;Zbl 07719832) 全文: 内政部
穆萨布·阿尔图尔基。;塔贾纳Ban Kirigin;马克斯·卡诺维奇;Vivek Nigam先生;安德烈·斯切德罗夫;卡罗琳·塔尔科特 关于网络物理系统弹性问题的形式化和计算复杂性。 (英语) Zbl 07719827号 Seidl,Helmut(编辑)等人,《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会,格鲁吉亚第比利斯,2022年9月27日至29日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13572, 96-113 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.A.Alturki}等人,Lect。票据计算。科学。13572,96-113(2022;Zbl 07719827) 全文: 内政部
马库斯·弗洛姆;Steffen,伯恩哈德 从语言到行为再到行为。 (英语) Zbl 1524.68170号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。13560, 180-200 (2022).MSC公司:65年第68季度 68问题32 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Frohme}和\textit{B.Steffen},莱克特。票据计算。科学。13560、180-200(2022年;Zbl 1524.68170) 全文: 内政部
牧场克利夫兰 通过进程代数实现更好的自动化。 (英语) Zbl 1524.68168号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。13560, 116-136 (2022).MSC公司:65年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.克利夫兰},莱克特。票据计算。科学。13560、116--136(2022年;Zbl 1524.68168) 全文: 内政部 arXiv公司
伊迪丝·赫玛斯潘德拉;大卫·E·纳瓦兹(David E.Narváez)。 NFA等价的形式化方法:QBF、见证提取和编码验证。 (英语) Zbl 07691303号 Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13467, 241-255 (2022).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{E.Hemaspandra}和\textit{D.E.Narváez},莱克托。票据计算。科学。13467,241--255(2022;Zbl 07691303) 全文: 内政部
奥尔德罗格,恩斯特·吕迪格;Steffen,伯恩哈德;易、王 模型检查、综合和学习。 (英语) Zbl 1522.68339号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。13030, 1-7 (2022).MSC公司:60年第68季度 68问题32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人,Lect。票据计算。科学。13030,1--7(2022;Zbl 1522.68339) 全文: 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;乔纳森·德卡斯特罗;内克米耶·奥扎伊 使用STL公式对驾驶行为进行分类:一项比较研究。 (英语) Zbl 07643433号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。2022年9月13日至15日,第20届国际会议,FORMATS 2022,波兰华沙。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13465, 153-162 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Karagulle}等人,Lect。票据计算。科学。13465,153--162(2022;Zbl 07643433) 全文: 内政部 链接
安德烈亚·佩鲁福;埃梅琳·圭;帕特里克·帕尼西奇;亚历山德罗·阿巴特 基于模型的太阳能网格动力学形式可靠性分析。 (英语) Zbl 1504.93150号 Zattoni,Elena(编辑)等人,第15届欧洲先进控制和诊断研讨会,ACD 2019。研讨会记录,2019年11月21日至22日,意大利博洛尼亚。查姆:斯普林格。莱克特。票据控制信息科学–程序。,1117-1138(2022年)。MSC公司:93磅70 93B52号 93C80号 PDF格式BibTeX公司 XML格式引用 \textit{A.Peruffo}等人,in:第15届欧洲先进控制和诊断研讨会,ACD 2019。研讨会记录,2019年11月21日至22日,意大利博洛尼亚。查姆:斯普林格。1117--1138(2022年;Zbl 1504.93150) 全文: 内政部
丹尼斯·贝诺伊斯 介绍(p)-adic Hodge理论。 (英语) Zbl 1498.11001号 Banerjee,Debargha(编辑)等人,《完美空间》。2019年9月9日至20日,在印度班加罗尔举行的会议上,根据会议上的陈述选择论文。新加坡:斯普林格。Infosys科学。已找到。序列号。,69-219 (2022).MSC公司:11-01 14-01 第11章第15节 14楼30 11平方英寸 14G20(二十国集团) 11层80 14升05 11层85 14G45型 14C30号 PDF格式BibTeX公司 XML格式引用 \textit{D.Benois},in:完美空间。2019年9月9日至20日,在印度班加罗尔举行的会议上,根据会议上的陈述选择论文。新加坡:斯普林格。69-219(2022年;Zbl 1498.11001) 全文: 内政部
乌尔斯·哈特尔;拉杰尼什·库马尔·辛格 关于局部shtukas和可分割局部Anderson模的简短综述。 (英语) Zbl 1498.14117号 Banerjee,Debargha(编辑)等人,《完美空间》。2019年9月9日至20日,在印度班加罗尔举行的会议上,根据会议上的陈述选择论文。新加坡:斯普林格。Infosys科学。已找到。序列号。,51-68 (2022).MSC公司:14升05 2011年9月 14G45型 13A35型 14楼30 14升15 14G20(二十国集团) 11平方英寸 PDF格式BibTeX公司 XML格式引用 \textit{U.Hartl}和\textit{R.K.Singh},in:完美空间。2019年9月9日至20日,在印度班加罗尔举行的会议上,根据会议上的陈述选择论文。新加坡:斯普林格。51-68(2022年;Zbl 1498.14117) 全文: 内政部
维克托·科门科;马西耶·库特尼;亚历克斯·雅科夫列夫 避免控制流的Petri网模型中的指数爆炸。 (英语) Zbl 1499.68227号 Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13288, 261-277 (2022).MSC公司:68问题85 65年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人,Lect。票据计算。科学。13288、261--277(2022;Zbl 1499.68227) 全文: 内政部 链接
比尼特·戈什;埃蒂安·安德烈 使用不确定线性动力系统对分散的不确定日志进行离线和在线监测。 (英语) Zbl 1499.68036号 Mousavi,Mohammad Reza(编辑)等人,分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议,FORTE 2022,作为第17届分布式计算技术国际联合会议的一部分,于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13273, 67-87 (2022).MSC公司:64岁以下 93立方厘米83 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghosh}和\textit{E.André},莱克特。票据计算。科学。13273,67-87(2022;Zbl 1499.68036) 全文: 内政部 arXiv公司
Shreesha G.巴特。;卡提克·纳加尔 简要声明:自动化和机械化分布式协议参数化验证的截止证明。 (英语) Zbl 07774299号 Gilbert,Seth(编辑),第35届分布式计算国际研讨会,DISC 2021,德国弗莱堡(虚拟会议),2021年10月4日至8日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。209,第48条,第4页(2021年)。MSC公司:64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Bhat}和\textit{K.Nagar},LIPIcs——莱布尼茨国际程序。通知。209,第48条,第4页(2021;Zbl 07774299) 全文: 内政部
弗洛里安·布鲁斯;马丁·兰格 一种可判定的非正则模态不动点逻辑。 (英语) Zbl 07730625号 Haddad,Serge(编辑)等人,第32届并发理论国际会议,CONCUR 20212021年8月24日至27日,虚拟会议。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。203,第23条,第18页(2021年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格},LIPIcs——莱布尼茨国际程序。通知。203,第23条,第18页(2021;Zbl 07730625) 全文: 内政部
徐明;梅静怡;关、吉;于能坤 模型检验量子连续时间马尔可夫链。 (英语) Zbl 07730615号 Haddad,Serge(编辑)等人,第32届并发理论国际会议,CONCUR 20212021年8月24日至27日,虚拟会议。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。203,第13条,第17页(2021年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,LIPIcs——莱布尼茨国际程序。通知。203,第13条,第17页(2021;Zbl 07730615) 全文: 内政部 arXiv公司
米歇尔·帕斯夸;马里诺·米库兰 关于AbU系统的安全性。 (英语) Zbl 1522.68370号 Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13085178-198(2021年)。MSC公司:68问题85 68英里11 68平方米25 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan},莱克特。票据计算。科学。13085、178--198(2021;Zbl 1522.68370) 全文: 内政部
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 特色团队自动机。 (英语) Zbl 1521.68082号 Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13047483-502(2021)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。票据计算。科学。13047483--502(2021;Zbl 1521.68082) 全文: 内政部 arXiv公司 链接
曼弗雷德·布罗伊 根据可实现性细化时间属性的安全活性分类。 (英语) Zbl 1520.68070号 Bartocci,Ezio(编辑)等人,《外层空间的形式方法》。纪念克劳斯·哈维隆德65岁生日的文章。查姆:斯普林格。莱克特。票据计算。科学。13065, 10-31 (2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},莱克特。票据计算。科学。13065,10--31(2021;Zbl 1520.68070) 全文: 内政部
布鲁诺·本岑 模态逻辑S5的亨金式完备性证明。 (英语) Zbl 07671034号 彼得罗·巴罗尼(编辑)等人,《逻辑与论证》。第四届国际会议,CLAR 2021,中国杭州,2021年10月20日至22日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13040, 459-467 (2021).MSC公司:03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bentzen},莱克特。票据计算。科学。13040、459--467(2021;Zbl 07671034) 全文: 内政部 arXiv公司
沃尔特·古特曼;尼古拉斯·罗宾森·奥布莱恩 Borůvka最小生成树算法的关系代数验证。 (英语) Zbl 07670521号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13027, 225-240 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}和\textit{N.Robinson-O'Brien},莱克特。票据计算。科学。13027225-240(2021;Zbl 07670521) 全文: 内政部
阿卜杜拉扎克·阿巴;安娜·卡瓦尔坎蒂;杰里米·雅各布 通过将tock-CSP自动转换为时间自动机进行时间推理。 (英语) Zbl 1498.68147号 Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13130, 70-86 (2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Abba}等人,Lect。票据计算。科学。13130,70-86(2021;Zbl 1498.68147) 全文: 内政部 arXiv公司
卡尔蒂基扬·巴尔干;阿比舍克省比什哈瓦特;Quoc Huy Do公司;佩德拉姆·霍塞尼;拉尔夫·库斯特斯;吉多·施密茨;蒂姆·沃特尔 (\mathsf{DY}^{star}\)的辅导式介绍。 (英语) Zbl 1498.94055号 Daniel Dougherty(编辑)等人,《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。13066, 77-97 (2021).MSC公司:94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Lect。票据计算。科学。13066,77--97(2021;Zbl 1498.94055) 全文: 内政部
Dokter,Kasper公司;法哈德·阿尔巴 协议调度。 (英语) Zbl 1496.68097号 Hojjat,Hossein(编辑)等人,《软件工程基础》,第九届国际会议,FSEN 2021,虚拟活动,2021年5月19日至21日。修订了选定的论文。查姆:斯普林格。莱克特。票据计算。科学。12818, 3-17 (2021).MSC公司:68甲19 68平方米 65年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}和\textit{F.Arbab},Lect。票据计算。科学。12818,3-17(2021;Zbl 1496.68097) 全文: 内政部 链接
努尔·埃胡达·苏伊德;凯斯·克莱 一种新的监督合成方法,用于增强离散事件系统的不透明度。 (英语) Zbl 1496.68195号 Gao,Debin(编辑)等人,《信息和通信安全》。第23届国际会议,ICICS 2021,中国重庆,2021年11月19-21日。诉讼程序。第二部分。查姆:斯普林格。莱克特。票据计算。科学。12919, 210-227 (2021).MSC公司:60年第68季度 68平方米25 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{N.E.Souid}和\textit{K.Klai},莱克特。票据计算。科学。12919,210-227(2021;Zbl 1496.68195) 全文: 内政部
尤卡斯·马祖雷克 EthVer:随机以太坊智能合约的正式验证。 (英语) Zbl 1490.91255号 Bernhard,Matthew(编辑)等人,《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC,虚拟活动,2021年3月5日。修订了选定的论文。柏林:斯普林格。莱克特。票据计算。科学。12676, 364-380 (2021).MSC公司:91克99 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Mazurek},莱克特。票据计算。科学。12676364--380(2021年;Zbl 1490.91255) 全文: 内政部
汤姆·沃克;阿德琳德·M·乌尔马赫。 基于规则的建模语言中的非线性模式匹配。 (英语) Zbl 1491.92067号 Cinquemani,Eugenio(编辑)等人,《系统生物学中的计算方法》。第19届国际会议,CMSB 2021,波尔多,法国,2021年9月22日至24日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12881, 198-214 (2021).MSC公司:92立方厘米 92C40型 92-08 PDF格式BibTeX公司 XML格式引用 \textit{T.Warnke}和\textit{A.M.Uhrmacher},莱克特。票据计算。科学。12881198-214(2021年;Zbl 1491.92067) 全文: 内政部
吉田、Nobuko;周方毅;弗朗西斯科·费雷拉 通信有限状态机和多方会话类型的可扩展工具链。 (英语) Zbl 1487.68168号 Bampis,Evripidis(编辑)等人,《计算理论基础》。第23届国际研讨会,FCT 2021,希腊雅典,2021年9月12-15日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12867, 18-35 (2021).MSC公司:68问题85 68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Yoshida}等人,Lect。票据计算。科学。12867,18-35(2021;Zbl 1487.68168) 全文: 内政部
Kulkarni,Abhishek N。;傅洁 图上的超游戏理论,用于用欺骗合成动态网络防御。 (英语) Zbl 07526400号 Charles A.Kamhoua(编辑)等人,《网络安全的博弈论和机器学习》。新泽西州皮斯卡塔韦:IEEE出版社;新泽西州霍博肯:John Wiley&Sons。97-112 (2021).MSC公司:68平方米25 68T05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Kulkarni}和\textit{J.Fu},in:网络安全的博弈论和机器学习。新泽西州皮斯卡塔韦:IEEE出版社;新泽西州霍博肯:约翰·威利父子公司。97-112(2021;Zbl 07526400) 全文: 内政部 arXiv公司
马里诺·米库兰;米歇尔·帕斯夸 基于属性的内存更新演算。 (英语) Zbl 07500654号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2021》。2021年9月8日至10日,哈萨克斯坦努尔苏尔坦,第18届国际学术讨论会,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12819, 366-385 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Miculan}和\textit{M.Pasqua},莱克特。票据计算。科学。12819、366--385(2021;Zbl 07500654) 全文: 内政部
埃蒂安·安德烈 模仿者3:超越可判定性的时序参数合成。 (英语) Zbl 1493.68202号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12759, 552-565 (2021).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃里·安德烈},莱克特。票据计算。科学。12759、552--565(2021;Zbl 1493.68202) 全文: 内政部
林海;克里斯托弗·林奇 符号真实性的形式分析。 (英语) Zbl 07497927号 Konev,Boris(编辑)等人,《组合系统的前沿》。第十三届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8-10日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12941, 271-286 (2021).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin}和\textit{C.Lynch},莱克特。票据计算。科学。12941、271--286(2021;Zbl 07497927) 全文: 内政部
雷米鹦鹉;米卡·布莱迪;奥利维尔·H·鲁克斯。 用于流水线同步电路设计的带重置的定时Petri网。 (英语) Zbl 1489.68166号 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12734, 55-75 (2021).MSC公司:68问题85 2006年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Parrot}等人,Lect。票据计算。科学。12734、55-75(2021年;Zbl 1489.68166) 全文: 内政部 哈尔
杰罗姆·勒鲁 扁平Petri网(受邀演讲)。 (英语) Zbl 1489.68164号 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12734, 17-30 (2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.勒鲁},勒克特。票据计算。科学。12734,17-30(2021;Zbl 1489.68164) 全文: 内政部 哈尔
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;Alireza Rezvanian公司;穆罕默德·礼萨 具有可变数量人口的多人口方法中的功能管理:可变行动学习自动机方法。 (英语) Zbl 1485.68325号 Kordestani、Javidan Kazemi(编辑)等人,《学习自动机和智能优化的进展》。查姆:斯普林格。智力。系统。参考图书馆。208, 323-340 (2021).MSC公司:68瓦50 65年第68季度 68T05型 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人,《情报》。系统。参考图书馆。208、323--340(2021;Zbl 1485.68325) 全文: 内政部
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;Alireza Rezvanian公司;穆罕默德·礼萨 用于动态优化问题的进化多种群方法中在线功能评估管理的学习自动机。 (英语) Zbl 1485.68324号 Kordestani、Javidan Kazemi(编辑)等人,《学习自动机和智能优化的进展》。查姆:斯普林格。智力。系统。参考图书馆。208, 287-321 (2021).MSC公司:68瓦50 65年第68季度 68T05型 68T20型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人,《情报》。系统。参考图书馆。208287--321(2021;Zbl 1485.68324) 全文: 内政部
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;Alireza Rezvanian公司;穆罕默德·礼萨 进化计算中用于行为控制的学习自动机。 (英语) 兹比尔1485.68219 Kordestani、Javidan Kazemi(编辑)等人,《学习自动机和智能优化的进展》。查姆:斯普林格。智力。系统。参考图书馆。208, 127-157 (2021).MSC公司:68T05型 65年第68季度 68瓦50 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人,《情报》。系统。参考图书馆。208127-157(2021;Zbl 1485.68219) 全文: 内政部
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;Alireza Rezvanian公司;穆罕默德·礼萨 用于优化的元胞自动机、学习自动机和元胞学习自动机。 (英语) 兹比尔1485.68218 Kordestani、Javidan Kazemi(编辑)等人,《学习自动机和智能优化的进展》。查姆:斯普林格。智力。系统。参考图书馆。208, 75-125 (2021).MSC公司:68T05型 65年第68季度 68问题80 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人,《情报》。系统。参考图书馆。208,75-125(2021;Zbl 1485.68218) 全文: 内政部
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;Alireza Rezvanian公司;穆罕默德·礼萨 学习自动机及其优化变体:文献计量分析。 (英语) Zbl 1485.68217号 Kordestani、Javidan Kazemi(编辑)等人,《学习自动机和智能优化的进展》。查姆:斯普林格。智力。系统。参考图书馆。208, 51-73 (2021).MSC公司:68T05型 01A90号 65年第68季度 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人,《情报》。系统。参考图书馆。208、51-73(2021年;Zbl 1485.68217) 全文: 内政部
贾维丹·卡泽米·科尔德斯塔尼;迈赫迪·拉扎波·米萨利赫;Alireza Rezvanian公司;穆罕默德·礼萨 学习自动机和优化简介。 (英语) Zbl 1485.68216号 Kordestani、Javidan Kazemi(编辑)等人,《学习自动机和智能优化的进展》。查姆:斯普林格。智力。系统。参考图书馆。208, 1-50 (2021).MSC公司:68T05型 65年第68季度 68问题80 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Kordestani}等人,《情报》。系统。参考图书馆。208,1-50(2021;Zbl 1485.68216) 全文: 内政部
克莱门·奥伯特;多里亚娜·梅迪奇 可逆并发演算中的显式标识符和上下文。 (英语) Zbl 1476.68093号 Yamashita,Shigeru(编辑)等人,可逆计算。第13届国际会议,RC 2021,虚拟活动,2021年7月7日至8日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12805, 144-162 (2021).MSC公司:2009年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{D.Medić},莱克特。票据计算。科学。12805、144--162(2021;Zbl 1476.68093) 全文: 内政部 arXiv公司 链接
达米安·卡拉奎;朱利安·格里沃 形式模问题和形式派生堆栈。 (英语。法语摘要) Zbl 1472.14004号 Ben-Zvi,David等人,衍生代数几何。巴黎:法国数学协会(SMF)。帕诺。合成。55, 85-145 (2021).MSC公司:14A30型 13日第10天 14A20型 14B10型 14日第15天 14D20日 18号40 14-02 PDF格式BibTeX公司 XML格式引用 \textit{D.Calaque}和\textit{J.Grivaux},帕诺。合成。55、85——145(2021;Zbl 1472.14004) 全文: arXiv公司
凯文·塞拉亚;维罗尼克·侯赛因 点变换:量子含时质量非稳态振荡器的精确解。 (英语) Zbl 1471.81024号 Paranjape,M.B.(编辑)等人,《量子理论与对称性》。2019年7月1日至5日,加拿大蒙特利尔,第十一届国际研讨会会议记录。查姆:斯普林格。CRM服务。数学。物理。,295-303 (2021).MSC公司:2005年第81季度 2011年第35季度 2010年第81季度 81U15型 14日第15天 81卢比 PDF格式BibTeX公司 XML格式引用 \textit{K.Zelaya}和\textit{V.Hussin},in:量子理论和对称性。第十一届国际研讨会会议记录,2019年7月1日至5日,加拿大蒙特利尔。查姆:斯普林格。295--303(2021;Zbl 1471.81024) 全文: 内政部 arXiv公司
鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采 异步共享内存程序的一般可判定性结果:高阶及更高阶。 (英语) Zbl 1467.68040号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12651, 449-467 (2021).MSC公司:68号30 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,Lect。票据计算。科学。12651449-467(2021年;兹比尔1467.68040) 全文: 内政部 arXiv公司
乔治·乔贾泽;斯特凡·泰森 变形2d CFT中的正则映射和可积性。 (英语) Zbl 1471.81083号 Novikov,Sergey(编辑)等人,《可积性、量子化和几何I.可积系统》。1950-2019年纪念鲍里斯·杜布罗文。普罗维登斯,RI:美国数学学会(AMS)。程序。交响乐团。纯数学。103,第1部分,217-237(2021)。MSC公司:第81页第40页 14日第15天 35G15型 81T30型 81T70型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jorjadze}和\textit{S.Theisen},程序。交响乐团。纯数学。103、217--237(2021;Zbl 1471.81083) 全文: arXiv公司
吉尔·埃克;马丁·施利钦梅尔 具有自然模值的Witt代数和Virasoro代数的低维代数上同调。 (英语) Zbl 1475.17033号 Fialowski,Alice(编辑)等,同伦代数,变形理论和量子化。根据2018年9月16日和22日在波兰波兹南举行的会议上的发言选出的论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。123, 141-174 (2021). 审核人:弗里德里希·瓦格曼(南特) MSC公司:17B56号 17B68号 17B65型 17B66型 14日第15天 81兰特 第81页第40页 PDF格式BibTeX公司 XML格式引用 \textit{J.Ecker}和\textit{M.Schlichenmaier},巴纳赫中心。出版物。123、141--174(2021年;Zbl 1475.17033) 全文: 内政部 链接
马尔科·瓦西奇;大卫·索洛维奇克;萨尔夫拉兹·库希德 暴露的CRNs:系统探索化学反应网络的方法。 (英语) Zbl 07756098号 Geary,Cody(编辑)等人,第26届DNA计算和分子编程国际会议。DNA 262020年9月14日至17日,英国牛津,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。174,第4条,第25页(2020年)。MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Vasic}等人,LIPIcs——莱布尼茨国际程序。通知。174,第4条,第25页(2020;兹bl 07756098) 全文: 内政部 arXiv公司
Larsen,Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 扩展时间自动机的紧急部分降阶。 (英语) Zbl 1517.68259号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12302, 179-195 (2020).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Lect。票据计算。科学。12302179--195(2020年;Zbl 1517.68259) 全文: 内政部
塞尔吉奥·费奥·阿雷尼斯;米兰武吉诺维奇;伯恩德·韦斯特法尔 关于可实现的时间自动机。 (英语) Zbl 1511.68029号 Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12136, 78-95 (2020).MSC公司:64岁以下 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Feo-Arenis}等人,Lect。票据计算。科学。12136,78-95(2020;Zbl 1511.68029) 全文: 内政部
Sreeja S.奈尔。;古斯塔沃·佩特里;马克·夏皮罗 证明高可用分布式对象的安全性。 (英语) Zbl 1508.68248号 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12075, 544-571 (2020).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Nair}等人,Lect。票据计算。科学。12075、544--571(2020;Zbl 1508.68248) 全文: 内政部
莫滕·克罗格·杰斯佩森;阿明·蒂曼尼;玛丽特·埃德娜·奥伦布施;西蒙·奥德谢德·格雷格森;拉尔斯·比克达尔 Aneris:分布式系统模块化推理的机械化逻辑。 (英语) 兹比尔1508.68246 Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12075, 336-365 (2020).MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Krogh-Jespersen}等人,Lect。票据计算。科学。12075、336--365(2020年;Zbl 1508.68246) 全文: 内政部
雨果·A·洛佩兹。;瑟伦·德博伊斯;斯莱亚特,蒂杰斯;托马斯·希尔德布兰特。 使用法律参考模型遵守业务流程。 (英语) Zbl 1507.68215号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12076, 378-399 (2020).MSC公司:68问题85 60年第68季度 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{H.A.López}等人,Lect。票据计算。科学。12076378--399(2020年;Zbl 1507.68215) 全文: 内政部
亚历山大·克努佩尔;英加贾兹科夫斯基;马库斯·诺尔特;托马斯·图姆;托比亚斯·伦格;伊娜·谢弗 基于技能的网络物理系统验证。 (英语) Zbl 1507.68093号 Wehrheim,Heike(编辑)等人,《软件工程的基本方法》,第23届国际会议,FASE 2020,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2020,爱尔兰都柏林,2020年4月25日至30日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12076, 203-223 (2020).MSC公司:68号30 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Knüppel}等人,Lect。票据计算。科学。12076203-223(2020;Zbl 1507.68093) 全文: 内政部
Wytse Oortwijn公司;玛丽克·赫斯曼;Joosten,Sebastian J.C。;范德波尔(Jaco van de Pol) 自动验证并行嵌套DFS。 (英语) 兹比尔1517.68248 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12078, 247-265 (2020).MSC公司:60年第68季度 68问题85 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{W.Oortwijn}等人,Lect。票据计算。科学。12078,247--265(2020;Zbl 1517.68248) 全文: 内政部
马里乌斯·博兹加;哈维尔·埃斯帕尔扎;拉杜·奥西夫;约瑟夫·西法基斯;克里斯托夫·韦尔泽尔 用于验证具有参数化体系结构的系统的结构不变量。 (英语) Zbl 1507.68179号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12078, 228-246 (2020).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,Lect。票据计算。科学。12078,228--246(2020;Zbl 1507.68179) 全文: 内政部 arXiv公司
奥利维·芬克尔 关于Petri网语言的高复杂性。 (英语) Zbl 1503.68172号 Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12152, 69-88 (2020).MSC公司:65年第68季度 05年3月 2015年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel},莱克特。票据计算。科学。12152,69-88(2020;Zbl 1503.68172) 全文: 内政部
皮埃尔·布维尔;休伯特·加拉维;埃尔南Ponce-de-León 将Petri网自动分解为自动机网络–一个综合账户。 (英语) Zbl 1503.68190号 Janicki,Ryszard(编辑)等人,Petri网和并发的应用和理论。第41届国际会议,PETRI NETS 2020,法国巴黎,2020年6月24日至25日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12152,3-23(2020)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouvier}等人,Lect。票据计算。科学。12152,3--23(2020;Zbl 1503.68190) 全文: 内政部
杰罗姆·勒鲁;格雷戈伊尔·萨特雷 具有状态的二维向量加法系统的可达性:一个测试是免费的。 (英语) Zbl 07559493号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第37条,第17页(2020)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}和\textit{G.Sutre},LIPIcs——莱布尼茨国际程序。通知。171,第37条,第17页(2020;Zbl 07559493) 全文: 内政部 arXiv公司
克莱门·奥伯特;爱荷华州克里斯特斯库 可逆性如何解决传统问题:以遗传历史保护相互模拟为例。 (英语) Zbl 07559463号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第7条,第23页(2020)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{I.Cristescu},LIPIcs——莱布尼茨国际程序。通知。171,第7条,23 p.(2020;Zbl 07559463) 全文: 内政部 arXiv公司
尼尔斯·詹森;贝蒂娜·科尼霍费尔;塞巴斯蒂安·荣格斯;亚历克斯,塞尔维亚人;罗德里克·布洛姆 使用概率屏蔽进行安全强化学习(特邀论文)。 (英语) Zbl 07559459号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第3条,第16页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Jansen}等人,LIPIcs——莱布尼茨国际程序。通知。171,第3条,第16页(2020;兹bl 07559459) 全文: 内政部 arXiv公司
史,程;和崎市Yoneyama 基于比特币智能合约的公平交换正式验证。 (英语) Zbl 1492.91459号 Bhargavan,Karthikeyan(编辑)等人,《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12578, 89-106 (2020).MSC公司:91克99 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.Shi}和\textit{K.Yoneyama},莱克特。票据计算。科学。12578,89-106(2020年;兹比尔1492.91459) 全文: 内政部
奥斯卡·兰德尔·威廉姆斯 Hurwitz空间的同调性和函数域的Cohen-Lenstra启发式[after Ellenberg,Venkatesh,and Westerland]。(同义词des espaces de Hurwitz et l'heuristique de Cohen-Lenstra pour les corps de functions[d’après Ellenberg,Venkatesh et Westerland]。) (英语) Zbl 1469.11208号 塞米纳伊尔·布尔巴吉。第2018/2019卷,1151-1165年博览会。1948年至2018/19年的Avec表作者姓名。巴黎:法国数学协会(SMF)。Astérisque 422469-497,Exp.No.1164(2020)。MSC公司:11G20峰会 11个31 55卢比80 20J05型 14甲10 PDF格式BibTeX公司 XML格式引用 \textit{O.Randal-Williams},Astérisque 422469-497,Exp.No.1164(2020;Zbl 1469.11208) 全文: 内政部 arXiv公司
奥利弗·马克格拉夫;Chih-Duo洪;Anthony W·林。;穆罕默德·纳吉布;丹尼尔·奈德 具有安全性能的参数化合成。 (英语) Zbl 1476.68154号 Oliveira,Bruno C.d.S.(编辑),《编程语言和系统》。2020年11月30日至12月2日,日本福冈,APLAS 2020第18届亚洲研讨会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12470, 273-292 (2020).MSC公司:60年第68季度 68问题32 65年第68季度 68问题85 68T40型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Markgraf}等人,Lect。票据计算。科学。12470273--292(2020年;Zbl 1476.68154) 全文: 内政部 arXiv公司
阿尔贝托·阿兰达·加西亚;玛丽亚·埃米利亚·坎布罗内罗;克里斯蒂安·科伦坡;路易斯·拉纳;戈登·佩斯。 使用Themulus对合同进行运行时验证。 (英语) Zbl 1476.68163号 de Boer,Frank(编辑)等人,《软件工程和形式化方法》。第18届国际会议,SEFM 2020,荷兰阿姆斯特丹,2020年9月14-18日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12310, 231-246 (2020).MSC公司:68问题85 03B45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Aranda GarcíA}等人,Lect。票据计算。科学。12310、231--246(2020年;Zbl 1476.68163) 全文: 内政部
内达·赛德洛伊;费利克斯·克鲁·尼亚克 定时场景的优化。 (英语) Zbl 1475.68193号 卡瓦略、古斯塔沃(编辑)等,《形式方法:基础和应用》。第23届巴西研讨会,SBMF 2020,巴西乌罗普雷托,2020年11月25日至27日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12475, 119-136 (2020).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Saeedloei}和\textit{F.Kluźniak},Lect。票据计算。科学。12475、119--136(2020;Zbl 1475.68193) 全文: 内政部
阿兰·谢尔曼。;埃琳·拉努斯;摩西·利斯科夫;爱德华·齐格勒;理查德·张;埃尼斯·戈拉斯泽夫斯基;瑞安·Wnuk-Fink;Cyrus J.博尼亚迪。;马里奥·雅克塞提格;伊恩·布鲁门菲尔德 安全远程密码协议的形式化方法分析。 (英语) Zbl 07370023号 Nigam,Vivek(编辑)等人,《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。12300, 103-126 (2020).MSC公司:68倍 94-XX年 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Sherman}等人,Lect。票据计算。科学。12300,103-126(2020;Zbl 07370023) 全文: 内政部 arXiv公司
T·卡利亚尼。;萨西卡拉,K。;D.G.托马斯。;罗宾逊,塔姆布拉吉;Nagar,Atulya K。;米纳克希·帕拉马斯万 生成四面体图像语言的三维数组标记Petri网。 (英语) Zbl 1482.68154号 Lukić,Tibor(编辑)等人,《组合图像分析》。第20届国际研讨会,IWCIA 2020,塞尔维亚诺维萨德,2020年7月16-18日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12148, 88-105 (2020).MSC公司:68问题85 2007年第68季度 65年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{T.Kalyani}等人,Lect。票据计算。科学。12148,88-105(2020;Zbl 1482.68154) 全文: 内政部
特梅尔,默特坎;安娜·斯洛博多娃;亨特,沃伦·A·琼。 整数乘数的自动可扩展验证。 (英语) Zbl 1478.68178号 Lahiri,Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12224485-507(2020年)。MSC公司:60年第68季度 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Temel}等人,Lect。票据计算。科学。12224,485--507(2020;Zbl 1478.68178) 全文: 内政部
萨拉·穆罕默德·内贾德;Jyotirmoy V.德斯穆赫。;阿尼鲁德·G·普兰克(Aniruddh G.Puranic)。;马塞尔·瓦兹奎兹·香拉特;亚历山大·唐泽 使用高效枚举技术对时间序列数据进行可解释的分类。 (英语) Zbl 07300850号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第9条,第10页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohammadinejad}等人,《第23届ACM混合系统国际会议论文集:计算与控制》,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第9条,第10页(2020;Zbl 07300850) 全文: 内政部 arXiv公司
克莱门斯,抓斗手;Wan Fokkink公司 1-自由正则表达式模双相似性的一个完整证明系统。 (英语) Zbl 1502.68192号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。465-478 (2020).MSC公司:68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Grabmayer}和\textit{W.Fokkink},摘自:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。465--478(2020年;Zbl 1502.68192) 全文: 内政部 arXiv公司 链接
伊万·托多罗夫 微扰量子场论符合数论。 (英语) Zbl 1444.81029号 Burgos Gil,JoséIgnacio(编辑)等人,《量子场论和算术中的周期》。2014年9月15日至19日在西班牙马德里举行的ICMAT“关于多Zeta值、多对数和量子场论的研究四学期”的成果。查姆:斯普林格。Springer程序。数学。《统计》第314卷第1-28页(2020年)。MSC公司:81T15型 81T18型 14C30号 11国55 11立方米 2015年10月16日 16E45型 PDF格式BibTeX公司 XML格式引用 \textit{I.Todorov},施普林格程序。数学。《法律总汇》第314卷,第1-28页(2020年;兹bl 1444.81029) 全文: 内政部
神户县胜本 卷积产品和复苏。 (英语) Zbl 1451.34109号 Filipuk,Galina(编辑)等人,《复杂微分和差分方程》。2018年9月2日至15日在波兰Będlewo举行的学校会议记录。柏林:De Gruyter。De Gruyter程序。数学。,219-241 (2020). 审核人:帕斯卡·雷米(Carrières-sur-Seine) MSC公司:34立方米 34米25 34米40 PDF格式BibTeX公司 XML格式引用 \textit{S.Kamimoto},in:复杂微分和差分方程。2018年9月2日至15日在波兰Będlewo举行的学校会议记录。柏林:De Gruyter。219--241(2020;Zbl 1451.34109) 全文: 内政部
萨拉·哈姆迪;阿斯玛·本·阿卜杜拉;穆罕默德·赫迪·贝都伊 心电图信号诊断和QRS波群识别的句法方法。 (英语) Zbl 1444.92052号 Naik,Ganesh(编辑),生物医学信号处理。理论、算法和应用的进展。新加坡:斯普林格。序列号。生物工程。,325-355 (2020).MSC公司:92 C55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Hamdi}等人,in:生物医学信号处理。理论、算法和应用的进展。新加坡:斯普林格。325--355(2020;Zbl 1444.92052) 全文: 内政部
艾玛·莱普利;马可·马内蒂 关于交换代数图的变形。 (英语) Zbl 1440.13066号 科伦坡,伊丽莎白(编辑)等人,双有理几何和模空间。2018年6月11日至15日在意大利罗马举行的INdAM研讨会上提交的论文集。查姆:斯普林格。Springer INdAM系列。39, 77-107 (2020).MSC公司:2009年10月13日 14日第15天 18国道35号 14层08 18号40 PDF格式BibTeX公司 XML格式引用 \textit{E.Lepri}和\textit{M.Manetti},Springer INdAM Ser。39、77——107(2020;Zbl 1440.13066) 全文: 内政部 arXiv公司 反向链接: 卫生官员
朱利安·兰格;吉田、Nobuko 通过通信会话自动机验证异步交互。 (英语) Zbl 07805528号 Dillig,Isil(编辑)等人,《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。11561,97-117(2019)。MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Lange}和\textit{N.吉田},莱克特。票据计算。科学。11561,97-117(2019;Zbl 07805528) 全文: 内政部 arXiv公司
马丁·科尔布尔;斯特凡·洛伊;托马斯·维斯 定时系统的时钟限制修复。 (英语) Zbl 07805527号 Dillig,Isil(编辑)等人,《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。11561, 79-96 (2019).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kölbl}等人,Lect。票据计算。科学。11561、79-96(2019年;Zbl 07805527) 全文: 内政部
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森 参数时间自动机中的参数更新。 (英语) Zbl 07800277号 Pérez,Jorge A.(编辑)等人,分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议,2019年FORTE,作为第14届分布式计算技术国际联合会议的一部分,于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11535, 39-56 (2019).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,莱克特。票据计算。科学。11535,39-56(2019;Zbl 07800277) 全文: 内政部 哈尔
阿兰·芬克尔;谢尔盖,哈达德;伊戈尔赫梅利尼茨基 递归Petri网中的可覆盖性和终止性。 (英语) Zbl 07796237号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。票据计算。科学。11522, 429-448 (2019).MSC公司:68问题85 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人,Lect。票据计算。科学。11522、429--448(2019;Zbl 07796237) 全文: 内政部 哈尔
文斯·莫尔纳;伊斯坦·马齐克 用条件局部性增强饱和度:在Petri网中的应用。 (英语) Zbl 07796231号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。票据计算。科学。11522, 342-361 (2019).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Molnár}和\textit{I.Majzik},莱克特。票据计算。科学。11522、342--361(2019;Zbl 07796231) 全文: 内政部
尤利亚·布特科娃;杰里恩·福克斯 并发系统的最优时限可达性分析。 (英语) Zbl 1527.68139号 Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆:斯普林格。莱克特。票据计算。科学。11428, 191-208 (2019).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Butkova}和\textit{G.Fox},莱克特。票据计算。科学。11428191-208(2019年;Zbl 1527.68139) 全文: 内政部
丹尼尔·奈德;瑞克·斯梅特瑟;Vaandrager,Frits公司;哈科·库彭斯 自动化学习和一致性测试的基准。 (英语) Zbl 1519.68122号 Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。11200, 390-416 (2019).MSC公司:65年第68季度 68问题32 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,Lect。票据计算。科学。11200,390--416(2019;Zbl 1519.68122) 全文: 内政部
约翰内斯·加里斯;杰拉尔德·吕特根;艾琳·辛科;沃尔特·福格勒 共享内存的接口自动机。 (英语) Zbl 1519.68118号 Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。11200, 151-166 (2019).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Gareis}等人,Lect。票据计算。科学。11200,151-166(2019年;兹bl 1519.68118) 全文: 内政部 链接