停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

论文致力于Frits W.Vaandrager公司2022年，他60岁生日

>主页 >会议和研讨会 >论文致力于Frits W.Vaandrager公司2022年，他60岁生日

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/2022vaandrager
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2022vaandrager网站
尼尔斯·詹森,玛丽埃尔·斯托琳加,佩特拉·范登博斯:
从过程代数到时间自动机再到模型学习的旅程——纪念Frits Vaandrager 60岁生日的文章。计算机科学讲义13560,施普林格 2022，国际标准图书编号978-3-031-15628-1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/AcetoACI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/AcetoACI22
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士:
通过约简得到的非有限公理化结果：CSP并行组合和CCS限制。 1-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BaierDFJPZ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BaierDFJPZ22
克里斯特尔·拜尔,克莱门斯·杜斯拉夫,弗洛里安·芬克,西蒙·扬奇,雅各布·皮里鲍尔,罗宾·齐梅克:
操作因果关系-必然充分和充分必要。 27-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BarendregtR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BarendregtR22
亨克·巴伦德雷格特,安东尼诺·拉夫冯:
公理化意识与应用。 46-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BergstraT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BergstraT22
简·A·伯格斯特拉,约翰·V·塔克:
对称变换：其等式理论的数据类型和算法程度。 63-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BolligLN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BolligLN22
Benedikt Bollig公司,马丁·勒克,丹尼尔·奈德:
递归神经网络模型学习技术综述。 81-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/CianciaLMV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CianciaLMV22
文森佐·西安西亚,迭戈·拉特拉,梅克·马西克,埃里克·德文克:
空间中的前后：关于闭包空间中的逻辑和双相似性。 98-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Cleaveland 22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Cleaveland网站22
兰斯·克莱维兰:
通过过程代数实现更好的自动化。 116-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/DamascenoS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/DamascenoS22
卡洛斯·迭戈·纳西门托（Carlos Diego Nascimento Damasceno）,丹尼尔·斯特吕贝尔:
基于家庭的指纹分析：立场文件。 137-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Fehnker22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Fehnker22
Ansgar Fehnker公司:
学校里有什么中学计算机科学专题地图。 151-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/FerreiraHS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/FerreiraHS22
蒂亚戈·费雷拉,格科·范·海尔特,亚历山德拉·席尔瓦:
基于树的自适应模型学习。 164-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/法语22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/FrohmeS22
马库斯·弗洛姆,伯恩哈德·斯特芬:
从语言到行为再回来。 180-200
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Franzle22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Franzle22
马丁·弗伦泽:
寻求密集时间度量时序逻辑的充分语义基础。 201-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GaravelL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GaravelL22
休伯特·加拉维,弗雷德里克·朗:
40年后的等价性检查：互模拟工具综述。 213-265
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Geuvers22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Geuvers22网址
赫尔曼·杰弗斯:
轩尼诗-米尔纳逻辑中的孤立性和区分公式。 266-282
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/JensenLM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/JensenLM22
彼得·杰勒·詹森,金·拉森,马吕斯·米库西奥尼斯:
与Uppaal Stratego玩Wordle。 283-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/GrooteJLSW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GrooteJLSW22
简·弗里索·格鲁特,凯文·基里森,莫里斯·拉维奥,P.H.M.van Spaendonck先生,蒂姆·A·C·威廉斯:
使用并行ATerm库进行并行模型检查和状态空间生成。 306-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/呼啸22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/HowarS22
福克·豪尔,伯恩哈德·斯特芬:
主动自动机学习作为黑盒搜索和惰性分区优化。 321-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/雅各布斯22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/雅各布斯22
雅各布施:
通过钱币清单重建欧文斯的抽样公式。 339-357
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/JansenL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/JansenL22
大卫·N·詹森,刘新新:
有根分歧保留分支双相似度是一个同余：一个更简单的证明。 358-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/JungesR22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/JungesR22
塞巴斯蒂安·荣格斯,侏罗纪腐朽:
学习语言交叉点。 371-381
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/KurtevH22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/KurtevH22
伊万·库特夫,乔泽夫·胡曼:
使用ComMA对复合组件进行运行时验证。 382-402
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/LynchM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/LynchM22
南希·A·林奇,卡梅隆·马斯科:
尖峰神经网络的基本组成模型。 403-449
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MoermanW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MoermanW22
约书亚·莫尔曼,托尔斯滕·维曼:
满意地进行状态识别和验证。 450-466
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MusaevF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MusaevF22
赛德加尼·穆萨耶夫,万·J·福克金:
关于Cidon分布式深度优先搜索算法的消息复杂性的说明。 467-471
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/TiemeB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ThiemeB22
亚历克斯·蒂姆,特万·巴斯滕:
扫雷真的很难扫雷电路的技术扩展。 472-490
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/TretmansJ22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/TretmansJ22
简·特雷特曼,拉蒙·詹森:
再见，ioco。 491-511
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/NicolaSIV22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/NicolaSIV22
洛科·德·尼古拉,卢卡·迪·斯特凡诺,奥马尔·因弗索,塞雷内拉·瓦利亚尼:
过程代数和鸟群。 512-523
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/BosH22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BosH22
佩特拉·范登博斯,玛丽克·赫斯曼:
测试和程序验证的集成——一份立场文件。 524-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Aalst22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Aalst22
Wil M.P.van der Aalst先生:
直接从事件数据中发现完整的Petri网。 539-558
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Glabbeek22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Glabbeek22
罗布·范·格拉贝克:
I/O Automata的公平测试。 559-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Santema22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Zantema22
汉斯·赞特玛:
被动自动机学习：DFA和NFA。 575-580

服务

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。