停止战争！

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

对于科学家：

默认搜索操作

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

问别人

亚历克斯·迪克森

>主页 >珀森斯

人员信息

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2307-12302
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-12302
亚历克斯·迪克森,安德烈·穆拉夫斯基:
游戏语义的饱和自动机。 MFPS公司 2023
2022
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/迪克森22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Dixon22
亚历克斯·迪克森:
矢量加法系统及其在计算机程序验证中的应用。英国考文垂华威大学，2022
2021
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DixonLMW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DixonLMW21
亚历克斯·迪克森,兰科·拉齐奇,安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
Leafy自动机用于高阶并发。 FoSSaCS公司 2021:184-204
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DixonLMW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DixonLMW21
亚历克斯·迪克森,兰科·拉齐奇,安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
使用数据自动机验证高阶并发性。许可证 2021:1月13日
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2101-08720
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-08720
亚历克斯·迪克森,兰科·拉齐奇,安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
Leafy Automata实现高阶并发。 CoRR公司 abs/2101.08720(2021)
2020
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DixonL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DixonL20
亚历克斯·迪克森,兰科·拉齐奇:
KReach：Petri网中的可达性工具。 TACAS（1） 2020:405年至412年

合著者索引

请参阅常见问题解答

服务

管理网站设置

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