停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年第13届ICTAC：台湾台北

>主页 >会议和研讨会 >ICTAC公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/2016
奥古斯托·桑帕约，Farn Wang公司:
计算理论——2016年ICTAC第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日，会议记录。计算机科学课堂讲稿9965,2016，国际标准图书编号978-3-319-46749-8

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/TravkinW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/TravkinW16
奥列格·特拉夫金，海克·韦尔海姆:
弱内存模型上并发程序的验证。 3-24
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/日元16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Yen16
徐春燕:
Petri网和半线性集（扩展抽象）。 25-29岁

程序验证

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Li16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Li16
李毅:
单路径多项式循环程序的终止。 33-50
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Guttmann16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Guttmann16
沃尔特·古特曼:
Prim最小生成树算法的关系代数验证。 51-68
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/FontaineZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/FontaineZ16
Allyx Fontaine公司，Akka Zemmari公司:
一些随机分布算法的Coq中的认证不可能性结果和分析。第69页至第81页
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/TruongNHD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/TruongNHD16
安黄忠，Ngoc-Khai Nguyen公司，当文雄（Dang Van Hung），丹公爵:
计算多线程事务程序使用的静态最大日志内存。 82-99

设计、合成和测试

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/KleijnKP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/KleijnKP16
克莱因码头，库特尼，玛塔·皮特基维奇·库特尼:
具有全局操作和局部性的Petri网综合。 103-120
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/McIverRS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/McIverRS16
安娜贝拉·麦克维尔，塔希里·拉贝哈加，乔治·斯特鲁斯:
调度程序和完成程序：关于生成事件结构的行为。 121-138
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Given-WilsonL16文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Given-WilsonL16
托马斯·吉文·威尔逊，Axel Legay公司:
论对称传播的表现力。 139-157
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/MeloPH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/MeloPH16
安娜·C·V·德·梅洛，科琳娜·帕萨雷努，西蒙·韩祖美（Simone Hanazumi）:
迈向MC/DC对属性规范模式的覆盖。 158-175

石灰岩

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Moura16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Moura16
弗拉维奥·L.C.de Moura:
统一\lambda-calculi，无传播规则。 179-195
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Halmagrand16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Halmagrand16
皮埃尔·哈尔马格朗:
用类型序贯演算对B方法进行合理证明。 196-213
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/GuzmanPRV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/GuzmanPRV16
米歇尔·古兹曼，萨利姆·珀西，卡米洛·鲁埃达，弗兰克·D·瓦伦西亚:
导出模态逻辑的逆算子。 214-232

规格

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/MarmsolerG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/MarmsolerG16
迭戈·马姆塞勒，马里奥·格雷舍尔:
使用配置跟踪指定动态架构的属性。 235-254
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Cavalcanti公司WA16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/CavalcantiWA16网址
安娜·卡瓦尔坎蒂，吉姆·伍德科克，努诺·阿马利奥:
FMI协同模拟的行为模型。 255-273
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/itac/HilscherS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/HilscherS16
马丁·希尔舍，迈克·施瓦姆伯格:
证明自治城市交通安全性的抽象模型。 274-292

组成和转换

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/FosterZW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/FosteZW16
西蒙·福斯特，弗兰克·泽达，吉姆·伍德科克:
用透镜统一异构状态空间。 295-314
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/BrenasES16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/BrenasES16
乔恩·哈埃尔·布伦纳斯，拉希德·埃哈希德，马丁·斯特雷克:
确保模型转换的正确性，同时保持可决定性。 315-332
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/ObuaSF16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/ObuaSF16
史蒂文·奥布亚，菲尔·斯科特，雅克·弗莱里奥:
校对脚本：群众校对脚本。 333-348

自动化

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/Demaille公司16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Demaille16
阿基姆·德迈勒:
扩展加权有理表达式的派生术语自动机。 351-369
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/BabariDP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/BabariDP16
帕瓦内赫·巴巴里，曼弗雷德·德罗斯特，维塔利·佩雷沃什奇科夫:
数据字上的加权寄存器自动机和加权逻辑。 370-384
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/NevesB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/NevesB16
雷纳托·内维斯，路易斯·苏亚雷斯·巴博萨:
混合自动机作为余代数。 385-402年

时间逻辑

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/MosaadFX16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/MosaadFX16
彼得·纳齐尔·莫萨德，马丁·弗伦泽，白雪:
时滞微分方程的时序逻辑验证。 405-421
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/MadeiraBHM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/MadeiraBHM16
亚历山大·马德拉，路易斯·索尔斯·巴博萨，罗尔夫·亨尼克，曼纽尔·马丁斯:
带绑定器的动态逻辑及其在反应系统开发中的应用。 422-440
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/BenevidesLH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/BenevidesLH16
马里奥·R·F·贝内维提斯，布鲁诺·洛佩斯，爱德华·赫尔曼·海斯勒:
迭代Petri网的命题动态逻辑。 441-456

工具和短文

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/itac/CouderlierD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/CauderlierD16
拉斐尔·考德利埃，凯瑟琳·杜布瓦:
ML模式匹配、递归和重写：从FoCaLiZe到Dedukti。 459-468
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/ictac/安德烈16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/Andre16
埃蒂安·安德烈:
参数死锁-自由检查定时自动机。 469-478

服务

管理网站设置

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