:facetid:toc:\“db/conf/savirthy/vaandrager2022.bht\” 好 啊 :facetid:toc:db/conf/birthy/vaandrager2022.bht Wil M.P.van der Aalst先生直接从事件数据中发现完整的Petri网。从过程代数到时间自动机到模型学习的旅程539-5582022会议和研讨会文件关闭conf/生日/Aalst2210.1007/978-3-031-15629-8_29https://doi.org/10.1007/978-3-031-15629-8-29https://dblp.org/rec/conf/birthday/Aalst22 网址:889586 卢卡·埃特罗埃利·阿纳斯塔西亚迪瓦伦蒂娜·卡斯蒂格利奥尼Anna Ingólfsdóttir女士通过约简得到的非有限公理化结果:CSP并行组合和CCS限制。从过程代数到时间自动机到模型学习的旅程1-262022会议和研讨会文件关闭conf/生日/AcetoACI2210.1007/978-3-031-15629-8_1https://doi.org/10.1007/978-3-031-15629-8_1https://dblp.org/rec/conf/birthday/AcetoACI22 网址:889590 克里斯特尔·拜尔克莱门斯·杜斯拉夫弗洛里安·芬克0002西蒙·扬奇雅各布·皮里鲍尔罗宾·齐梅克操作因果关系-必要且充分必要。从过程代数到时间自动机到模型学习的旅程27-452022会议和研讨会文件关闭conf/生日/BaierDFJPZ2210.1007/978-3-031-15629-8_2https://doi.org/10.1007/978-3-031-15629-8_2https://dblp.org/rec/conf/birthday/BainerDFJPZ22 网址:889602 亨克·巴伦德雷格特安东尼诺·拉夫冯公理化意识与应用。从过程代数到时间自动机到模型学习的旅程46-622022会议和研讨会文件关闭conf/生日/BarendregtR2210.1007/978-3-031-15629-8_3https://doi.org/10.1007/978-3-031-15629-8_3https://dblp.org/rec/conf/birthday/BarendregtR22 网址:889605 简·A·伯格斯特拉约翰·V·塔克对称变换:其等式理论的数据类型和算法程度。从过程代数到时间自动机到模型学习的旅程63-802022会议和研讨会文件关闭conf/生日/BergstraT2210.1007/978-3-031-15629-8_4https://doi.org/10.1007/978-3-031-15629-8_4https://dblp.org/rec/conf/birthday/BergstraT22 网址:889607 Benedikt Bollig公司马丁·勒克丹尼尔·奈德递归神经网络模型学习技术综述。从过程代数到时间自动机到模型学习的旅程81-972022会议和研讨会文件关闭conf/生日/BolligLN2210.1007/978-3-031-15629-8_5https://doi.org/10.1007/978-3-031-15629-8_5https://dblp.org/rec/conf/birthday/BolligLN22 网址:889610 佩特拉·范登博斯玛丽克·赫斯曼测试和程序验证的集成——一份立场文件。从过程代数到时间自动机到模型学习的旅程524-5382022会议和研讨会文件关闭conf/生日/BosH2210.1007/978-3-031-15629-8_28https://doi.org/10.1007/978-3-031-15629-8-28https://dblp.org/rec/conf/birthday/BosH22 网址:889612 文森佐·西安西亚迭戈·拉特拉梅克·马西克埃里克·德文克空间中的前后:关于闭包空间中的逻辑和二相似性。从过程代数到时间自动机到模型学习的旅程98-1152022会议和研讨会文件关闭conf/生日/CianciaLMV2210.1007/978-3-031-15629-8_6https://doi.org/10.1007/978-3-031-15629-8_6https://dblp.org/rec/conf/birthday/CianciaLMV22 网址:889618 兰斯·克莱维兰通过过程代数实现更好的自动化。从过程代数到时间自动机到模型学习的旅程116-1362022会议和研讨会文件关闭conf/生日/Cleaveland2210.1007/978-3-031-15629-8_7https://doi.org/10.1007/978-3-031-15629-8_7https://dblp.org/rec/conf/birthday/Cleaveland网站22 网址:889619 卡洛斯·迭戈·纳西门托(Carlos Diego Nascimento Damasceno)丹尼尔·斯特吕伯0001基于家庭的指纹分析:立场文件。从过程代数到时间自动机到模型学习的旅程137-1502022会议和研讨会文件关闭conf/生日/DamascenoS2210.1007/978-3-031-15629-8_8https://doi.org/10.1007/978-3-031-15629-8_8https://dblp.org/rec/conf/birthday/DamascenoS22 网址:889623 安斯加·芬克学校里有什么中学计算机科学专题地图。从过程代数到时间自动机到模型学习的旅程151-1632022会议和研讨会文件关闭conf/生日/Fehnker2210.1007/978-3-031-15629-8_9https://doi.org/10.1007/978-3-031-15629-8_9https://dblp.org/rec/conf/birthday/Fehnker22 网址:889632 蒂亚戈·费雷拉0001格科·范·海尔特亚历山大·席尔瓦0001基于树的自适应模型学习。从过程代数到时间自动机到模型学习的旅程164-1792022会议和研讨会文件关闭conf/生日/FerreiraHS2210.1007/978-3-031-15629-8_10https://doi.org/10.1007/978-3-031-15629-8_10https://dblp.org/rec/conf/birthday/FerreiraHS22 网址:889633 马丁·弗伦泽寻求密集时间度量时序逻辑的充分语义基础。从过程代数到时间自动机到模型学习的旅程201-2122022会议和研讨会文件关闭conf/生日/Franzle2210.1007/978-3-031-15629-8_12https://doi.org/10.1007/978-3-031-15629-8_12https://dblp.org/rec/conf/birthday/Franzle22 网址:889636 马库斯·弗洛姆伯恩哈德·斯特芬从语言到行为再回来。从过程代数到时间自动机到模型学习的旅程180-2002022会议和研讨会文件关闭conf/生日/法语2210.1007/978-3-031-15629-8_11https://doi.org/10.1007/978-3-031-15629-8_11https://dblp.org/rec/conf/birthday/FrohmeS22 网址:889639 休伯特·加拉维弗雷德里克·朗40年后的等价性检查:双模拟工具综述。从过程代数到时间自动机到模型学习的旅程213-2652022会议和研讨会文件关闭conf/生日/GaravelL2210.1007/978-3-031-15629-8_13https://doi.org/10.1007/978-3-031-15629-8_13https://dblp.org/rec/conf/birthday/GaravelL22 网址:889641 赫尔曼·杰弗斯轩尼诗-米尔纳逻辑中的孤立性和区分公式。从过程代数到时间自动机到模型学习的旅程266-2822022会议和研讨会文件关闭conf/生日/Geuvers2210.1007/978-3-031-15629-8_14https://doi.org/10.1007/978-3-031-15629-8_14https://dblp.org/rec/conf/birthday/Geuvers22网址 网址:889643 罗布·范·格拉贝克I/O Automata的公平测试。从过程代数到时间自动机到模型学习的旅程559-5742022会议和研讨会文件关闭conf/生日/Glabbeek2210.1007/978-3-031-15629-8_30https://doi.org/10.1007/978-3-031-15629-8_30https://dblp.org/rec/conf/birthday/Glabbeek22 网址:889645 简·弗里索·格鲁特凯文·基里森莫里斯·拉维奥P.H.M.van Spaendonck先生蒂姆·A·C·威廉斯使用并行ATerm库进行并行模型检查和状态空间生成。从过程代数到时间自动机到模型学习的旅程306至3202022会议和研讨会文件关闭conf/生日/GrooteJLSW2210.1007/978-3-031-15629-8_16https://doi.org/10.1007/978-3-031-15629-8_16https://dblp.org/rec/conf/birthday/GrooteJLSW22 网址:889646 福克·豪尔伯恩哈德·斯特芬主动自动机学习作为黑盒搜索和惰性分区优化。从过程代数到时间自动机到模型学习的旅程321-3382022会议和研讨会文件关闭conf/生日/呼啸2210.1007/978-3-031-15629-8_17https://doi.org/10.1007/978-3-031-15629-8_17https://dblp.org/rec/conf/birthday/HowarS22 网址:889655 巴特·雅各布斯0001通过钱币清单重建欧文斯的抽样公式。从过程代数到时间自动机到模型学习的旅程339-3572022会议和研讨会文件关闭conf/生日/雅各布斯2210.1007/978-3-031-15629-8_18https://doi.org/10.1007/978-3-031-15629-8_18https://dblp.org/rec/conf/birthday/雅各布斯22 网址:889659 大卫·N·詹森刘新新有根分歧保留分支双相似度是一个同余:一个更简单的证明。从过程代数到时间自动机到模型学习的旅程358-3702022会议和研讨会文件关闭conf/生日/JansenL2210.1007/978-3-031-15629-8_19https://doi.org/10.1007/978-3-031-15629-8_19https://dblp.org/rec/conf/birthday/JansenL22 网址:889660 彼得·杰勒·詹森金·拉森马里乌斯·米库库尼奥斯与Uppaal Stratego玩Wordle。从过程代数到时间自动机到模型学习的旅程283-3052022会议和研讨会文件关闭conf/生日/JensenLM2210.1007/978-3-031-15629-8_15https://doi.org/10.1007/978-3-031-15629-8_15https://dblp.org/rec/conf/birthday/JensenLM22 网址:889661 塞巴斯蒂安·荣格斯侏罗纪腐朽学习语言交叉点。从过程代数到时间自动机到模型学习的旅程371-3812022会议和研讨会文件关闭conf/生日/JungesR2210.1007/978-3-031-15629-8_20https://doi.org/10.1007/978-3-031-15629-8_20https://dblp.org/rec/conf/birthday/Juesr22 网址:889663 伊万·库特夫乔泽夫·胡曼使用ComMA对复合组件进行运行时验证。从过程代数到时间自动机到模型学习的旅程382-402年2022会议和研讨会文件关闭conf/生日/KurtevH2210.1007/978-3-031-15629-8_21https://doi.org/10.1007/978-3-031-15629-8_21https://dblp.org/rec/conf/birthday/KurtevH22 网址:889674 南希·A·林奇卡梅隆·马斯科尖峰神经网络的基本组成模型。从过程代数到时间自动机到模型学习的旅程403-4492022会议和研讨会文件关闭conf/生日/LynchM2210.1007/978-3-031-15629-8_22https://doi.org/10.1007/978-3-031-15629-8_22https://dblp.org/rec/conf/birthday/LynchM22 网址:889686 约书亚·莫尔曼托尔斯滕·维曼满意地进行状态识别和验证。从过程代数到时间自动机到模型学习的旅程450-4662022会议和研讨会文件关闭conf/生日/MoermanW2210.1007/978-3-031-15629-8_23https://doi.org/10.1007/978-3-031-15629-8_23https://dblp.org/rec/conf/birthday/MoermanW22 网址:889693 赛德加尼·穆萨耶夫万·J·福克金关于Cidon分布式深度优先搜索算法的消息复杂性的说明。从过程代数到时间自动机到模型学习的旅程467-4712022会议和研讨会文件关闭conf/生日/MusaevF2210.1007/978-3-031-15629-8_24https://doi.org/10.1007/978-3-031-15629-8_24https://dblp.org/rec/conf/birthday/MusaevF22 网址:889698 洛科·德·尼古拉卢卡·迪·斯特法诺0001奥马尔·因弗索塞雷内拉·瓦利亚尼过程代数和鸟群。从过程代数到时间自动机到模型学习的旅程512-5232022会议和研讨会文件关闭conf/生日/NicolaSIV2210.1007/978-3-031-15629-8_27https://doi.org/10.1007/978-3-031-15629-8_27https://dblp.org/rec/conf/birthday/NicolaSIV22 网址:889701 亚历克斯·蒂姆特万·巴斯滕扫雷真的很难!-扫雷电路的技术扩展。从过程代数到时间自动机到模型学习的旅程472-4902022会议和研讨会文件关闭conf/生日/TiemeB2210.1007/978-3-031-15629-8_25https://doi.org/10.1007/978-3-031-15629-8_25https://dblp.org/rec/conf/birthday/ThiemeB22 网址:889728 简·特雷特曼拉蒙·詹森再见,ioco。从过程代数到时间自动机到模型学习的旅程491-5112022会议和研讨会文件关闭conf/生日/TretmansJ2210.1007/978-3-031-15629-8_26https://doi.org/10.1007/978-3-031-15629-8_26https://dblp.org/rec/conf/birthday/TretmansJ22 网址889729